| Reducing model checking of the many to the few EA Emerson, V Kahlon International conference on automated deduction, 236-254, 2000 | 306 | 2000 |
| Fast and accurate static data-race detection for concurrent programs V Kahlon, Y Yang, S Sankaranarayanan, A Gupta Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007 | 169 | 2007 |
| Reasoning about threads communicating via locks V Kahlon, F Ivančić, A Gupta Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005 | 145 | 2005 |
| Monotonic partial order reduction: An optimal symbolic partial order reduction technique V Kahlon, C Wang, A Gupta Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009 | 141 | 2009 |
| Exact and efficient verification of parameterized cache coherence protocols EA Emerson, V Kahlon Advanced Research Working Conference on Correct Hardware Design and …, 2003 | 135 | 2003 |
| 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 | 133 | 2005 |
| 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 | 115 | 2009 |
| Peephole partial order reduction C Wang, Z Yang, V Kahlon, A Gupta International Conference on Tools and Algorithms for the Construction and …, 2008 | 111 | 2008 |
| Bootstrapping: a technique for scalable flow and context-sensitive pointer alias analysis V Kahlon ACM SIGPLAN Notices 43 (6), 249-259, 2008 | 110 | 2008 |
| Universal causality graphs: A precise happens-before model for detecting bugs in concurrent programs V Kahlon, C Wang Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010 | 81 | 2010 |
| Model checking guarded protocols EA Emerson, V Kahlon 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings …, 2003 | 80 | 2003 |
| Parameterized model checking of ring-based message passing systems EA Emerson, V Kahlon International Workshop on Computer Science Logic, 325-339, 2004 | 74 | 2004 |
| Model checking large-scale and parameterized resource allocation systems EA Emerson, V Kahlon International Conference on Tools and Algorithms for the Construction and …, 2002 | 68 | 2002 |
| Symbolic model checking of concurrent programs using partial orders and on-the-fly transactions V Kahlon, A Gupta, N Sinha Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006 | 56 | 2006 |
| System and method for generating error traces for concurrency bugs V Kahlon, S Sankarnarayanan, A Gupta US Patent 8,527,976, 2013 | 54 | 2013 |
| On the analysis of interacting pushdown systems V Kahlon, A Gupta Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2007 | 52 | 2007 |
| Rapid parameterized model checking of snoopy cache coherence protocols EA Emerson, V Kahlon International Conference on Tools and Algorithms for the Construction and …, 2003 | 48 | 2003 |
| 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 | 46 | 2009 |
| Semantic reduction of thread interleavings in concurrent programs V Kahlon, S Sankaranarayanan, A Gupta Tools and Algorithms for the Construction and Analysis of Systems: 15th …, 2009 | 43 | 2009 |
| Alias analysis for concurrent software programs V Kahlon US Patent App. 12/499,374, 2010 | 39 | 2010 |
