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 × Portugal
3 × USA
Collaborated with:
M.F.Kaashoek N.Zeldovich X.Wang T.Kim Z.Jia D.Ziegler T.Chajed A.Chlipala Y.Mao D.Zhou
Talks about:
system (2) disclosur (1) retroact (1) identifi (1) softwar (1) princip (1) certifi (1) integr (1) inform (1) improv (1)

Person: Haogang Chen

DBLP DBLP: Chen:Haogang

Contributed to:

SOSP 20152015
OSDI 20142014
OSDI 20122012
SOSP 20112011

Wrote 4 papers:

SOSP-2015-ChenZCCKZ #file system #hoare #logic #using
Using Crash Hoare logic for certifying the FSCQ file system (HC, DZ, TC, AC, MFK, NZ), pp. 18–37.
OSDI-2014-ChenKWZK #identification #web
Identifying Information Disclosure in Web Applications with Retroactive Auditing (HC, TK, XW, NZ, MFK), pp. 555–569.
OSDI-2012-WangCJZK #integer #security
Improving Integer Security for Systems with KINT (XW, HC, ZJ, NZ, MFK), pp. 163–177.
SOSP-2011-MaoCZWZK #api #fault #multi
Software fault isolation with API integrity and multi-principal modules (YM, HC, DZ, XW, NZ, MFK), pp. 115–128.

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.