Mike Dodds

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