Extending C for Checking Shape Safety. - Mike Dodds; Detlef Plump (GT-VC@CONCUR, 2005)

Graph Transformation in Constant Time. - Mike Dodds; Detlef Plump (ICGT, 2006)

From Separation Logic to Hyperedge Replacement and Back. - Mike Dodds (ICGT, 2008)

From Hyperedge Replacement to Separation Logic and Back. - Mike Dodds; Detlef Plump (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Graph transformation and pointer structures. - Mike Dodds (2008)

Deny-Guarantee Reasoning. - Mike Dodds; Xinyu Feng 001; Matthew J. Parkinson; Viktor Vafeiadis (ESOP, 2009)

Concurrent Abstract Predicates. - Thomas Dinsdale-Young; Mike Dodds; Philippa Gardner; Matthew J. Parkinson; Viktor Vafeiadis (ECOOP, 2010)

Explicit Stabilisation for Modular Rely-Guarantee Reasoning. - John Wickerson; Mike Dodds; Matthew J. Parkinson (ESOP, 2010)

Safe asynchronous multicore memory operations. - Matko Botincan; Mike Dodds; Alastair F. Donaldson; Matthew J. Parkinson (ASE, 2011)

A simple abstraction for complex concurrent indexes. - Pedro da Rocha Pinto; Thomas Dinsdale-Young; Mike Dodds; Philippa Gardner; Mark J. Wheelhouse (OOPSLA, 2011)

Modular reasoning for deterministic parallelism. - Mike Dodds; Suresh Jagannathan; Matthew J. Parkinson (POPL, 2011)

Automatic safety proofs for asynchronous memory operations. - Matko Botincan; Mike Dodds; Alastair F. Donaldson; Matthew J. Parkinson (PPoPP, 2011)

jStar-eclipse: an IDE for automated verification of Java programs. - Daiva Naudziuniene; Matko Botincan; Dino Distefano; Mike Dodds; Radu Grigore; Matthew J. Parkinson (SIGSOFT FSE, 2011)

Resource-sensitive synchronization inference by abduction. - Matko Botincan; Mike Dodds; Suresh Jagannathan (POPL, 2012)

Ribbon Proofs for Separation Logic. - John Wickerson; Mike Dodds; Matthew J. Parkinson (ESOP, 2013)

Library abstraction for C/C++ concurrency. - Mark Batty; Mike Dodds; Alexey Gotsman (POPL, 2013)

C/C++ Causal Cycles Confound Compositionality. - Mike Dodds; Mark Batty; Alexey Gotsman (Adv. Math. Commun., 2013)

Proof-Directed Parallelization Synthesis by Separation Logic. - Matko Botincan; Mike Dodds; Suresh Jagannathan (ACM Trans. Program. Lang. Syst., 2013)

Towards Rigorously Faking Bidirectional Model Transformations. - Christopher M. Poskitt; Mike Dodds; Richard F. Paige; Arend Rensink (AMT@MoDELS, 2014)

A Scalable, Correct Time-Stamped Stack. - Mike Dodds; Andreas Haas; Christoph M. Kirsch (POPL, 2015)

Learning Assertions to Verify Linked-List Programs. - Jan Tobias Mühlberg; David H. White 001; Mike Dodds; Gerald Lüttgen; Frank Piessens (SEFM, 2015)

Refining Existential Properties in Separation Logic Analyses. - Matko Botincan; Mike Dodds; Stephen Magill (CoRR, 2015)

Verifying Custom Synchronization Constructs Using Higher-Order Separation Logic. - Mike Dodds; Suresh Jagannathan; Matthew J. Parkinson; Kasper Svendsen; Lars Birkedal (ACM Trans. Program. Lang. Syst., 2016)

Starling: Lightweight Concurrency Verification with Views. - Matt Windsor; Mike Dodds; Ben Simner; Matthew J. Parkinson (CAV (1), 2017)

Proving Linearizability Using Partial Orders. - Artem Khyzha; Mike Dodds; Alexey Gotsman; Matthew J. Parkinson (ESOP, 2017)

Proving Linearizability Using Partial Orders (Extended Version). - Artem Khyzha; Mike Dodds; Alexey Gotsman; Matthew J. Parkinson (CoRR, 2017)

Compositional Verification of Compiler Optimisations on Relaxed Memory. - Mike Dodds; Mark Batty; Alexey Gotsman (ESOP, 2018)

Tutorial: Continuous Verification of Critical Software. - Mike Dodds; Stephen Magill; Aaron Tomb (SecDev, 2018)

On the Formal Verification of the Stellar Consensus Protocol. - Giuliano Losa; Mike Dodds (FMBC@CAV, 2020)

Symbolic Testing for C and Rust. - Aaron Tomb; Stuart Pernsteiner; Mike Dodds (SecDev, 2020)

Verified Cryptographic Code for Everybody. - Brett Boston; Samuel Breese; Joey Dodds; Mike Dodds; Brian Huffman; Adam Petcher; Andrei Stefanescu (CAV (1), 2021)

Formally Verifying Industry Cryptography. - Mike Dodds (IEEE Secur. Priv., 2022)

Trustworthy Runtime Verification via Bisimulation (Experience Report). - Ryan G. Scott; Mike Dodds; Ivan Perez 001; Alwyn E. Goodloe; Robert Dockins (Proc. ACM Program. Lang., 2023)

Research Report: An Optim (l) Approach to Parsing Random-Access Formats. - Mark Tullsen; Sam Cowger; Mike Dodds; Peter Wyatt (SP (Workshops), 2024)

Macaw: A Machine Code Toolbox for the Busy Binary Analyst. - Ryan G. Scott; Brett Boston; Benjamin Davis; Iavor S. Diatchki; Mike Dodds; Joe Hendrix; Daniel Matichuk; Kevin Quick; Tristan Ravitch; Valentin Robert; Benjamin Selfridge; Andrei Stefanescu; et al. (CoRR, 2024)

Crux, a Precise Verifier for Rust and Other Languages. - Stuart Pernsteiner; Iavor S. Diatchki; Robert Dockins; Mike Dodds; Joe Hendrix; Tristan Ravitch; Patrick Redmond; Ryan G. Scott; Aaron Tomb (CoRR, 2024)

Daedalus: Safer Document Parsing. - Iavor S. Diatchki; Mike Dodds; Harrison Goldstein; Bill Harris; David A. Holland; Benoît Razet; Cole Schlesinger; Simon Winwood (Proc. ACM Program. Lang., 2024)