Haogang Chen

Publication Activity (10 Years)

Years Active: 2011-2017
Publications (10 Years): 3

Top Venues

APSys

SOSP

OSDI

USENIX Annual Technical Conference

Massachusetts Institute of Technology, Cambridge, USA (PHD)

Education History

Massachusetts Institute of Technology, Cambridge, USA

PHD

Publications

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

Haogang Chen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Haogang Chen