| 2009 |
|---|
| 13 | EE | Mike Dodds,
Xinyu Feng,
Matthew J. Parkinson,
Viktor Vafeiadis:
Deny-Guarantee Reasoning.
ESOP 2009: 363-377 |
| 12 | EE | Alexey Gotsman,
Byron Cook,
Matthew J. Parkinson,
Viktor Vafeiadis:
Proving that non-blocking algorithms don't block.
POPL 2009: 16-28 |
| 2008 |
|---|
| 11 | EE | Gavin M. Bierman,
Matthew J. Parkinson,
James Noble:
UpgradeJ: Incremental Typechecking for Class Upgrades.
ECOOP 2008: 235-259 |
| 10 | EE | Dino Distefano,
Matthew J. Parkinson:
jStar: towards practical verification for java.
OOPSLA 2008: 213-226 |
| 9 | EE | Matthew J. Parkinson,
Gavin M. Bierman:
Separation logic, abstraction and inheritance.
POPL 2008: 75-86 |
| 2007 |
|---|
| 8 | EE | Viktor Vafeiadis,
Matthew J. Parkinson:
A Marriage of Rely/Guarantee and Separation Logic.
CONCUR 2007: 256-271 |
| 7 | EE | Rok Strnisa,
Peter Sewell,
Matthew J. Parkinson:
The java module system: core design and semantic definition.
OOPSLA 2007: 499-514 |
| 6 | EE | Matthew J. Parkinson,
Richard Bornat,
Peter W. O'Hearn:
Modular verification of a non-blocking stack.
POPL 2007: 297-302 |
| 5 | EE | Cristiano Calcagno,
Matthew J. Parkinson,
Viktor Vafeiadis:
Modular Safety Checking for Fine-Grained Concurrency.
SAS 2007: 233-248 |
| 2006 |
|---|
| 4 | EE | Matthew J. Parkinson,
Richard Bornat,
Cristiano Calcagno:
Variables as Resource in Hoare Logics.
LICS 2006: 137-146 |
| 2005 |
|---|
| 3 | EE | Matthew J. Parkinson,
Gavin M. Bierman:
Separation logic and abstraction.
POPL 2005: 247-258 |
| 2 | EE | Richard Bornat,
Cristiano Calcagno,
Peter W. O'Hearn,
Matthew J. Parkinson:
Permission accounting in separation logic.
POPL 2005: 259-270 |
| 2003 |
|---|
| 1 | EE | Gavin M. Bierman,
Matthew J. Parkinson:
Effects and effect inference for a core Java calculus.
Electr. Notes Theor. Comput. Sci. 82(7): (2003) |
