| 2009 |
|---|
| 8 | EE | Mike Dodds,
Xinyu Feng,
Matthew J. Parkinson,
Viktor Vafeiadis:
Deny-Guarantee Reasoning.
ESOP 2009: 363-377 |
| 7 | EE | Alexey Gotsman,
Byron Cook,
Matthew J. Parkinson,
Viktor Vafeiadis:
Proving that non-blocking algorithms don't block.
POPL 2009: 16-28 |
| 6 | EE | Viktor Vafeiadis:
Shape-Value Abstraction for Verifying Linearizability.
VMCAI 2009: 335-348 |
| 2007 |
|---|
| 5 | EE | Viktor Vafeiadis,
Matthew J. Parkinson:
A Marriage of Rely/Guarantee and Separation Logic.
CONCUR 2007: 256-271 |
| 4 | EE | Cristiano Calcagno,
Matthew J. Parkinson,
Viktor Vafeiadis:
Modular Safety Checking for Fine-Grained Concurrency.
SAS 2007: 233-248 |
| 3 | EE | 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) |
| 2006 |
|---|
| 2 | EE | Viktor Vafeiadis,
Maurice Herlihy,
Tony Hoare,
Marc Shapiro:
Proving correctness of highly-concurrent linearisable objects.
PPOPP 2006: 129-136 |
| 2005 |
|---|
| 1 | EE | 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 |
