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
2 × USA
Collaborated with:
S.Tang S.T.King E.Pek H.Xue S.T.King P.Madhusudan D.Yuan W.Xiong L.Tan Y.Zhou S.Pasupathy
Talks about:
log (2) diagnosi (1) protect (1) illinoi (1) express (1) connect (1) browser (1) verifi (1) system (1) invari (1)

Person: Haohui Mai

DBLP DBLP: Mai:Haohui

Contributed to:

ASPLOS 20132013
ASPLOS 20102010
OSDI 20102010

Wrote 3 papers:

ASPLOS-2013-MaiPXKM #invariant #security #verification
Verifying security invariants in ExpressOS (HM, EP, HX, STK, PM), pp. 293–304.
ASPLOS-2010-YuanMXTZP #fault #named #runtime
SherLog: error diagnosis by connecting clues from run-time logs (DY, HM, WX, LT, YZ, SP), pp. 143–154.
OSDI-2010-TangMK #operating system #trust
Trust and Protection in the Illinois Browser Operating System (ST, HM, STK), pp. 17–32.

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.