Mike Dodds
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
18
Venues
9
Active years
2009–2024
Best venue rank
A*
Where they publish
Papers
18 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | SP | Research Report: An Optim (l) Approach to Parsing Random-Access Formats. | Mark Tullsen, Sam Cowger, Mike Dodds, Peter Wyatt |
| 2021 | CAV | Verified Cryptographic Code for Everybody. | Brett Boston, Samuel Breese, Joey Dodds, Mike Dodds, Brian Huffman, Adam Petcher, Andrei Stefanescu |
| 2020 | CAV | On the Formal Verification of the Stellar Consensus Protocol. | Giuliano Losa, Mike Dodds |
| 2018 | ESOP | Compositional Verification of Compiler Optimisations on Relaxed Memory. | Mike Dodds, Mark Batty, Alexey Gotsman |
| 2017 | CAV | Starling: Lightweight Concurrency Verification with Views. | Matt Windsor, Mike Dodds, Ben Simner, Matthew J. Parkinson |
| 2017 | ESOP | Proving Linearizability Using Partial Orders. | Artem Khyzha, Mike Dodds, Alexey Gotsman, Matthew J. Parkinson |
| 2015 | POPL | A Scalable, Correct Time-Stamped Stack. | Mike Dodds, Andreas Haas, Christoph M. Kirsch |
| 2015 | SEFM | Learning Assertions to Verify Linked-List Programs. | Jan Tobias Mhlberg, David H. White, Mike Dodds, Gerald Lttgen, Frank Piessens |
| 2014 | MODELS | Towards Rigorously Faking Bidirectional Model Transformations. | Christopher M. Poskitt, Mike Dodds, Richard F. Paige, Arend Rensink |
| 2013 | ESOP | Ribbon Proofs for Separation Logic. | John Wickerson, Mike Dodds, Matthew J. Parkinson |
| 2013 | POPL | Library abstraction for C/C++ concurrency. | Mark Batty, Mike Dodds, Alexey Gotsman |
| 2012 | POPL | Resource-sensitive synchronization inference by abduction. | Matko Botincan, Mike Dodds, Suresh Jagannathan |
| 2011 | OOPSLA | A simple abstraction for complex concurrent indexes. | Pedro da Rocha Pinto, Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner, Mark J. Wheelhouse |
| 2011 | POPL | Modular reasoning for deterministic parallelism. | Mike Dodds, Suresh Jagannathan, Matthew J. Parkinson |
| 2011 | PPoPP | Automatic safety proofs for asynchronous memory operations. | Matko Botincan, Mike Dodds, Alastair F. Donaldson, Matthew J. Parkinson |
| 2010 | ECOOP | Concurrent Abstract Predicates. | Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner, Matthew J. Parkinson, Viktor Vafeiadis |
| 2010 | ESOP | Explicit Stabilisation for Modular Rely-Guarantee Reasoning. | John Wickerson, Mike Dodds, Matthew J. Parkinson |
| 2009 | ESOP | Deny-Guarantee Reasoning. | Mike Dodds, Xinyu Feng, Matthew J. Parkinson, Viktor Vafeiadis |