Vineet Kahlon

29 papers A* 12A 5B 6C 1Journal 1Unranked 3
YearRankTypeTitle / Venue / Authors
2018 — ch.
Model Checking Concurrent Programs.
Handbook of Model Checking
Aarti Gupta, Vineet Kahlon, Shaz Qadeer, Tayssir Touili
2013 J jnl
Static analysis for concurrent programs with applications to data race detection.
Int. J. Softw. Tools Technol. Transf.
Vineet Kahlon, Sriram Sankaranarayanan, Aarti Gupta
2012 B conf
Automatic lock insertion in concurrent programs.
FMCAD
Vineet Kahlon
2012 B conf
Concurrent Test Generation Using Concolic Multi-trace Analysis.
APLAS
Niloofar Razavi, Franjo Ivancic, Vineet Kahlon, Aarti Gupta
2012 — conf
Efficient Probabilistic Model Checking of Systems with Ranged Probabilities.
RP
Khalil Ghorbal, Parasara Sridhar Duggirala, Vineet Kahlon, Franjo Ivancic, Aarti Gupta
2012 A* conf
Lock Removal for Concurrent Trace Programs.
CAV
Vineet Kahlon, Chao Wang
2012 B conf
Schedule Insensitivity Reduction.
FASE
Vineet Kahlon
2011 B conf
Reasoning about Threads with Bounded Lock Chains.
CONCUR
Vineet Kahlon
2010 B conf
Scalable and precise program analysis at NEC.
FMCAD
Gogul Balakrishnan, Malay K. Ganai, Aarti Gupta, Franjo Ivancic, Vineet Kahlon, Weihong Li, Naoto Maeda, Nadia Papakonstantinou, Sriram Sankaranarayanan, Nishant Sinha, Chao Wang
2010 A* conf
Universal Causality Graphs: A Precise Happens-Before Model for Detecting Bugs in Concurrent Programs.
CAV
Vineet Kahlon, Chao Wang
2009 A* conf
Boundedness vs. Unboundedness of Lock Chains: Characterizing Decidability of Pairwise CFL-Reachability for Threads Communicating via Locks.
LICS
Vineet Kahlon
2009 A* conf
Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique.
CAV
Vineet Kahlon, Chao Wang, Aarti Gupta
2009 A conf
Semantic Reduction of Thread Interleavings in Concurrent Programs.
TACAS
Vineet Kahlon, Sriram Sankaranarayanan, Aarti Gupta
2009 — conf
Static data race detection for concurrent programs with asynchronous calls.
ESEC/SIGSOFT FSE
Vineet Kahlon, Nishant Sinha, Erik Kruus, Yun Zhang
2008 A* conf
Bootstrapping: a technique for scalable flow and context-sensitive pointer alias analysis.
PLDI
Vineet Kahlon
2008 A* conf
Parameterization as Abstraction: A Tractable Approach to the Dataflow Analysis of Concurrent Programs.
LICS
Vineet Kahlon
2008 A conf
Peephole Partial Order Reduction.
TACAS
Chao Wang, Zijiang Yang, Vineet Kahlon, Aarti Gupta
2007 A* conf
Fast and Accurate Static Data-Race Detection for Concurrent Programs.
CAV
Vineet Kahlon, Yu Yang, Sriram Sankaranarayanan, Aarti Gupta
2007 A* conf
On the analysis of interacting pushdown systems.
POPL
Vineet Kahlon, Aarti Gupta
2006 A* conf
An Automata-Theoretic Approach for Model Checking Threads for LTL Propert.
LICS
Vineet Kahlon, Aarti Gupta
2006 A* conf
Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions.
CAV
Vineet Kahlon, Aarti Gupta, Nishant Sinha
2005 C conf
Model Checking C Programs Using F-SOFT.
ICCD
Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta, Malay K. Ganai, Vineet Kahlon, Chao Wang, Zijiang Yang
2005 A* conf
Reasoning About Threads Communicating via Locks.
CAV
Vineet Kahlon, Franjo Ivancic, Aarti Gupta
2004 B conf
Parameterized Model Checking of Ring-Based Message Passing Systems.
CSL
E. Allen Emerson, Vineet Kahlon
2003 — conf
Exact and Efficient Verification of Parameterized Cache Coherence Protocols.
CHARME
E. Allen Emerson, Vineet Kahlon
2003 A* conf
Model Checking Guarded Protocols.
LICS
E. Allen Emerson, Vineet Kahlon
2003 A conf
Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols.
TACAS
E. Allen Emerson, Vineet Kahlon
2002 A conf
Model Checking Large-Scale and Parameterized Resource Allocation Systems.
TACAS
E. Allen Emerson, Vineet Kahlon
2000 A conf
Reducing Model Checking of the Many to the Few.
CADE
E. Allen Emerson, Vineet Kahlon