dblp.uni-trier.dewww.uni-trier.de

Krishna K. Mehra Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)