| * | 2009 |
|---|
| 4 | EE | Trishul M. Chilimbi,
Ben Liblit,
Krishna K. Mehra,
Aditya V. Nori,
Kapil Vaswani:
HOLMES: Effective statistical debugging via efficient path profiling.
ICSE 2009: 34-44 |
| 3 | EE | Sumit Gulwani,
Krishna K. Mehra,
Trishul M. Chilimbi:
SPEED: precise and efficient static estimation of program computational complexity.
POPL 2009: 127-139 |
| 2007 |
|---|
| 2 | EE | Krishna K. Mehra,
Sriram K. Rajamani,
A. Prasad Sistla,
Sumit Kumar Jha:
Verification of Object Relational Maps.
SEFM 2007: 283-292 |
| 1 | EE | Shuvendu K. Lahiri,
Krishna K. Mehra:
Interpolant based Decision Procedure for Quantifier-Free Presburger Arithmetic.
JSAT 1(3-4): 187-207 (2007) |
