Simon Doherty

Publication Activity (10 Years)

Years Active: 2004-2022
Publications (10 Years): 27

Top Topics

Transactional Memory

Causal Inference

Speculative Execution

Top Venues

Formal Aspects Comput.

Publications

Simon Doherty, Sadegh Dalvandi, Brijesh Dongol, Heike Wehrheim
Unifying Operational Weak Memory Verification: An Axiomatic Approach. ACM Trans. Comput. Log. 23 (4) (2022)
Eleni Bila, John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim
Modularising Verification Of Durable Opacity. Log. Methods Comput. Sci. 18 (3) (2022)
Sadegh Dalvandi, Brijesh Dongol, Simon Doherty, Heike Wehrheim
Integrating Owicki-Gries for C11-Style Memory Models into Isabelle/HOL. J. Autom. Reason. 66 (1) (2022)
John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim
Verifying correctness of persistent concurrent data structures: a sound and complete method. Formal Aspects Comput. 33 (4-5) (2021)
John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim
Brief Announcement: On Strong Observational Refinement and Forward Simulation. DISC (2021)
James Cranch, Simon Doherty, Georg Struth
Convolution and concurrency. Math. Struct. Comput. Sci. 31 (8) (2021)
John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim
On Strong Observational Refinement and Forward Simulation. CoRR (2021)
Eleni Bila, Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim
Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory. CoRR (2020)
Sadegh Dalvandi, Brijesh Dongol, Simon Doherty
Integrating Owicki-Gries for C11-Style Memory Models into Isabelle/HOL. CoRR (2020)
Eleni Bila, Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim
Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory. FORTE (2020)
James Cranch, Simon Doherty, Georg Struth
Relational Semigroups and Object-Free Categories. CoRR (2020)
James Cranch, Simon Doherty, Georg Struth
Convolution and Concurrency. CoRR (2020)
Sadegh Dalvandi, Simon Doherty, Brijesh Dongol, Heike Wehrheim
Owicki-Gries Reasoning for C11 RAR. ECOOP (2020)
Eleni Bila, John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim
Modularising Verification Of Durable Opacity. CoRR (2020)
Sadegh Dalvandi, Simon Doherty, Brijesh Dongol, Heike Wehrheim
Owicki-Gries Reasoning for C11 RAR (Artifact). Dagstuhl Artifacts Ser. 6 (2) (2020)
Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick
Verifying C11 programs operationally. PPoPP (2019)
John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim
Verifying Correctness of Persistent Concurrent Data Structures. FM (2019)
Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick
Verifying C11 Programs Operationally. CoRR (2018)
John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim
Mechanized proofs of opacity: a comparison of two techniques. Formal Aspects Comput. 30 (5) (2018)
Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick
Brief Announcement: Generalising Concurrent Correctness to Weak Memory. DISC (2018)
Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick
Making Linearizability Compositional for Partially Ordered Executions. IFM (2018)
Simon Doherty, John Derrick, Brijesh Dongol, Heike Wehrheim
Causal Linearizability: Compositionality for Partially Ordered Executions. CoRR (2018)
Alasdair Armstrong, Brijesh Dongol, Simon Doherty
Proving Opacity via Linearizability: A Sound and Complete Method. FORTE (2017)
Simon Doherty, John Derrick
Causal Linearizability. CoRR (2016)
Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim
Proving Opacity of a Pessimistic STM. OPODIS (2016)
Simon Doherty, John Derrick
Linearizability and Causality. SEFM (2016)
Alasdair Armstrong, Brijesh Dongol, Simon Doherty
Reducing Opacity to Linearizability: A Sound and Complete Method. CoRR (2016)
Simon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir
Towards formally specifying and verifying transactional memory. Formal Aspects Comput. 25 (5) (2013)
Simon Doherty, Lindsay Groves
Simpler Backward Simulation Proofs. CATS (2010)
Simon Doherty, Mark Moir
Nonblocking Algorithms and Backward Simulation. DISC (2009)
Robert Colvin, Simon Doherty, Lindsay Groves
Verifying Concurrent Data Structures by Simulation. Electron. Notes Theor. Comput. Sci. 137 (2) (2005)
Simon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir
Formal Verification of a Practical Lock-Free Queue Algorithm. FORTE (2004)
Simon Doherty, Maurice Herlihy, Victor Luchangco, Mark Moir
Bringing practical lock-free synchronization to 64-bit applications. PODC (2004)
Simon Doherty, David Detlefs, Lindsay Groves, Christine H. Flood, Victor Luchangco, Paul Alan Martin, Mark Moir, Nir Shavit, Guy L. Steele Jr.
DCAS is not a silver bullet for nonblocking algorithm design. SPAA (2004)