| 2007 |
|---|
| 4 | EE | Viktor Vafeiadis,
Matthew J. Parkinson:
A Marriage of Rely/Guarantee and Separation Logic.
CONCUR 2007: 256-271 |
| 3 | EE | Cristiano Calcagno,
Matthew J. Parkinson,
Viktor Vafeiadis:
Modular Safety Checking for Fine-Grained Concurrency.
SAS 2007: 233-248 |
| 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 |
