Simon Doherty

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
Verifying correctness of persistent concurrent data structures	2024-03-14	Paper
scientific article; zbMATH DE number 7774306 (Why is no real title available?) (available as arXiv preprint)	2023-12-08	Paper
Making Linearizability Compositional for Partially Ordered Executions Lecture Notes in Computer Science	2023-06-28	Paper
Making Linearizability Compositional for Partially Ordered Executions Lecture Notes in Computer Science	2023-06-28	Paper
Unifying Operational Weak Memory Verification: An Axiomatic Approach ACM Transactions on Computational Logic	2022-12-08	Paper
Defining and verifying durable opacity: correctness for persistent software transactional memory Formal Techniques for Distributed Objects, Components, and Systems	2022-10-13	Paper
scientific article; zbMATH DE number 7577571 (Why is no real title available?) (available as arXiv preprint)	2022-08-30	Paper
scientific article; zbMATH DE number 7577571 (Why is no real title available?)	2022-08-30	Paper
Convolution and concurrency Mathematical Structures in Computer Science	2022-06-24	Paper
Proving opacity via linearizability: a sound and complete method Formal Techniques for Distributed Objects, Components, and Systems	2022-06-15	Paper
Integrating Owicki-Gries for C11-style memory models into Isabelle/HOL Journal of Automated Reasoning	2022-03-25	Paper
Verifying correctness of persistent concurrent data structures: a sound and complete method Formal Aspects of Computing	2021-09-14	Paper
Mechanized proofs of opacity: a comparison of two techniques Formal Aspects of Computing	2018-09-12	Paper
Proving opacity of a pessimistic STM	2018-07-18	Paper
Towards formally specifying and verifying transactional memory Formal Aspects of Computing	2014-11-11	Paper
Verifying concurrent data structures by simulation	2013-12-04	Paper
Nonblocking Algorithms and Backward Simulation Lecture Notes in Computer Science	2009-11-19	Paper
Formal Techniques for Networked and Distributed Systems – FORTE 2004 Lecture Notes in Computer Science	2005-08-18	Paper

Research outcomes over time

This page was built for person: Simon Doherty