Matthew J. Parkinson

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	2013
c28		Kasper Svendsen, Lars Birkedal, Matthew J. Parkinson: Modular Reasoning about Separation of Concurrent Data Structures. ESOP 2013: 169-188
c27		John Wickerson, Mike Dodds, Matthew J. Parkinson: Ribbon Proofs for Separation Logic. ESOP 2013: 189-208
c26		Thomas Dinsdale-Young, Lars Birkedal, Philippa Gardner, Matthew J. Parkinson, Hongseok Yang: Views: compositional reasoning for concurrent programs. POPL 2013: 287-300
	2012
j5		Matthew J. Parkinson, Alexander J. Summers: The Relationship Between Separation Logic and Implicit Dynamic Frames. Logical Methods in Computer Science 8(3) (2012)
j4		John Hatcliff, Gary T. Leavens, K. Rustan M. Leino, Peter Müller, Matthew J. Parkinson: Behavioral interface specification languages. ACM Comput. Surv. 44(3): 16 (2012)
c25		Colin S. Gordon, Matthew J. Parkinson, Jared Parsons, Aleks Bromfield, Joe Duffy: Uniqueness and reference immutability for safe parallelism. OOPSLA 2012: 21-40
	2011
j3		Rok Strnisa, Matthew J. Parkinson: Lightweight Java. Archive of Formal Proofs 2011 (2011)
c24		Byron Cook, Christoph Haase, Joël Ouaknine, Matthew J. Parkinson, James Worrell: Tractable Reasoning in a Fragment of Separation Logic. CONCUR 2011: 235-249
c23		Matthew J. Parkinson, Alexander J. Summers: The Relationship between Separation Logic and Implicit Dynamic Frames. ESOP 2011: 439-458
c22		Matko Botincan, Mike Dodds, Alastair F. Donaldson, Matthew J. Parkinson: Safe asynchronous multicore memory operations. ASE 2011: 153-162
c21		Mike Dodds, Suresh Jagannathan, Matthew J. Parkinson: Modular reasoning for deterministic parallelism. POPL 2011: 259-270
c20		Matko Botincan, Mike Dodds, Alastair F. Donaldson, Matthew J. Parkinson: Automatic safety proofs for asynchronous memory operations. PPOPP 2011: 313-314
c19		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
	2010
c18		Kasper Svendsen, Lars Birkedal, Matthew J. Parkinson: Verifying Generics and Delegates. ECOOP 2010: 175-199
c17		Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner, Matthew J. Parkinson, Viktor Vafeiadis: Concurrent Abstract Predicates. ECOOP 2010: 504-528
c16		John Wickerson, Mike Dodds, Matthew J. Parkinson: Explicit Stabilisation for Modular Rely-Guarantee Reasoning. ESOP 2010: 610-629
c15		Eric Koskinen, Matthew J. Parkinson, Maurice Herlihy: Coarse-grained transactions. POPL 2010: 19-30
c14		Matthew J. Parkinson: The Next 700 Separation Logics - (Invited Paper). VSTTE 2010: 169-182
	2009
j2		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)
c13		Mike Dodds, Xinyu Feng, Matthew J. Parkinson, Viktor Vafeiadis: Deny-Guarantee Reasoning. ESOP 2009: 363-377
c12		Alexey Gotsman, Byron Cook, Matthew J. Parkinson, Viktor Vafeiadis: Proving that non-blocking algorithms don't block. POPL 2009: 16-28
	2008
c11		Gavin M. Bierman, Matthew J. Parkinson, James Noble: UpgradeJ: Incremental Typechecking for Class Upgrades. ECOOP 2008: 235-259
c10		Ewan D. Tempero, Gavin M. Bierman, James Noble, Matthew J. Parkinson: From Java To UpgradeJ: An Empirical Study. HotSWUp 2008
c9		Dino Distefano, Matthew J. Parkinson: jStar: towards practical verification for java. OOPSLA 2008: 213-226
c8		Matthew J. Parkinson, Gavin M. Bierman: Separation logic, abstraction and inheritance. POPL 2008: 75-86
	2007
c7		Viktor Vafeiadis, Matthew J. Parkinson: A Marriage of Rely/Guarantee and Separation Logic. CONCUR 2007: 256-271
c6		Rok Strnisa, Peter Sewell, Matthew J. Parkinson: The java module system: core design and semantic definition. OOPSLA 2007: 499-514
c5		Matthew J. Parkinson, Richard Bornat, Peter W. O'Hearn: Modular verification of a non-blocking stack. POPL 2007: 297-302
c4		Cristiano Calcagno, Matthew J. Parkinson, Viktor Vafeiadis: Modular Safety Checking for Fine-Grained Concurrency. SAS 2007: 233-248
	2006
c3		Matthew J. Parkinson, Richard Bornat, Cristiano Calcagno: Variables as Resource in Hoare Logics. LICS 2006: 137-146
	2005
c2		Matthew J. Parkinson, Gavin M. Bierman: Separation logic and abstraction. POPL 2005: 247-258
c1		Richard Bornat, Cristiano Calcagno, Peter W. O'Hearn, Matthew J. Parkinson: Permission accounting in separation logic. POPL 2005: 259-270
	2003
j1		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	[c11] [c10] [c8] [c2] [j1]
2	Lars Birkedal	[c28] [c26] [c18]
3	Richard Bornat	[c5] [c3] [c1]
4	Matko Botincan	[c22] [c20] [c19] [j2]
5	Aleks Bromfield	[c25]
6	Cristiano Calcagno	[c4] [c3] [c1]
7	Byron Cook	[c24] [c12]
8	Thomas Dinsdale-Young	[c26] [c17]
9	Dino Distefano	[c19] [c9]
10	Mike Dodds	[c27] [c22] [c21] [c20] [c19] [c17] [c16] [c13]
11	Alastair F. Donaldson	[c22] [c20]
12	Joe Duffy	[c25]
13	Xinyu Feng	[c13]
14	Philippa Gardner	[c26] [c17]
15	Colin S. Gordon	[c25]
16	Alexey Gotsman	[c12]
17	Radu Grigore	[c19]
18	Christoph Haase	[c24]
19	John Hatcliff	[j4]
20	Maurice Herlihy	[c15]
21	Suresh Jagannathan	[c21]
22	Eric Koskinen	[c15]
23	Gary T. Leavens	[j4]
24	K. Rustan M. Leino	[j4]
25	Peter Müller	[j4]
26	Daiva Naudziuniene	[c19]
27	James Noble	[c11] [c10]
28	Peter W. O'Hearn	[c5] [c1]
29	Joël Ouaknine	[c24]
30	Jared Parsons	[c25]
31	Wolfram Schulte	[j2]
32	Peter Sewell	[c6]
33	Rok Strnisa	[j3] [c6]
34	Alexander J. Summers	[j5] [c23]
35	Kasper Svendsen	[c28] [c18]
36	Ewan D. Tempero	[c10]
37	Viktor Vafeiadis	[c17] [c13] [c12] [c7] [c4]
38	John Wickerson	[c27] [c16]
39	James Worrell	[c24]
40	Hongseok Yang	[c26]

Colors in the list of coauthors

Last update Sun May 19 09:50:48 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page