Matthew J. Parkinson

	2012
28		Matthew J. Parkinson, Alexander J. Summers: The Relationship Between Separation Logic and Implicit Dynamic Frames CoRR abs/1203.6859: (2012)
	2011
27		Matko Botincan, Mike Dodds, Alastair F. Donaldson, Matthew J. Parkinson: Safe asynchronous multicore memory operations. ASE 2011: 153-162
26		Byron Cook, Christoph Haase, Joël Ouaknine, Matthew J. Parkinson, James Worrell: Tractable Reasoning in a Fragment of Separation Logic. CONCUR 2011: 235-249
25		Matthew J. Parkinson, Alexander J. Summers: The Relationship between Separation Logic and Implicit Dynamic Frames. ESOP 2011: 439-458
24		Mike Dodds, Suresh Jagannathan, Matthew J. Parkinson: Modular reasoning for deterministic parallelism. POPL 2011: 259-270
23		Matko Botincan, Mike Dodds, Alastair F. Donaldson, Matthew J. Parkinson: Automatic safety proofs for asynchronous memory operations. PPOPP 2011: 313-314
22		Daiva Naudziuniene, Matko Botincan, Dino Distefano, Mike Dodds, Radu Grigore, Matthew J. Parkinson: jStar-eclipse: an IDE for automated verification of Java programs. SIGSOFT FSE 2011: 428-431
21		Rok Strnisa, Matthew J. Parkinson: Lightweight Java. Archive of Formal Proofs 2011: (2011)
	2010
20		Kasper Svendsen, Lars Birkedal, Matthew J. Parkinson: Verifying Generics and Delegates. ECOOP 2010: 175-199
19		Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner, Matthew J. Parkinson, Viktor Vafeiadis: Concurrent Abstract Predicates. ECOOP 2010: 504-528
18		John Wickerson, Mike Dodds, Matthew J. Parkinson: Explicit Stabilisation for Modular Rely-Guarantee Reasoning. ESOP 2010: 610-629
17		Eric Koskinen, Matthew J. Parkinson, Maurice Herlihy: Coarse-grained transactions. POPL 2010: 19-30
16		Matthew J. Parkinson: The Next 700 Separation Logics - (Invited Paper). VSTTE 2010: 169-182
	2009
15		Mike Dodds, Xinyu Feng, Matthew J. Parkinson, Viktor Vafeiadis: Deny-Guarantee Reasoning. ESOP 2009: 363-377
14		Alexey Gotsman, Byron Cook, Matthew J. Parkinson, Viktor Vafeiadis: Proving that non-blocking algorithms don't block. POPL 2009: 16-28
13		Matko Botincan, Matthew J. Parkinson, Wolfram Schulte: Separation Logic Verification of C Programs with an SMT Solver. Electr. Notes Theor. Comput. Sci. 254: 5-23 (2009)
	2008
12		Gavin M. Bierman, Matthew J. Parkinson, James Noble: UpgradeJ: Incremental Typechecking for Class Upgrades. ECOOP 2008: 235-259
11		Ewan D. Tempero, Gavin M. Bierman, James Noble, Matthew J. Parkinson: From Java To UpgradeJ: An Empirical Study. HotSWUp 2008
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): 82-107 (2003)

Coauthor Index

1	Gavin M. Bierman	[1] [3] [9] [11] [12]
2	Lars Birkedal	[20]
3	Richard Bornat	[2] [4] [6]
4	Matko Botincan	[13] [22] [23] [27]
5	Cristiano Calcagno	[2] [4] [5]
6	Byron Cook	[14] [26]
7	Thomas Dinsdale-Young	[19]
8	Dino Distefano	[10] [22]
9	Mike Dodds	[15] [18] [19] [22] [23] [24] [27]
10	Alastair F. Donaldson	[23] [27]
11	Xinyu Feng	[15]
12	Philippa Gardner	[19]
13	Alexey Gotsman	[14]
14	Radu Grigore	[22]
15	Christoph Haase	[26]
16	Maurice Herlihy	[17]
17	Suresh Jagannathan	[24]
18	Eric Koskinen	[17]
19	Daiva Naudziuniene	[22]
20	James Noble	[11] [12]
21	Peter W. O'Hearn	[2] [6]
22	Joël Ouaknine	[26]
23	Wolfram Schulte	[13]
24	Peter Sewell	[7]
25	Rok Strnisa	[7] [21]
26	Alexander J. Summers	[25] [28]
27	Kasper Svendsen	[20]
28	Ewan D. Tempero	[11]
29	Viktor Vafeiadis	[5] [8] [14] [15] [19]
30	John Wickerson	[18]
31	James Worrell	[26]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page