Mike Dodds

According to our database, Mike Dodds authored at least 33 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Trustworthy Runtime Verification via Bisimulation (Experience Report).

Ryan G. Scott, Mike Dodds, Ivan Perez, Alwyn E. Goodloe, Robert Dockins

Proc. ACM Program. Lang., August, 2023

2022

Formally Verifying Industry Cryptography.

Mike Dodds

IEEE Secur. Priv., 2022

2021

Verified Cryptographic Code for Everybody.

Brett Boston, Samuel Breese, Joey Dodds, Mike Dodds, Brian Huffman, Adam Petcher, Andrei Stefanescu

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Symbolic Testing for C and Rust.

Aaron Tomb, Stuart Pernsteiner, Mike Dodds

Proceedings of the IEEE Secure Development, SecDev 2020, Atlanta, GA, USA, 2020

On the Formal Verification of the Stellar Consensus Protocol.

Giuliano Losa, Mike Dodds

Proceedings of the 2nd Workshop on Formal Methods for Blockchains, 2020

2018

Tutorial: Continuous Verification of Critical Software.

Mike Dodds, Stephen Magill, Aaron Tomb

Proceedings of the 2018 IEEE Cybersecurity Development, SecDev 2018, Cambridge, MA, USA, 2018

Compositional Verification of Compiler Optimisations on Relaxed Memory.

Mike Dodds, Mark Batty, Alexey Gotsman

Proceedings of the Programming Languages and Systems, 2018

2017

Proving Linearizability Using Partial Orders (Extended Version).

Artem Khyzha, Mike Dodds, Alexey Gotsman, Matthew J. Parkinson

CoRR, 2017

Proving Linearizability Using Partial Orders.

Artem Khyzha, Mike Dodds, Alexey Gotsman, Matthew J. Parkinson

Proceedings of the Programming Languages and Systems, 2017

Starling: Lightweight Concurrency Verification with Views.

Matt Windsor, Mike Dodds, Ben Simner, Matthew J. Parkinson

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

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

2015

Refining Existential Properties in Separation Logic Analyses.

Matko Botincan, Mike Dodds, Stephen Magill

CoRR, 2015

Learning Assertions to Verify Linked-List Programs.

Jan Tobias Mühlberg, David H. White, Mike Dodds, Gerald Lüttgen, Frank Piessens

Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

A Scalable, Correct Time-Stamped Stack.

Mike Dodds, Andreas Haas, Christoph M. Kirsch

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

2014

Towards Rigorously Faking Bidirectional Model Transformations.

Christopher M. Poskitt, Mike Dodds, Richard F. Paige, Arend Rensink

Proceedings of the Workshop on Analysis of Model Transformations co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), 2014

2013

Proof-Directed Parallelization Synthesis by Separation Logic.

Matko Botincan, Mike Dodds, Suresh Jagannathan

ACM Trans. Program. Lang. Syst., 2013

C/C++ Causal Cycles Confound Compositionality.

Mike Dodds, Mark Batty, Alexey Gotsman

Tiny Trans. Comput. Sci., 2013

Library abstraction for C/C++ concurrency.

Mark Batty, Mike Dodds, Alexey Gotsman

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Ribbon Proofs for Separation Logic.

John Wickerson, Mike Dodds, Matthew J. Parkinson

Proceedings of the Programming Languages and Systems, 2013

2012

Resource-sensitive synchronization inference by abduction.

Matko Botincan, Mike Dodds, Suresh Jagannathan

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

2011

jStar-eclipse: an IDE for automated verification of Java programs.

Daiva Naudziuniene, Matko Botincan, Dino Distefano, Mike Dodds, Radu Grigore, Matthew J. Parkinson

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Automatic safety proofs for asynchronous memory operations.

Matko Botincan, Mike Dodds, Alastair F. Donaldson, Matthew J. Parkinson

Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2011

Modular reasoning for deterministic parallelism.

Mike Dodds, Suresh Jagannathan, Matthew J. Parkinson

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

A simple abstraction for complex concurrent indexes.

Pedro da Rocha Pinto, Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner, Mark J. Wheelhouse

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Safe asynchronous multicore memory operations.

Matko Botincan, Mike Dodds, Alastair F. Donaldson, Matthew J. Parkinson

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

2010

Explicit Stabilisation for Modular Rely-Guarantee Reasoning.

John Wickerson, Mike Dodds, Matthew J. Parkinson

Proceedings of the Programming Languages and Systems, 2010

Concurrent Abstract Predicates.

Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner, Matthew J. Parkinson, Viktor Vafeiadis

Proceedings of the ECOOP 2010, 2010

2009

Deny-Guarantee Reasoning.

Mike Dodds, Xinyu Feng, Matthew J. Parkinson, Viktor Vafeiadis

Proceedings of the Programming Languages and Systems, 2009

2008

Graph transformation and pointer structures.

Mike Dodds

PhD thesis, 2008

From Hyperedge Replacement to Separation Logic and Back.

Mike Dodds, Detlef Plump

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

From Separation Logic to Hyperedge Replacement and Back.

Mike Dodds

Proceedings of the Graph Transformations, 4th International Conference, 2008

2006

Graph Transformation in Constant Time.

Mike Dodds, Detlef Plump

Proceedings of the Graph Transformations, Third International Conference, 2006

2005

Extending C for Checking Shape Safety.

Mike Dodds, Detlef Plump

Proceedings of the Workshop on Graph Transformation for Verification and Concurrency, 2005