 | 2009 |
|---|
| 5 |       | Simon Doherty,
Mark Moir:
Nonblocking Algorithms and Backward Simulation.
DISC 2009: 274-288 |
| 2005 |
|---|
| 4 | | Robert Colvin,
Simon Doherty,
Lindsay Groves:
Verifying Concurrent Data Structures by Simulation.
Electr. Notes Theor. Comput. Sci. 137(2): 93-110 (2005) |
| 2004 |
|---|
| 3 | | Simon Doherty,
Lindsay Groves,
Victor Luchangco,
Mark Moir:
Formal Verification of a Practical Lock-Free Queue Algorithm.
FORTE 2004: 97-114 |
| 2 | | Simon Doherty,
Maurice Herlihy,
Victor Luchangco,
Mark Moir:
Bringing practical lock-free synchronization to 64-bit applications.
PODC 2004: 31-39 |
| 1 | | Simon Doherty,
David Detlefs,
Lindsay Groves,
Christine H. Flood,
Victor Luchangco,
Paul A. Martin,
Mark Moir,
Nir Shavit,
Guy L. Steele Jr.:
DCAS is not a silver bullet for nonblocking algorithm design.
SPAA 2004: 216-224 |
