Mike Dodds

	2012
13		Matko Botincan, Mike Dodds, Suresh Jagannathan: Resource-sensitive synchronization inference by abduction. POPL 2012: 309-322
	2011
12		Matko Botincan, Mike Dodds, Alastair F. Donaldson, Matthew J. Parkinson: Safe asynchronous multicore memory operations. ASE 2011: 153-162
11		Pedro da Rocha Pinto, Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner, Mark J. Wheelhouse: A simple abstraction for complex concurrent indexes. OOPSLA 2011: 845-864
10		Mike Dodds, Suresh Jagannathan, Matthew J. Parkinson: Modular reasoning for deterministic parallelism. POPL 2011: 259-270
9		Matko Botincan, Mike Dodds, Alastair F. Donaldson, Matthew J. Parkinson: Automatic safety proofs for asynchronous memory operations. PPOPP 2011: 313-314
8		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
7		Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner, Matthew J. Parkinson, Viktor Vafeiadis: Concurrent Abstract Predicates. ECOOP 2010: 504-528
6		John Wickerson, Mike Dodds, Matthew J. Parkinson: Explicit Stabilisation for Modular Rely-Guarantee Reasoning. ESOP 2010: 610-629
	2009
5		Mike Dodds, Xinyu Feng, Matthew J. Parkinson, Viktor Vafeiadis: Deny-Guarantee Reasoning. ESOP 2009: 363-377
	2008
4		Mike Dodds: From Separation Logic to Hyperedge Replacement and Back. ICGT 2008: 484-486
3		Mike Dodds, Detlef Plump: From Hyperedge Replacement to Separation Logic and Back. ECEASST 16: (2008)
	2006
2		Mike Dodds, Detlef Plump: Graph Transformation in Constant Time. ICGT 2006: 367-382
1		Mike Dodds, Detlef Plump: Extending C for Checking Shape Safety. Electr. Notes Theor. Comput. Sci. 154(2): 95-112 (2006)

Coauthor Index

1	Matko Botincan	[8] [9] [12] [13]
2	Thomas Dinsdale-Young	[7] [11]
3	Dino Distefano	[8]
4	Alastair F. Donaldson	[9] [12]
5	Xinyu Feng	[5]
6	Philippa Gardner	[7] [11]
7	Radu Grigore	[8]
8	Suresh Jagannathan	[10] [13]
9	Daiva Naudziuniene	[8]
10	Matthew J. Parkinson	[5] [6] [7] [8] [9] [10] [12]
11	Pedro da Rocha Pinto	[11]
12	Detlef Plump	[1] [2] [3]
13	Viktor Vafeiadis	[5] [7]
14	Mark J. Wheelhouse	[11]
15	John Wickerson	[6]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page