Vasu Singh (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh: Software Transactional Memory on Relaxed Memory Models. CAV 2009: 321-336

4 Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh: Completeness and Nondeterminism in Model Checking Transactional Memories. CONCUR 2008: 21-35

3 Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh: Permissiveness in Transactional Memories. DISC 2008: 305-319

2 Rachid Guerraoui, Thomas A. Henzinger, Barbara Jobstmann, Vasu Singh: Model checking transactional memories. PLDI 2008: 372-382

1 Dirk Beyer, Thomas A. Henzinger, Vasu Singh: Algorithms for Interface Synthesis. CAV 2007: 4-19

Selection of 5 from 6 records - Vasu Singh has 6 coauthors

6		Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh: Software Transactional Memory on Relaxed Memory Models. CAV 2009: 321-336
4		Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh: Completeness and Nondeterminism in Model Checking Transactional Memories. CONCUR 2008: 21-35
3		Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh: Permissiveness in Transactional Memories. DISC 2008: 305-319
2		Rachid Guerraoui, Thomas A. Henzinger, Barbara Jobstmann, Vasu Singh: Model checking transactional memories. PLDI 2008: 372-382
1		Dirk Beyer, Thomas A. Henzinger, Vasu Singh: Algorithms for Interface Synthesis. CAV 2007: 4-19