- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| c18 |      | Chung-Kil Hur, Georg Neis, Derek Dreyer, Viktor Vafeiadis: The power of parameterization in coinductive proof. POPL 2013: 193-206 |
| 2012 | ||
| c17 | | Chung-Kil Hur, Derek Dreyer, Georg Neis, Viktor Vafeiadis: The marriage of bisimulations and Kripke logical relations. POPL 2012: 59-72 |
| 2011 | ||
| j2 | | Viktor Vafeiadis: Concurrent Separation Logic and Operational Semantics. Electr. Notes Theor. Comput. Sci. 276: 335-351 (2011) |
| c16 | | Chung-Kil Hur, Derek Dreyer, Viktor Vafeiadis: Separation Logic in the Presence of Garbage Collection. LICS 2011: 247-256 |
| c15 | | Jaroslav Sevcík, Viktor Vafeiadis, Francesco Zappa Nardelli, Suresh Jagannathan, Peter Sewell: Relaxed-memory concurrency and verified compilation. POPL 2011: 43-54 |
| c14 | | Viktor Vafeiadis, Francesco Zappa Nardelli: Verifying Fence Elimination Optimisations. SAS 2011: 146-162 |
| 2010 | ||
| c13 | | |
| c12 | | Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner, Matthew J. Parkinson, Viktor Vafeiadis: Concurrent Abstract Predicates. ECOOP 2010: 504-528 |
| c11 | | Aleksandar Nanevski, Viktor Vafeiadis, Josh Berdine: Structuring the verification of heap-manipulating programs. POPL 2010: 261-274 |
| c10 | | |
| 2009 | ||
| c9 | | Cristiano Calcagno, Dino Distefano, Viktor Vafeiadis: Bi-abductive Resource Invariant Synthesis. APLAS 2009: 259-274 |
| c8 | | Mike Dodds, Xinyu Feng, Matthew J. Parkinson, Viktor Vafeiadis: Deny-Guarantee Reasoning. ESOP 2009: 363-377 |
| c7 | | Byron Cook, Ashutosh Gupta, Stephen Magill, Andrey Rybalchenko, Jirí Simsa, Satnam Singh, Viktor Vafeiadis: Finding heap-bounds for hardware synthesis. FMCAD 2009: 205-212 |
| c6 | | Alexey Gotsman, Byron Cook, Matthew J. Parkinson, Viktor Vafeiadis: Proving that non-blocking algorithms don't block. POPL 2009: 16-28 |
| c5 | | |
| 2007 | ||
| j1 | | 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. 17(4-5): 547-612 (2007) |
| c4 | | Viktor Vafeiadis, Matthew J. Parkinson: A Marriage of Rely/Guarantee and Separation Logic. CONCUR 2007: 256-271 |
| c3 | | Cristiano Calcagno, Matthew J. Parkinson, Viktor Vafeiadis: Modular Safety Checking for Fine-Grained Concurrency. SAS 2007: 233-248 |
| 2006 | ||
| c2 | | Viktor Vafeiadis, Maurice Herlihy, Tony Hoare, Marc Shapiro: Proving correctness of highly-concurrent linearisable objects. PPOPP 2006: 129-136 |
| 2005 | ||
| c1 | | 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: 15-26 |
Data released under the ODC-BY 1.0 license — See also our legal information page