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: Garg:Vijay_K=
Contributed to:
2015
2013
2008
2005
2003
1996Wrote 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.