Travelled to:1 × Canada
1 × USA
1 × United Kingdom
Collaborated with:T.M.Chilimbi S.Gulwani S.K.Rajamani A.P.Sistla S.K.Jha B.Liblit A.V.Nori K.Vaswani
Talks about:effici (2) statist (1) program (1) complex (1) static (1) profil (1) precis (1) object (1) effect (1) comput (1)
Person: Krishna K. Mehra
DBLP: Mehra:Krishna_K=
Contributed to:
2009
2009
2007Wrote 3 papers:
- ICSE-2009-ChilimbiLMNV #debugging #effectiveness #named #performance #profiling #statistics
- HOLMES: Effective statistical debugging via efficient path profiling (TMC, BL, KKM, AVN, KV), pp. 34–44.
- POPL-2009-GulwaniMC #complexity #estimation #named #performance #precise
- SPEED: precise and efficient static estimation of program computational complexity (SG, KKM, TMC), pp. 127–139.
- SEFM-2007-MehraRSJ #relational #verification
- Verification of Object Relational Maps (KKM, SKR, APS, SKJ), pp. 283–292.