Simon Doherty

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