Vineet Kahlon

According to our database, Vineet Kahlon authored at least 29 papers between 2000 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Model Checking Concurrent Programs.

Aarti Gupta, Vineet Kahlon, Shaz Qadeer, Tayssir Touili

Proceedings of the Handbook of Model Checking., 2018

2013

Static analysis for concurrent programs with applications to data race detection.

Vineet Kahlon, Sriram Sankaranarayanan, Aarti Gupta

Int. J. Softw. Tools Technol. Transf., 2013

2012

Efficient Probabilistic Model Checking of Systems with Ranged Probabilities.

Khalil Ghorbal, Parasara Sridhar Duggirala, Vineet Kahlon, Franjo Ivancic, Aarti Gupta

Proceedings of the Reachability Problems - 6th International Workshop, 2012

Automatic lock insertion in concurrent programs.

Vineet Kahlon

Proceedings of the Formal Methods in Computer-Aided Design, 2012

Schedule Insensitivity Reduction.

Vineet Kahlon

Proceedings of the Fundamental Approaches to Software Engineering, 2012

Lock Removal for Concurrent Trace Programs.

Vineet Kahlon, Chao Wang

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

Concurrent Test Generation Using Concolic Multi-trace Analysis.

Niloofar Razavi, Franjo Ivancic, Vineet Kahlon, Aarti Gupta

Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

2011

Reasoning about Threads with Bounded Lock Chains.

Vineet Kahlon

Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

2010

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

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

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

Vineet Kahlon, Chao Wang

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009

Semantic Reduction of Thread Interleavings in Concurrent Programs.

Vineet Kahlon, Sriram Sankaranarayanan, Aarti Gupta

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

Static data race detection for concurrent programs with asynchronous calls.

Vineet Kahlon, Nishant Sinha, Erik Kruus, Yun Zhang

Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

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

Vineet Kahlon

Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, 2009

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

Vineet Kahlon, Chao Wang, Aarti Gupta

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

Peephole Partial Order Reduction.

Chao Wang, Zijiang Yang, Vineet Kahlon, Aarti Gupta

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

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

Vineet Kahlon

Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

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

Vineet Kahlon

Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, 2008

2007

On the analysis of interacting pushdown systems.

Vineet Kahlon, Aarti Gupta

Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

Fast and Accurate Static Data-Race Detection for Concurrent Programs.

Vineet Kahlon, Yu Yang, Sriram Sankaranarayanan, Aarti Gupta

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006

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

Vineet Kahlon, Aarti Gupta

Proceedings of the 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 2006

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

Vineet Kahlon, Aarti Gupta, Nishant Sinha

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005

Model Checking C Programs Using F-SOFT.

Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta, Malay K. Ganai, Vineet Kahlon, Chao Wang, Zijiang Yang

Proceedings of the 23rd International Conference on Computer Design (ICCD 2005), 2005

Reasoning About Threads Communicating via Locks.

Vineet Kahlon, Franjo Ivancic, Aarti Gupta

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004

Parameterized Model Checking of Ring-Based Message Passing Systems.

E. Allen Emerson, Vineet Kahlon

Proceedings of the Computer Science Logic, 18th International Workshop, 2004

2003

Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols.

E. Allen Emerson, Vineet Kahlon

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Model Checking Guarded Protocols.

E. Allen Emerson, Vineet Kahlon

Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003

Exact and Efficient Verification of Parameterized Cache Coherence Protocols.

E. Allen Emerson, Vineet Kahlon

Proceedings of the Correct Hardware Design and Verification Methods, 2003

2002

Model Checking Large-Scale and Parameterized Resource Allocation Systems.

E. Allen Emerson, Vineet Kahlon

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

2000

Reducing Model Checking of the Many to the Few.

E. Allen Emerson, Vineet Kahlon

Proceedings of the Automated Deduction, 2000