Krishna K. Mehra

Publication Activity (10 Years)

Years Active: 2007-2009
Publications (10 Years): 0

Publications

Sumit Gulwani, Krishna K. Mehra, Trishul M. Chilimbi
SPEED: precise and efficient static estimation of program computational complexity. POPL (2009)
Trishul M. Chilimbi, Ben Liblit, Krishna K. Mehra, Aditya V. Nori, Kapil Vaswani
HOLMES: Effective statistical debugging via efficient path profiling. ICSE (2009)
Krishna K. Mehra, Sriram K. Rajamani, A. Prasad Sistla, Sumit Kumar Jha
Verification of Object Relational Maps. SEFM (2007)
Shuvendu K. Lahiri, Krishna K. Mehra
Interpolant based Decision Procedure for Quantifier-Free Presburger Arithmetic. J. Satisf. Boolean Model. Comput. 1 (3-4) (2007)