BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Mehra:Krishna_K=

Contributed to:

ICSE 20092009
POPL 20092009
SEFM 20072007

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.