Simon Doherty

Available identifiers

Publication	Date of Publication	Type
Verifying correctness of persistent concurrent data structures	2024-03-14	Paper
https://portal.mardi4nfdi.de/entity/Q6083440	2023-12-08	Paper
Making Linearizability Compositional for Partially Ordered Executions	2023-06-28	Paper
Unifying Operational Weak Memory Verification: An Axiomatic Approach	2022-12-08	Paper
Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory	2022-10-13	Paper
https://portal.mardi4nfdi.de/entity/Q5101340	2022-08-30	Paper
Convolution and concurrency	2022-06-24	Paper
Proving Opacity via Linearizability: A Sound and Complete Method	2022-06-15	Paper
Integrating Owicki-Gries for C11-style memory models into Isabelle/HOL	2022-03-25	Paper
Verifying correctness of persistent concurrent data structures: a sound and complete method	2021-09-14	Paper
Mechanized proofs of opacity: a comparison of two techniques	2018-09-12	Paper
Proving Opacity of a Pessimistic {STM}	2018-07-18	Paper
Towards formally specifying and verifying transactional memory	2014-11-11	Paper
Verifying concurrent data structures by simulation	2013-12-04	Paper
Nonblocking Algorithms and Backward Simulation	2009-11-19	Paper
Formal Techniques for Networked and Distributed Systems – FORTE 2004	2005-08-18	Paper

This page was built for person: Simon Doherty