Krishna K. Mehra

According to our database, Krishna K. Mehra authored at least 5 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

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

2009

SPEED: precise and efficient static estimation of program computational complexity.

Sumit Gulwani, Krishna K. Mehra, Trishul M. Chilimbi

Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

HOLMES: Effective statistical debugging via efficient path profiling.

Trishul M. Chilimbi, Ben Liblit, Krishna K. Mehra, Aditya V. Nori, Kapil Vaswani

Proceedings of the 31st International Conference on Software Engineering, 2009

2007

Interpolant based Decision Procedure for Quantifier-Free Presburger Arithmetic.

Shuvendu K. Lahiri, Krishna K. Mehra

J. Satisf. Boolean Model. Comput., 2007

Verification of Object Relational Maps.

Krishna K. Mehra, Sriram K. Rajamani, A. Prasad Sistla, Sumit Kumar Jha

Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007