Travelled to:1 × Canada
1 × Estonia
1 × Germany
1 × Hungary
1 × The Netherlands
2 × Poland
3 × France
3 × United Kingdom
7 × USA
Collaborated with:A.Gupta E.A.Emerson ∅ C.Wang N.Sinha S.Sankaranarayanan F.Ivancic E.Kruus Y.Zhang Z.Yang Y.Yang
Talks about:model (8) program (7) concurr (7) check (7) reduct (5) parameter (4) partial (4) thread (4) order (4) lock (4)
Person: Vineet Kahlon
DBLP: Kahlon:Vineet
Contributed to:
2012
201220102009
2009
2009
20092008
200820082007
2007200620062005
2004200320032002
2000Wrote 20 papers:
- CAV-2012-KahlonW #concurrent #source code
- Lock Removal for Concurrent Trace Programs (VK, CW), pp. 227–242.
- FASE-2012-Kahlon #reduction
- Schedule Insensitivity Reduction (VK), pp. 99–114.
- CAV-2010-KahlonW #concurrent #debugging #detection #graph #precise #source code
- Universal Causality Graphs: A Precise Happens-Before Model for Detecting Bugs in Concurrent Programs (VK, CW), pp. 434–449.
- CAV-2009-KahlonWG #partial order #reduction
- Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique (VK, CW, AG), pp. 398–413.
- ESEC-FSE-2009-KahlonSKZ #concurrent #detection #source code
- Static data race detection for concurrent programs with asynchronous calls (VK, NS, EK, YZ), pp. 13–22.
- LICS-2009-Kahlon #bound #communication #decidability #thread
- Boundedness vs. Unboundedness of Lock Chains: Characterizing Decidability of Pairwise CFL-Reachability for Threads Communicating via Locks (VK), pp. 27–36.
- TACAS-2009-KahlonSG #concurrent #reduction #semantics #source code #thread
- Semantic Reduction of Thread Interleavings in Concurrent Programs (VK, SS, AG), pp. 124–138.
- LICS-2008-Kahlon #abstraction #analysis #approach #concurrent #data flow #source code
- Parameterization as Abstraction: A Tractable Approach to the Dataflow Analysis of Concurrent Programs (VK), pp. 181–192.
- PLDI-2008-Kahlon #alias #analysis #named #pointer #scalability
- Bootstrapping: a technique for scalable flow and context-sensitive pointer alias analysis (VK), pp. 249–259.
- TACAS-2008-WangYKG #partial order #reduction
- Peephole Partial Order Reduction (CW, ZY, VK, AG), pp. 382–396.
- CAV-2007-KahlonYSG #concurrent #detection #performance #source code
- Fast and Accurate Static Data-Race Detection for Concurrent Programs (VK, YY, SS, AG), pp. 226–239.
- POPL-2007-KahlonG #analysis #automaton #on the
- On the analysis of interacting pushdown systems (VK, AG), pp. 303–314.
- CAV-2006-KahlonGS #concurrent #model checking #on the fly #partial order #source code #transaction #using
- Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions (VK, AG, NS), pp. 286–299.
- LICS-2006-KahlonG #approach #ltl #model checking #thread
- An Automata-Theoretic Approach for Model Checking Threads for LTL Propert (VK, AG), pp. 101–110.
- CAV-2005-KahlonIG #communication #reasoning #thread
- Reasoning About Threads Communicating via Locks (VK, FI, AG), pp. 505–518.
- CSL-2004-EmersonK #message passing #model checking
- Parameterized Model Checking of Ring-Based Message Passing Systems (EAE, VK), pp. 325–339.
- LICS-2003-EmersonK #model checking #protocol
- Model Checking Guarded Protocols (EAE, VK), pp. 361–370.
- TACAS-2003-EmersonK #agile #model checking #protocol
- Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols (EAE, VK), pp. 144–159.
- TACAS-2002-EmersonK #model checking #resource management #scalability
- Model Checking Large-Scale and Parameterized Resource Allocation Systems (EAE, VK), pp. 251–265.
- CADE-2000-EmersonK #model checking
- Reducing Model Checking of the Many to the Few (EAE, VK), pp. 236–254.