| 2009 |
|---|
| 15 | EE | Vineet Kahlon,
Sriram Sankaranarayanan,
Aarti Gupta:
Semantic Reduction of Thread Interleavings in Concurrent Programs.
TACAS 2009: 124-138 |
| 2008 |
|---|
| 14 | EE | Vineet Kahlon:
Parameterization as Abstraction: A Tractable Approach to the Dataflow Analysis of Concurrent Programs.
LICS 2008: 181-192 |
| 13 | EE | Vineet Kahlon:
Bootstrapping: a technique for scalable flow and context-sensitive pointer alias analysis.
PLDI 2008: 249-259 |
| 12 | EE | Chao Wang,
Zijiang Yang,
Vineet Kahlon,
Aarti Gupta:
Peephole Partial Order Reduction.
TACAS 2008: 382-396 |
| 2007 |
|---|
| 11 | EE | Vineet Kahlon,
Yu Yang,
Sriram Sankaranarayanan,
Aarti Gupta:
Fast and Accurate Static Data-Race Detection for Concurrent Programs.
CAV 2007: 226-239 |
| 10 | EE | Vineet Kahlon,
Aarti Gupta:
On the analysis of interacting pushdown systems.
POPL 2007: 303-314 |
| 2006 |
|---|
| 9 | EE | Vineet Kahlon,
Aarti Gupta,
Nishant Sinha:
Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions.
CAV 2006: 286-299 |
| 8 | EE | Vineet Kahlon,
Aarti Gupta:
An Automata-Theoretic Approach for Model Checking Threads for LTL Propert.
LICS 2006: 101-110 |
| 2005 |
|---|
| 7 | EE | Vineet Kahlon,
Franjo Ivancic,
Aarti Gupta:
Reasoning About Threads Communicating via Locks.
CAV 2005: 505-518 |
| 2004 |
|---|
| 6 | EE | E. Allen Emerson,
Vineet Kahlon:
Parameterized Model Checking of Ring-Based Message Passing Systems.
CSL 2004: 325-339 |
| 2003 |
|---|
| 5 | EE | E. Allen Emerson,
Vineet Kahlon:
Exact and Efficient Verification of Parameterized Cache Coherence Protocols.
CHARME 2003: 247-262 |
| 4 | EE | E. Allen Emerson,
Vineet Kahlon:
Model Checking Guarded Protocols.
LICS 2003: 361-370 |
| 3 | EE | E. Allen Emerson,
Vineet Kahlon:
Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols.
TACAS 2003: 144-159 |
| 2002 |
|---|
| 2 | EE | E. Allen Emerson,
Vineet Kahlon:
Model Checking Large-Scale and Parameterized Resource Allocation Systems.
TACAS 2002: 251-265 |
| 2000 |
|---|
| 1 | | E. Allen Emerson,
Vineet Kahlon:
Reducing Model Checking of the Many to the Few.
CADE 2000: 236-254 |
