2005 |
4 | EE | Robert Colvin,
Simon Doherty,
Lindsay Groves:
Verifying Concurrent Data Structures by Simulation.
Electr. Notes Theor. Comput. Sci. 137(2): 93-110 (2005) |
2004 |
3 | EE | Simon Doherty,
Lindsay Groves,
Victor Luchangco,
Mark Moir:
Formal Verification of a Practical Lock-Free Queue Algorithm.
FORTE 2004: 97-114 |
2 | EE | Simon Doherty,
Maurice Herlihy,
Victor Luchangco,
Mark Moir:
Bringing practical lock-free synchronization to 64-bit applications.
PODC 2004: 31-39 |
1 | EE | 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 |