BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Singh:Vasu

Contributed to:

CC 20102010
CAV 20092009
PLDI 20082008
CAV 20072007

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.