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: He:Haifeng
Contributed to:
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.