Krishna K. Mehra
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2007–2009
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | ICSE | HOLMES: Effective statistical debugging via efficient path profiling. | Trishul M. Chilimbi, Ben Liblit, Krishna K. Mehra, Aditya V. Nori, Kapil Vaswani |
| 2009 | POPL | SPEED: precise and efficient static estimation of program computational complexity. | Sumit Gulwani, Krishna K. Mehra, Trishul M. Chilimbi |
| 2007 | SEFM | Verification of Object Relational Maps. | Krishna K. Mehra, Sriram K. Rajamani, A. Prasad Sistla, Sumit Kumar Jha |