Login / Signup
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)