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