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 × Spain
2 × USA
Collaborated with:
N.Gupta X.Zhang R.Gupta J.Trimble S.Perianayagam S.K.Debray G.R.Andrews
Talks about:
code (2) use (2) precondit (1) weakest (1) compact (1) system (1) kernel (1) faulti (1) failur (1) locat (1)

Person: Haifeng He

DBLP DBLP: He:Haifeng

Contributed to:

CGO 20072007
ASE 20052005
FASE 20042004

Wrote 3 papers:

CGO-2007-HeTPDA #kernel #operating system
Code Compaction of an Operating System Kernel (HH, JT, SP, SKD, GRA), pp. 283–298.
ASE-2005-GuptaHZG #using
Locating faulty code using failure-inducing chops (NG, HH, XZ, RG), pp. 263–272.
FASE-2004-HeG #automation #debugging #using
Automated Debugging Using Path-Based Weakest Preconditions (HH, NG), pp. 267–280.

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.