Krishna K. Mehra

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

Coauthor Index

1	Trishul M. Chilimbi	[3] [4]
2	Sumit Gulwani	[3]
3	Sumit Kumar Jha	[2]
4	Shuvendu K. Lahiri	[1]
5	Ben Liblit	[4]
6	Aditya V. Nori	[4]
7	Sriram K. Rajamani	[2]
8	A. Prasad Sistla	[2]
9	Kapil Vaswani	[4]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page