BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Brazil
1 × Cyprus
1 × Hungary
1 × India
1 × Slovenia
1 × Spain
2 × Italy
3 × United Kingdom
5 × USA
Collaborated with:
M.J.Parkinson M.Botincan A.Gotsman J.Wickerson M.Batty S.Jagannathan A.F.Donaldson ∅ D.Plump V.Vafeiadis T.Dinsdale-Young P.Gardner A.Haas C.M.Kirsch C.M.Poskitt R.F.Paige A.Rensink X.Feng A.Khyzha M.Windsor B.Simner J.T.Mühlberg D.H.White G.Lüttgen F.Piessens P.d.R.Pinto M.J.Wheelhouse D.Naudziuniene D.Distefano R.Grigore
Talks about:
concurr (4) abstract (3) reason (3) memori (3) verif (3) transform (2) asynchron (2) guarante (2) program (2) modular (2)

Person: Mike Dodds

DBLP DBLP: Dodds:Mike

Contributed to:

POPL 20152015
SEFM 20152015
AMT 20142014
ESOP 20132013
POPL 20132013
POPL 20122012
ASE 20112011
ESEC/FSE 20112011
OOPSLA 20112011
POPL 20112011
PPoPP 20112011
ECOOP 20102010
ESOP 20102010
ESOP 20092009
ICGT 20082008
ICGT 20062006
ESOP 20172017
ESOP 20182018
CAV (1) 20172017

Wrote 19 papers:

POPL-2015-DoddsHK #scalability #stack
A Scalable, Correct Time-Stamped Stack (MD, AH, CMK), pp. 233–246.
SEFM-2015-Muhlberg0DLP #learning #source code #verification
Learning Assertions to Verify Linked-List Programs (JTM, DHW, MD, GL, FP), pp. 37–52.
AMT-2014-PoskittDPR #bidirectional #model transformation #towards
Towards Rigorously Faking Bidirectional Model Transformations (CMP, MD, RFP, AR), pp. 70–75.
ESOP-2013-WickersonDP #logic #proving
Ribbon Proofs for Separation Logic (JW, MD, MJP), pp. 189–208.
POPL-2013-BattyDG #abstraction #c #c++ #concurrent #library
Library abstraction for C/C++ concurrency (MB, MD, AG), pp. 235–248.
POPL-2012-BotincanDJ #abduction
Resource-sensitive synchronization inference by abduction (MB, MD, SJ), pp. 309–322.
ASE-2011-BotincanDDP #manycore #memory management
Safe asynchronous multicore memory operations (MB, MD, AFD, MJP), pp. 153–162.
ESEC-FSE-2011-NaudziunieneBDDGP #automation #ide #java #named #source code #verification
jStar-eclipse: an IDE for automated verification of Java programs (DN, MB, DD, MD, RG, MJP), pp. 428–431.
OOPSLA-2011-PintoDDGW #abstraction #concurrent
A simple abstraction for complex concurrent indexes (PdRP, TDY, MD, PG, MJW), pp. 845–864.
POPL-2011-DoddsJP #composition #parallel #reasoning
Modular reasoning for deterministic parallelism (MD, SJ, MJP), pp. 259–270.
PPoPP-2011-BotincanDDP #automation #memory management #proving #safety
Automatic safety proofs for asynchronous memory operations (MB, MD, AFD, MJP), pp. 313–314.
ECOOP-2010-Dinsdale-YoungDGPV #concurrent
Concurrent Abstract Predicates (TDY, MD, PG, MJP, VV), pp. 504–528.
ESOP-2010-WickersonDP #composition #reasoning
Explicit Stabilisation for Modular Rely-Guarantee Reasoning (JW, MD, MJP), pp. 610–629.
ESOP-2009-DoddsFPV #reasoning
Deny-Guarantee Reasoning (MD, XF, MJP, VV), pp. 363–377.
ICGT-2008-Dodds #logic
From Separation Logic to Hyperedge Replacement and Back (MD), pp. 484–486.
ICGT-2006-DoddsP #constant #graph transformation
Graph Transformation in Constant Time (MD, DP), pp. 367–382.
ESOP-2017-KhyzhaDGP #partial order #proving #using
Proving Linearizability Using Partial Orders (AK, MD, AG, MJP), pp. 639–667.
ESOP-2018-DoddsBG #compilation #composition #memory management #optimisation #verification
Compositional Verification of Compiler Optimisations on Relaxed Memory (MD, MB, AG), pp. 1027–1055.
CAV-2017-WindsorDSP #concurrent #lightweight #named #verification
Starling: Lightweight Concurrency Verification with Views (MW, MD, BS, MJP), pp. 544–569.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.