Mike Dodds

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Starling: lightweight concurrency verification with views	2022-07-01	Paper
Verified cryptographic code for everybody	2022-03-25	Paper
Compositional verification of compiler optimisations on relaxed memory (available as arXiv preprint)	2019-09-13	Paper
Compositional verification of compiler optimisations on relaxed memory	2019-09-13	Paper
Proving linearizability using partial orders Programming Languages and Systems	2017-05-19	Paper
A scalable, correct time-stamped stack Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages	2016-09-29	Paper
Resource-sensitive synchronization inference by abduction Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2015-09-11	Paper
Library abstraction for C/C++ concurrency Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2014-11-27	Paper
Modular reasoning for deterministic parallelism Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2014-04-10	Paper
Extending C for checking shape safety	2013-10-07	Paper
Ribbon proofs for separation logic Programming Languages and Systems	2013-08-05	Paper
Explicit stabilisation for modular rely-guarantee reasoning Programming Languages and Systems	2010-05-04	Paper
Deny-Guarantee Reasoning Programming Languages and Systems	2009-03-31	Paper
Graph Transformation in Constant Time Lecture Notes in Computer Science	2008-11-27	Paper
From Separation Logic to Hyperedge Replacement and Back Lecture Notes in Computer Science	2008-11-20	Paper

Research outcomes over time

This page was built for person: Mike Dodds