Vineet Kahlon

Publication Activity (10 Years)

Years Active: 2000-2013
Publications (10 Years): 0

Top Topics

Concurrent Programs

Static Analysis

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

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