Follow
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
2742000
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
1482007
Reasoning about threads communicating via locks
V Kahlon, F Ivančić, A Gupta
International Conference on Computer Aided Verification, 505-518, 2005
1442005
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
1332009
Exact and efficient verification of parameterized cache coherence protocols
EA Emerson, V Kahlon
Advanced Research Working Conference on Correct Hardware Design and …, 2003
1302003
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
1242005
Peephole partial order reduction
C Wang, Z Yang, V Kahlon, A Gupta
International Conference on Tools and Algorithms for the Construction and …, 2008
1042008
Bootstrapping: a technique for scalable flow and context-sensitive pointer alias analysis
V Kahlon
ACM SIGPLAN Notices 43 (6), 249-259, 2008
1032008
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
962009
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
792010
Model checking guarded protocols
EA Emerson, V Kahlon
18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings …, 2003
712003
Parameterized model checking of ring-based message passing systems
EA Emerson, V Kahlon
International Workshop on Computer Science Logic, 325-339, 2004
692004
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
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
562006
On the analysis of interacting pushdown systems
V Kahlon, A Gupta
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2007
552007
System and method for generating error traces for concurrency bugs
V Kahlon, S Sankarnarayanan, A Gupta
US Patent 8,527,976, 2013
532013
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
442009
Boundedness vs. unboundedness of lock chains: Characterizing decidability of pairwise cfl-reachability for threads communicating via locks
V Kahlon
2009 24th Annual IEEE Symposium on Logic In Computer Science, 27-36, 2009
422009
Alias analysis for concurrent software programs
V Kahlon
US Patent App. 12/499,374, 2010
392010
The system can't perform the operation now. Try again later.
Articles 1–20