Haogang Chen

13 papers A* 5A 1Journal 1Unranked 5
YearRankTypeTitle / Venue / Authors
2017 J jnl
Certifying a file system using crash hoare logic: correctness in the presence of crashes.
Commun. ACM
Tej Chajed, Haogang Chen, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich, Daniel Ziegler
2017 A* conf
Verifying a high-performance crash-safe file system using a tree specification.
SOSP
Haogang Chen, Tej Chajed, Alex Konradi, Stephanie Wang, Atalay Mert Ileri, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich
2016 — —
Certifying a crash-safe file system.
Haogang Chen
2016 — conf
Using Crash Hoare Logic for Certifying the FSCQ File System.
USENIX ATC
Haogang Chen, Daniel Ziegler, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich
2015 A conf
Specifying Crash Safety for Storage Systems.
HotOS
Haogang Chen, Daniel Ziegler, Adam Chlipala, M. Frans Kaashoek, Eddie Kohler, Nickolai Zeldovich
2015 A* conf
Using Crash Hoare logic for certifying the FSCQ file system.
SOSP
Haogang Chen, Daniel Ziegler, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich
2014 A* conf
Identifying Information Disclosure in Web Applications with Retroactive Auditing.
OSDI
Haogang Chen, Taesoo Kim, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek
2014 — conf
Why does cryptographic software fail?: a case study and open problems.
APSys
David Lazar, Haogang Chen, Xi Wang, Nickolai Zeldovich
2013 — conf
Security bugs in embedded interpreters.
APSys
Haogang Chen, Cody Cutler, Taesoo Kim, Yandong Mao, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek
2012 A* conf
Improving Integer Security for Systems with KINT.
OSDI
Xi Wang, Haogang Chen, Zhihao Jia, Nickolai Zeldovich, M. Frans Kaashoek
2012 — conf
Undefined behavior: what happened to my code?
APSys
Xi Wang, Haogang Chen, Alvin Cheung, Zhihao Jia, Nickolai Zeldovich, M. Frans Kaashoek
2011 — conf
Linux kernel vulnerabilities: state-of-the-art defenses and open problems.
APSys
Haogang Chen, Yandong Mao, Xi Wang, Dong Zhou, Nickolai Zeldovich, M. Frans Kaashoek
2011 A* conf
Software fault isolation with API integrity and multi-principal modules.
SOSP
Yandong Mao, Haogang Chen, Dong Zhou, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek