Matthew J. Parkinson

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

Coauthor Index

1	Gavin M. Bierman	[1] [3] [9] [11]
2	Richard Bornat	[2] [4] [6]
3	Cristiano Calcagno	[2] [4] [5]
4	Byron Cook	[12]
5	Dino Distefano	[10]
6	Mike Dodds	[13]
7	Xinyu Feng	[13]
8	Alexey Gotsman	[12]
9	James Noble	[11]
10	Peter W. O'Hearn	[2] [6]
11	Peter Sewell	[7]
12	Rok Strnisa	[7]
13	Viktor Vafeiadis	[5] [8] [12] [13]