dblp.uni-trier.dewww.uni-trier.de

Simon Doherty

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Robert Colvin [4]
2David Detlefs [1]
3Christine H. Flood [1]
4Lindsay Groves [1] [3] [4]
5Maurice Herlihy [2]
6Victor Luchangco [1] [2] [3]
7Paul A. Martin [1]
8Mark Moir [1] [2] [3]
9Nir Shavit [1]
10Guy L. Steele Jr. [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)