Simon Doherty

Available identifiers

zbMath Open doherty.simonMaRDI QIDQ470036

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q3174968	2018-07-18	Paper
Towards formally specifying and verifying transactional memory	2014-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q2863833	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Simon Doherty