| |
| 2009 | ||
|---|---|---|
| 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) |
| 1 | Trishul M. Chilimbi | [3] |
| 2 | Sumit Gulwani | [3] |
| 3 | Sumit Kumar Jha | [2] |
| 4 | Shuvendu K. Lahiri | [1] |
| 5 | Sriram K. Rajamani | [2] |
| 6 | A. Prasad Sistla | [2] |