Simon Doherty
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
9
Active years
2004–2020
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | ECOOP | Owicki-Gries Reasoning for C11 RAR. | Sadegh Dalvandi, Simon Doherty, Brijesh Dongol, Heike Wehrheim |
| 2020 | FORTE | Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory. | Eleni Bila, Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim |
| 2019 | FM | Verifying Correctness of Persistent Concurrent Data Structures. | John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim |
| 2019 | PPoPP | Verifying C11 programs operationally. | Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick |
| 2018 | IFM | Making Linearizability Compositional for Partially Ordered Executions. | Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick |
| 2017 | FORTE | Proving Opacity via Linearizability: A Sound and Complete Method. | Alasdair Armstrong, Brijesh Dongol, Simon Doherty |
| 2016 | OPODIS | Proving Opacity of a Pessimistic STM. | Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim |
| 2016 | SEFM | Linearizability and Causality. | Simon Doherty, John Derrick |
| 2004 | FORTE | Formal Verification of a Practical Lock-Free Queue Algorithm. | Simon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir |
| 2004 | PODC | Bringing practical lock-free synchronization to 64-bit applications. | Simon Doherty, Maurice Herlihy, Victor Luchangco, Mark Moir |
| 2004 | SPAA | 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. |