Mike Dodds

ORCID

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 15

Top Venues

CoRR

Proc. ACM Program. Lang.

CAV (1)

SecDev

University of York, UK (PHD)

Education History

University of York, UK

PHD

Publications

Mark Tullsen, Sam Cowger, Mike Dodds, Peter Wyatt
Research Report: An Optim (l) Approach to Parsing Random-Access Formats. SP (Workshops) (2024)
Iavor S. Diatchki, Mike Dodds, Harrison Goldstein, Bill Harris, David A. Holland, Benoît Razet, Cole Schlesinger, Simon Winwood
Daedalus: Safer Document Parsing. Proc. ACM Program. Lang. 8 (PLDI) (2024)
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, Daniel Wagner, Simon Winwood
Macaw: A Machine Code Toolbox for the Busy Binary Analyst. CoRR (2024)
Ryan G. Scott, Mike Dodds, Ivan Perez, Alwyn E. Goodloe, Robert Dockins
Trustworthy Runtime Verification via Bisimulation (Experience Report). Proc. ACM Program. Lang. 7 (ICFP) (2023)
Mike Dodds
Formally Verifying Industry Cryptography. IEEE Secur. Priv. 20 (3) (2022)
Brett Boston, Samuel Breese, Joey Dodds, Mike Dodds, Brian Huffman, Adam Petcher, Andrei Stefanescu
Verified Cryptographic Code for Everybody. CAV (1) (2021)
Giuliano Losa, Mike Dodds
On the Formal Verification of the Stellar Consensus Protocol. FMBC@CAV (2020)
Aaron Tomb, Stuart Pernsteiner, Mike Dodds
Symbolic Testing for C and Rust. SecDev (2020)
Mike Dodds, Mark Batty, Alexey Gotsman
Compositional Verification of Compiler Optimisations on Relaxed Memory. ESOP (2018)
Mike Dodds, Mark Batty, Alexey Gotsman
Compositional Verification of Compiler Optimisations on Relaxed Memory. CoRR (2018)
Mike Dodds, Stephen Magill, Aaron Tomb
Tutorial: Continuous Verification of Critical Software. SecDev (2018)
Matt Windsor, Mike Dodds, Ben Simner, Matthew J. Parkinson
Starling: Lightweight Concurrency Verification with Views. CAV (1) (2017)
Artem Khyzha, Mike Dodds, Alexey Gotsman, Matthew J. Parkinson
Proving Linearizability Using Partial Orders. ESOP (2017)
Artem Khyzha, Mike Dodds, Alexey Gotsman, Matthew J. Parkinson
Proving Linearizability Using Partial Orders (Extended Version). CoRR (2017)
Mike Dodds, Suresh Jagannathan, Matthew J. Parkinson, Kasper Svendsen, Lars Birkedal
Verifying Custom Synchronization Constructs Using Higher-Order Separation Logic. ACM Trans. Program. Lang. Syst. 38 (2) (2016)
Jan Tobias Mühlberg, David H. White, Mike Dodds, Gerald Lüttgen, Frank Piessens
Learning Assertions to Verify Linked-List Programs. SEFM (2015)
Mike Dodds, Andreas Haas, Christoph M. Kirsch
A Scalable, Correct Time-Stamped Stack. POPL (2015)
Matko Botincan, Mike Dodds, Stephen Magill
Refining Existential Properties in Separation Logic Analyses. CoRR (2015)
Christopher M. Poskitt, Mike Dodds, Richard F. Paige, Arend Rensink
Towards Rigorously Faking Bidirectional Model Transformations. AMT@MoDELS (2014)
Mike Dodds, Mark Batty, Alexey Gotsman
C/C++ Causal Cycles Confound Compositionality. Tiny Trans. Comput. Sci. 2 (2013)
Mark Batty, Mike Dodds, Alexey Gotsman
Library abstraction for C/C++ concurrency. POPL (2013)
John Wickerson, Mike Dodds, Matthew J. Parkinson
Ribbon Proofs for Separation Logic. ESOP (2013)
Matko Botincan, Mike Dodds, Suresh Jagannathan
Proof-Directed Parallelization Synthesis by Separation Logic. ACM Trans. Program. Lang. Syst. 35 (2) (2013)
Matko Botincan, Mike Dodds, Suresh Jagannathan
Resource-sensitive synchronization inference by abduction. POPL (2012)
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)
Matko Botincan, Mike Dodds, Alastair F. Donaldson, Matthew J. Parkinson
Automatic safety proofs for asynchronous memory operations. PPOPP (2011)
Matko Botincan, Mike Dodds, Alastair F. Donaldson, Matthew J. Parkinson
Safe asynchronous multicore memory operations. ASE (2011)
Pedro da Rocha Pinto, Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner, Mark J. Wheelhouse
A simple abstraction for complex concurrent indexes. OOPSLA (2011)
Mike Dodds, Suresh Jagannathan, Matthew J. Parkinson
Modular reasoning for deterministic parallelism. POPL (2011)
John Wickerson, Mike Dodds, Matthew J. Parkinson
Explicit Stabilisation for Modular Rely-Guarantee Reasoning. ESOP (2010)
Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner, Matthew J. Parkinson, Viktor Vafeiadis
Concurrent Abstract Predicates. ECOOP (2010)
Mike Dodds, Xinyu Feng, Matthew J. Parkinson, Viktor Vafeiadis
Deny-Guarantee Reasoning. ESOP (2009)
Mike Dodds
From Separation Logic to Hyperedge Replacement and Back. ICGT (2008)
Mike Dodds, Detlef Plump
From Hyperedge Replacement to Separation Logic and Back. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 16 (2008)
Mike Dodds, Detlef Plump
Extending C for Checking Shape Safety. Electron. Notes Theor. Comput. Sci. 154 (2) (2006)
Mike Dodds, Detlef Plump
Graph Transformation in Constant Time. ICGT (2006)

Mike Dodds.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mike Dodds