Travelled to:1 × Cyprus
1 × France
1 × Germany
1 × USA
Collaborated with:T.A.Henzinger R.Guerraoui S.Burckhardt M.Musuvathi D.Beyer B.Jobstmann
Talks about:memori (4) model (3) transact (2) relax (2) transform (1) algorithm (1) synthesi (1) interfac (1) softwar (1) verifi (1)
Person: Vasu Singh
DBLP: Singh:Vasu
Contributed to:
2010
2009
20082007Wrote 4 papers:
- CC-2010-BurckhardtMS #memory management #modelling #verification
- Verifying Local Transformations on Relaxed Memory Models (SB, MM, VS), pp. 104–123.
- CAV-2009-GuerraouiHS #memory management #modelling #transaction
- Software Transactional Memory on Relaxed Memory Models (RG, TAH, VS), pp. 321–336.
- PLDI-2008-GuerraouiHJS #model checking #transaction
- Model checking transactional memories (RG, TAH, BJ, VS), pp. 372–382.
- CAV-2007-BeyerHS #algorithm #interface #synthesis
- Algorithms for Interface Synthesis (DB, TAH, VS), pp. 4–19.