Simon Doherty

According to our database, Simon Doherty authored at least 30 papers between 2004 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2022

Unifying Operational Weak Memory Verification: An Axiomatic Approach.

Simon Doherty, Sadegh Dalvandi, Brijesh Dongol, Heike Wehrheim

ACM Trans. Comput. Log., 2022

Modularising Verification Of Durable Opacity.

Eleni Bila, John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim

Log. Methods Comput. Sci., 2022

Integrating Owicki-Gries for C11-Style Memory Models into Isabelle/HOL.

Sadegh Dalvandi, Brijesh Dongol, Simon Doherty, Heike Wehrheim

J. Autom. Reason., 2022

2021

Convolution and concurrency.

James Cranch, Simon Doherty, Georg Struth

Math. Struct. Comput. Sci., 2021

Verifying correctness of persistent concurrent data structures: a sound and complete method.

John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim

Formal Aspects Comput., 2021

On Strong Observational Refinement and Forward Simulation.

John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim

CoRR, 2021

Brief Announcement: On Strong Observational Refinement and Forward Simulation.

John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim

Proceedings of the 35th International Symposium on Distributed Computing, 2021

2020

Owicki-Gries Reasoning for C11 RAR (Artifact).

Sadegh Dalvandi, Simon Doherty, Brijesh Dongol, Heike Wehrheim

Dagstuhl Artifacts Ser., 2020

Integrating Owicki-Gries for C11-Style Memory Models into Isabelle/HOL.

Sadegh Dalvandi, Brijesh Dongol, Simon Doherty

CoRR, 2020

Relational Semigroups and Object-Free Categories.

James Cranch, Simon Doherty, Georg Struth

CoRR, 2020

Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory.

Eleni Bila, Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2020

Owicki-Gries Reasoning for C11 RAR.

Sadegh Dalvandi, Simon Doherty, Brijesh Dongol, Heike Wehrheim

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2019

Verifying C11 programs operationally.

Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick

Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2019

Verifying Correctness of Persistent Concurrent Data Structures.

John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2018

Mechanized proofs of opacity: a comparison of two techniques.

John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim

Formal Aspects Comput., 2018

Causal Linearizability: Compositionality for Partially Ordered Executions.

Simon Doherty, John Derrick, Brijesh Dongol, Heike Wehrheim

CoRR, 2018

Brief Announcement: Generalising Concurrent Correctness to Weak Memory.

Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick

Proceedings of the 32nd International Symposium on Distributed Computing, 2018

Making Linearizability Compositional for Partially Ordered Executions.

Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick

Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

2017

Proving Opacity via Linearizability: A Sound and Complete Method.

Alasdair Armstrong, Brijesh Dongol, Simon Doherty

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017

2016

Causal Linearizability.

Simon Doherty, John Derrick

CoRR, 2016

Reducing Opacity to Linearizability: A Sound and Complete Method.

Alasdair Armstrong, Brijesh Dongol, Simon Doherty

CoRR, 2016

Linearizability and Causality.

Simon Doherty, John Derrick

Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

Proving Opacity of a Pessimistic STM.

Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim

Proceedings of the 20th International Conference on Principles of Distributed Systems, 2016

2013

Towards formally specifying and verifying transactional memory.

Simon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir

Formal Aspects Comput., 2013

2010

Simpler Backward Simulation Proofs.

Simon Doherty, Lindsay Groves

Proceedings of the Theory of Computing 2010, 2010

2009

Nonblocking Algorithms and Backward Simulation.

Simon Doherty, Mark Moir

Proceedings of the Distributed Computing, 23rd International Symposium, 2009

2005

Verifying Concurrent Data Structures by Simulation.

Robert Colvin, Simon Doherty, Lindsay Groves

Proceedings of the REFINE 2005 Workshop, 2005

2004

DCAS is not a silver bullet for nonblocking algorithm design.

Simon Doherty, David Detlefs, Lindsay Groves, Christine H. Flood, Victor Luchangco, Paul Alan Martin, Mark Moir, Nir Shavit, Guy L. Steele Jr.

Proceedings of the SPAA 2004: Proceedings of the Sixteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2004

Bringing practical lock-free synchronization to 64-bit applications.

Simon Doherty, Maurice Herlihy, Victor Luchangco, Mark Moir

Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, 2004

Formal Verification of a Practical Lock-Free Queue Algorithm.

Simon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004