Mike Dodds

Available identifiers

zbMath Open dodds.mikeMaRDI QIDQ832212

List of research outcomes

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	2019-09-13	Paper
Proving linearizability using partial orders	2017-05-19	Paper
A scalable, correct time-stamped stack	2016-09-29	Paper
Resource-sensitive synchronization inference by abduction	2015-09-11	Paper
Library abstraction for C/C++ concurrency	2014-11-27	Paper
Modular reasoning for deterministic parallelism	2014-04-10	Paper
Extending C for checking shape safety	2013-10-07	Paper
Ribbon proofs for separation logic	2013-08-05	Paper
Explicit stabilisation for modular rely-guarantee reasoning	2010-05-04	Paper
Deny-Guarantee Reasoning	2009-03-31	Paper
Graph Transformation in Constant Time	2008-11-27	Paper
From Separation Logic to Hyperedge Replacement and Back	2008-11-20	Paper

Research outcomes over time

This page was built for person: Mike Dodds