Verification of Object Relational Maps. - Krishna K. Mehra; Sriram K. Rajamani; A. Prasad Sistla; Sumit Kumar Jha 001 (SEFM, 2007)

Interpolant based Decision Procedure for Quantifier-Free Presburger Arithmetic. - Shuvendu K. Lahiri; Krishna K. Mehra (J. Satisf. Boolean Model. Comput., 2007)

HOLMES: Effective statistical debugging via efficient path profiling. - Trishul M. Chilimbi; Ben Liblit; Krishna K. Mehra; Aditya V. Nori; Kapil Vaswani (ICSE, 2009)

SPEED: precise and efficient static estimation of program computational complexity. - Sumit Gulwani; Krishna K. Mehra; Trishul M. Chilimbi (POPL, 2009)

STACKFEED: Structured Textual Actor-Critic Knowledge Base Editing with FeedBack. - Naman Gupta; Shashank Kirtania; Priyanshu Gupta; Krishna K. Mehra; Sumit Gulwani; Arun Iyer; Suresh Parthasarathy; Arjun Radhakrishna; Sriram K. Rajamani; Gustavo Soares (CoRR, 2024)