|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 20 occurrences of 17 keywords
|
|
|
|
|
Results
Found 19 publication records. Showing 19 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Chung-Kil Hur, Derek Dreyer, Georg Neis, Viktor Vafeiadis |
The marriage of bisimulations and Kripke logical relations.  |
POPL  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Vafeiadis |
Concurrent Separation Logic and Operational Semantics. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaroslav Sevcík, Viktor Vafeiadis, Francesco Zappa Nardelli, Suresh Jagannathan, Peter Sewell |
Relaxed-memory concurrency and verified compilation. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chung-Kil Hur, Derek Dreyer, Viktor Vafeiadis |
Separation Logic in the Presence of Garbage Collection. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Vafeiadis, Francesco Zappa Nardelli |
Verifying Fence Elimination Optimisations. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Aleksandar Nanevski, Viktor Vafeiadis, Josh Berdine |
Structuring the verification of heap-manipulating programs. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
type theory, monads, hoare logic, separation logic |
| 1 | Viktor Vafeiadis |
Automatically Proving Linearizability. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner, Matthew J. Parkinson, Viktor Vafeiadis |
Concurrent Abstract Predicates. |
ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Vafeiadis |
RGSep Action Inference. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Byron Cook, Ashutosh Gupta, Stephen Magill, Andrey Rybalchenko, Jirí Simsa, Satnam Singh, Viktor Vafeiadis |
Finding heap-bounds for hardware synthesis. |
FMCAD |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexey Gotsman, Byron Cook, Matthew J. Parkinson, Viktor Vafeiadis |
Proving that non-blocking algorithms don't block. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
formal verification, concurrent programming, termination, liveness |
| 1 | Cristiano Calcagno, Dino Distefano, Viktor Vafeiadis |
Bi-abductive Resource Invariant Synthesis. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Vafeiadis |
Shape-Value Abstraction for Verifying Linearizability. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mike Dodds, Xinyu Feng, Matthew J. Parkinson, Viktor Vafeiadis |
Deny-Guarantee Reasoning. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis |
Acute: High-level programming language design for distributed computation. |
J. Funct. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Vafeiadis, Matthew J. Parkinson |
A Marriage of Rely/Guarantee and Separation Logic. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristiano Calcagno, Matthew J. Parkinson, Viktor Vafeiadis |
Modular Safety Checking for Fine-Grained Concurrency. |
SAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Vafeiadis, Maurice Herlihy, Tony Hoare, Marc Shapiro |
Proving correctness of highly-concurrent linearisable objects. |
PPOPP |
2006 |
DBLP DOI BibTeX RDF |
rely-guarantee reasoning, shared-memory concurrency, formal verification, concurrent programming, linearisability |
| 1 | Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis |
Acute: high-level programming language design for distributed computation. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
rebinding, programming languages, ML, distributed programming, modules, version control, type theory, abstract types, serialisation, marshalling |
Displaying result #1 - #19 of 19 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")