Vineet Kahlon

Niloofar Razavi, Franjo Ivancic, Vineet Kahlon, Aarti Gupta: Concurrent Test Generation Using Concolic Multi-trace Analysis. APLAS 2012: 239-255

Vineet Kahlon, Chao Wang: Lock Removal for Concurrent Trace Programs. CAV 2012: 227-242

Vineet Kahlon: Schedule Insensitivity Reduction. FASE 2012: 99-114

Vineet Kahlon: Automatic lock insertion in concurrent programs. FMCAD 2012: 16-23

Khalil Ghorbal, Parasara Sridhar Duggirala, Vineet Kahlon, Franjo Ivancic, Aarti Gupta: Efficient Probabilistic Model Checking of Systems with Ranged Probabilities. RP 2012: 107-120

Vineet Kahlon: Reasoning about Threads with Bounded Lock Chains. CONCUR 2011: 450-465

Vineet Kahlon, Chao Wang: Universal Causality Graphs: A Precise Happens-Before Model for Detecting Bugs in Concurrent Programs. CAV 2010: 434-449

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: 273-274

Vineet Kahlon, Chao Wang, Aarti Gupta: Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique. CAV 2009: 398-413

Vineet Kahlon: Boundedness vs. Unboundedness of Lock Chains: Characterizing Decidability of Pairwise CFL-Reachability for Threads Communicating via Locks. LICS 2009: 27-36

Vineet Kahlon, Nishant Sinha, Erik Kruus, Yun Zhang: Static data race detection for concurrent programs with asynchronous calls. ESEC/SIGSOFT FSE 2009: 13-22

Vineet Kahlon, Sriram Sankaranarayanan, Aarti Gupta: Semantic Reduction of Thread Interleavings in Concurrent Programs. TACAS 2009: 124-138

Vineet Kahlon: Parameterization as Abstraction: A Tractable Approach to the Dataflow Analysis of Concurrent Programs. LICS 2008: 181-192

Vineet Kahlon: Bootstrapping: a technique for scalable flow and context-sensitive pointer alias analysis. PLDI 2008: 249-259

Chao Wang, Zijiang Yang, Vineet Kahlon, Aarti Gupta: Peephole Partial Order Reduction. TACAS 2008: 382-396

Vineet Kahlon, Yu Yang, Sriram Sankaranarayanan, Aarti Gupta: Fast and Accurate Static Data-Race Detection for Concurrent Programs. CAV 2007: 226-239

Vineet Kahlon, Aarti Gupta: On the analysis of interacting pushdown systems. POPL 2007: 303-314

Vineet Kahlon, Aarti Gupta, Nishant Sinha: Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions. CAV 2006: 286-299

Vineet Kahlon, Aarti Gupta: An Automata-Theoretic Approach for Model Checking Threads for LTL Propert. LICS 2006: 101-110

Vineet Kahlon, Franjo Ivancic, Aarti Gupta: Reasoning About Threads Communicating via Locks. CAV 2005: 505-518

E. Allen Emerson, Vineet Kahlon: Parameterized Model Checking of Ring-Based Message Passing Systems. CSL 2004: 325-339

E. Allen Emerson, Vineet Kahlon: Exact and Efficient Verification of Parameterized Cache Coherence Protocols. CHARME 2003: 247-262

E. Allen Emerson, Vineet Kahlon: Model Checking Guarded Protocols. LICS 2003: 361-370

E. Allen Emerson, Vineet Kahlon: Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols. TACAS 2003: 144-159

E. Allen Emerson, Vineet Kahlon: Model Checking Large-Scale and Parameterized Resource Allocation Systems. TACAS 2002: 251-265

E. Allen Emerson, Vineet Kahlon: Reducing Model Checking of the Many to the Few. CADE 2000: 236-254