Haogang Chen

According to our database, Haogang Chen authored at least 12 papers between 2011 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2017

Certifying a file system using crash hoare logic: correctness in the presence of crashes.

Tej Chajed, Haogang Chen, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich, Daniel Ziegler

Commun. ACM, 2017

Verifying a high-performance crash-safe file system using a tree specification.

Haogang Chen, Tej Chajed, Alex Konradi, Stephanie Wang, Atalay Mert Ileri, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich

Proceedings of the 26th Symposium on Operating Systems Principles, 2017

2016

Certifying a crash-safe file system.

Haogang Chen

PhD thesis, 2016

Using Crash Hoare Logic for Certifying the FSCQ File System.

Haogang Chen, Daniel Ziegler, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich

Proceedings of the 2016 USENIX Annual Technical Conference, 2016

2015

Specifying Crash Safety for Storage Systems.

Haogang Chen, Daniel Ziegler, Adam Chlipala, M. Frans Kaashoek, Eddie Kohler, Nickolai Zeldovich

Proceedings of the 15th Workshop on Hot Topics in Operating Systems, 2015

2014

Identifying Information Disclosure in Web Applications with Retroactive Auditing.

Haogang Chen, Taesoo Kim, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek

Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014

Why does cryptographic software fail?: a case study and open problems.

David Lazar, Haogang Chen, Xi Wang, Nickolai Zeldovich

Proceedings of the Asia-Pacific Workshop on Systems, 2014

2013

Security bugs in embedded interpreters.

Haogang Chen, Cody Cutler, Taesoo Kim, Yandong Mao, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek

Proceedings of the Asia-Pacific Workshop on Systems, 2013

2012

Improving Integer Security for Systems with KINT.

Xi Wang, Haogang Chen, Zhihao Jia, Nickolai Zeldovich, M. Frans Kaashoek

Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation, 2012

Undefined behavior: what happened to my code?

Xi Wang, Haogang Chen, Alvin Cheung, Zhihao Jia, Nickolai Zeldovich, M. Frans Kaashoek

Proceedings of the Asia-Pacific Workshop on Systems, 2012

2011

Software fault isolation with API integrity and multi-principal modules.

Yandong Mao, Haogang Chen, Dong Zhou, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek

Proceedings of the 23rd ACM Symposium on Operating Systems Principles 2011, 2011

Linux kernel vulnerabilities: state-of-the-art defenses and open problems.

Haogang Chen, Yandong Mao, Xi Wang, Dong Zhou, Nickolai Zeldovich, M. Frans Kaashoek

Proceedings of the APSys '11 Asia Pacific Workshop on Systems, 2011