Vineet Kahlon

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Model Checking Concurrent Programs.
Proceedings of the Handbook of Model Checking., 2018

2013
Static analysis for concurrent programs with applications to data race detection.
Int. J. Softw. Tools Technol. Transf., 2013

2012
Efficient Probabilistic Model Checking of Systems with Ranged Probabilities.
Proceedings of the Reachability Problems - 6th International Workshop, 2012

Automatic lock insertion in concurrent programs.
Proceedings of the Formal Methods in Computer-Aided Design, 2012

Schedule Insensitivity Reduction.
Proceedings of the Fundamental Approaches to Software Engineering, 2012

Lock Removal for Concurrent Trace Programs.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012

Concurrent Test Generation Using Concolic Multi-trace Analysis.
Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

2011
Reasoning about Threads with Bounded Lock Chains.
Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

2010
Scalable and precise program analysis at NEC.
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.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009
Semantic Reduction of Thread Interleavings in Concurrent Programs.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

Static data race detection for concurrent programs with asynchronous calls.
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.
Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, 2009

Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique.
Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008
Peephole Partial Order Reduction.
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.
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.
Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, 2008

2007
On the analysis of interacting pushdown systems.
Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

Fast and Accurate Static Data-Race Detection for Concurrent Programs.
Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006
An Automata-Theoretic Approach for Model Checking Threads for LTL Propert.
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.
Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005
Model Checking C Programs Using F-SOFT.
Proceedings of the 23rd International Conference on Computer Design (ICCD 2005), 2005

Reasoning About Threads Communicating via Locks.
Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004
Parameterized Model Checking of Ring-Based Message Passing Systems.
Proceedings of the Computer Science Logic, 18th International Workshop, 2004

2003
Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Model Checking Guarded Protocols.
Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003

Exact and Efficient Verification of Parameterized Cache Coherence Protocols.
Proceedings of the Correct Hardware Design and Verification Methods, 2003

2002
Model Checking Large-Scale and Parameterized Resource Allocation Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

2000
Reducing Model Checking of the Many to the Few.
Proceedings of the Automated Deduction, 2000


  Loading...