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 × Canada
5 × USA
Collaborated with:
S.Kashyap Y.Chang W.Hung A.Sen
Talks about:
predic (3) system (2) global (2) counterexampl (1) distribut (1) algorithm (1) structur (1) reachabl (1) properti (1) parallel (1)

Person: Vijay K. Garg

DBLP DBLP: Garg:Vijay_K=

Contributed to:

PPoPP 20152015
PLDI 20132013
CAV 20082008
ASE 20052005
FATES 20032003
SEKE 19961996

Wrote 6 papers:

PPoPP-2015-ChangG #algorithm #concurrent #parallel
A parallel algorithm for global states enumeration in concurrent systems (YJC, VKG), pp. 140–149.
PLDI-2013-HungG #monitoring #named
AutoSynch: an automatic-signal monitor based on predicate tagging (WLH, VKG), pp. 253–262.
CAV-2008-KashyapG #using
Producing Short Counterexamples Using “Crucial Events” (SK, VKG), pp. 491–503.
ASE-2005-KashyapG #detection #performance #reachability
Exploiting predicate structure for efficient reachability detection (SK, VKG), pp. 4–13.
FATES-2003-SenG #on the
On Checking Whether a Predicate Definitely Holds (AS, VKG), pp. 15–29.
SEKE-1996-Garg #distributed
Observation of Global Properties in Distributed Systems (VKG), pp. 418–425.

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.