| * | 2009 |
|---|
| 6 | EE | Rachid Guerraoui,
Thomas A. Henzinger,
Vasu Singh:
Software Transactional Memory on Relaxed Memory Models.
CAV 2009: 321-336 |
| 5 | EE | Aleksandar Dragojevic,
Rachid Guerraoui,
Anmol V. Singh,
Vasu Singh:
Preventing versus curing: avoiding conflicts in transactional memories.
PODC 2009: 7-16 |
| 2008 |
|---|
| 4 | EE | Rachid Guerraoui,
Thomas A. Henzinger,
Vasu Singh:
Completeness and Nondeterminism in Model Checking Transactional Memories.
CONCUR 2008: 21-35 |
| 3 | EE | Rachid Guerraoui,
Thomas A. Henzinger,
Vasu Singh:
Permissiveness in Transactional Memories.
DISC 2008: 305-319 |
| 2 | EE | Rachid Guerraoui,
Thomas A. Henzinger,
Barbara Jobstmann,
Vasu Singh:
Model checking transactional memories.
PLDI 2008: 372-382 |
| 2007 |
|---|
| 1 | EE | Dirk Beyer,
Thomas A. Henzinger,
Vasu Singh:
Algorithms for Interface Synthesis.
CAV 2007: 4-19 |
