Vineet Kahlon
Vineet Kahlon
Google, New York.
Verified email at nec-labs.com
Title
Cited by
Cited by
Year
Reducing model checking of the many to the few
EA Emerson, V Kahlon
International conference on automated deduction, 236-254, 2000
2592000
Reasoning about threads communicating via locks
V Kahlon, F Ivančić, A Gupta
International Conference on Computer Aided Verification, 505-518, 2005
1402005
Fast and accurate static data-race detection for concurrent programs
V Kahlon, Y Yang, S Sankaranarayanan, A Gupta
International Conference on Computer Aided Verification, 226-239, 2007
1372007
Model checking C programs using F-Soft
F Ivancic, I Shlyakhter, A Gupta, MK Ganai, V Kahlon, C Wang, Z Yang
2005 International Conference on Computer Design, 297-308, 2005
1342005
Exact and efficient verification of parameterized cache coherence protocols
EA Emerson, V Kahlon
Advanced Research Working Conference on Correct Hardware Design and …, 2003
1262003
Monotonic partial order reduction: An optimal symbolic partial order reduction technique
V Kahlon, C Wang, A Gupta
International Conference on Computer Aided Verification, 398-413, 2009
1252009
Peephole partial order reduction
C Wang, Z Yang, V Kahlon, A Gupta
International Conference on Tools and Algorithms for the Construction and …, 2008
992008
Bootstrapping: a technique for scalable flow and context-sensitive pointer alias analysis
V Kahlon
ACM SIGPLAN Notices 43 (6), 249-259, 2008
982008
Static data race detection for concurrent programs with asynchronous calls
V Kahlon, N Sinha, E Kruus, Y Zhang
Proceedings of the 7th joint meeting of the European software engineering …, 2009
812009
Universal causality graphs: A precise happens-before model for detecting bugs in concurrent programs
V Kahlon, C Wang
International Conference on Computer Aided Verification, 434-449, 2010
762010
Parameterized model checking of ring-based message passing systems
EA Emerson, V Kahlon
International Workshop on Computer Science Logic, 325-339, 2004
652004
Model checking guarded protocols
EA Emerson, V Kahlon
18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings …, 2003
642003
Model checking large-scale and parameterized resource allocation systems
EA Emerson, V Kahlon
International Conference on Tools and Algorithms for the Construction and …, 2002
632002
On the analysis of interacting pushdown systems
V Kahlon, A Gupta
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2007
542007
Symbolic model checking of concurrent programs using partial orders and on-the-fly transactions
V Kahlon, A Gupta, N Sinha
International conference on computer aided verification, 286-299, 2006
512006
System and method for generating error traces for concurrency bugs
V Kahlon, S Sankarnarayanan, A Gupta
US Patent 8,527,976, 2013
482013
Rapid parameterized model checking of snoopy cache coherence protocols
EA Emerson, V Kahlon
International Conference on Tools and Algorithms for the Construction and …, 2003
472003
Semantic reduction of thread interleavings in concurrent programs
V Kahlon, S Sankaranarayanan, A Gupta
International Conference on Tools and Algorithms for the Construction and …, 2009
422009
Tractable dataflow analysis for concurrent programs via bounded languages
V Kahlon
US Patent App. 12/354,179, 2009
392009
Alias analysis for concurrent software programs
V Kahlon
US Patent App. 12/499,374, 2010
382010
The system can't perform the operation now. Try again later.
Articles 1–20