Vineet Kahlon

发表

Boundedness vs. Unboundedness of Lock Chains: Characterizing Decidability of Pairwise CFL-Reachability for Threads Communicating via Locks

Vineet Kahlon, 2009, 2009 24th Annual IEEE Symposium on Logic In Computer Science.

Model checking guarded protocols

Vineet Kahlon, E. Allen Emerson, E. Emerson, 2003, 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..

Scalable and precise program analysis at NEC

Sriram Sankaranarayanan, Chao Wang, Weihong Li, 2010, Formal Methods in Computer Aided Design.

Reasoning About Threads Communicating via Locks

Vineet Kahlon, Aarti Gupta, Franjo Ivancic, 2005, CAV.

Peephole Partial Order Reduction

Chao Wang, Zijiang Yang, Vineet Kahlon, 2008, TACAS.

An Automata-Theoretic Approach for Model Checking Threads for LTL Propert

Vineet Kahlon, Aarti Gupta, Aarti Gupta, 2006, 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).

Model Checking Concurrent Programs

Tayssir Touili, Vineet Kahlon, Aarti Gupta, 2018, Handbook of Model Checking.

Efficient Probabilistic Model Checking of Systems with Ranged Probabilities

Vineet Kahlon, Aarti Gupta, Franjo Ivancic, 2012, RP.

Bootstrapping: a technique for scalable flow and context-sensitive pointer alias analysis

Vineet Kahlon, 2008, PLDI '08.

Parameterized Model Checking of Ring-Based Message Passing Systems

Vineet Kahlon, E. Allen Emerson, E. Emerson, 2004, CSL.

Static data race detection for concurrent programs with asynchronous calls

Yun Zhang, Vineet Kahlon, Nishant Sinha, 2009, ESEC/FSE '09.

Lock Removal for Concurrent Trace Programs

Chao Wang, Vineet Kahlon, 2012, CAV.

Automatic lock insertion in concurrent programs

Vineet Kahlon, 2012, 2012 Formal Methods in Computer-Aided Design (FMCAD).

Universal Causality Graphs: A Precise Happens-Before Model for Detecting Bugs in Concurrent Programs

Chao Wang, Vineet Kahlon, Vineet Kahlon, 2010, CAV.

Reducing Model Checking of the Many to the Few

Vineet Kahlon, E. Allen Emerson, E. Emerson, 2000, CADE.

Model checking: beyond the finite

Vineet Kahlon, 2004 .

Model Checking Large-Scale and Parameterized Resource Allocation Systems

Vineet Kahlon, E. Allen Emerson, E. Emerson, 2002, TACAS.

Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique

Chao Wang, Vineet Kahlon, Aarti Gupta, 2009, CAV.

Fast and Accurate Static Data-Race Detection for Concurrent Programs

Sriram Sankaranarayanan, Yu Yang, Vineet Kahlon, 2007, CAV.

Static analysis for concurrent programs with applications to data race detection

Sriram Sankaranarayanan, Vineet Kahlon, Aarti Gupta, 2013, International Journal on Software Tools for Technology Transfer.

Model checking C programs using F-Soft

Chao Wang, Zijiang Yang, Vineet Kahlon, 2005, 2005 International Conference on Computer Design.

Semantic Reduction of Thread Interleavings in Concurrent Programs

Sriram Sankaranarayanan, Vineet Kahlon, Aarti Gupta, 2009, TACAS.

On the analysis of interacting pushdown systems

Vineet Kahlon, Aarti Gupta, 2007, POPL '07.

Schedule Insensitivity Reduction

Vineet Kahlon, Vineet Kahlon, 2012, FASE.

Parameterization as Abstraction: A Tractable Approach to the Dataflow Analysis of Concurrent Programs

Vineet Kahlon, Vineet Kahlon, 2008, 2008 23rd Annual IEEE Symposium on Logic in Computer Science.

Concurrent Test Generation Using Concolic Multi-trace Analysis

Vineet Kahlon, Aarti Gupta, Niloofar Razavi, 2012, APLAS.

Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols

Vineet Kahlon, E. Allen Emerson, 2003, TACAS.

Exact and Efficient Verification of Parameterized Cache Coherence Protocols

Vineet Kahlon, E. Allen Emerson, Vineet Kahlon, 2003, CHARME.

Reasoning about Threads with Bounded Lock Chains

Vineet Kahlon, 2011, CONCUR.

Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions

Vineet Kahlon, Aarti Gupta, Nishant Sinha, 2006, CAV.

Boundedness vs . Unboundedness of Lock Chains : Characterizing Decidability of CFL-Reachability for Thre ads Communicating via Locks

Vineet Kahlon, 2009 .