Haogang Chen

hchen <at> csail  mit  edu
Room 32-G978,
32 Vassar Street,
Cambridge, MA 02139

I am a graduate student in the PDOS group at MIT CSAIL, working with Frans Kaashoek and Nickolai Zeldovich. Before joining MIT, I received my B.S. and M.S. degree in Computer Science from Peking University.

Papers

View my publication list on Google Scholar

• Using Crash Hoare Logic for Certifying the FSCQ File System
  Haogang Chen, Daniel Ziegler, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, and Nickolai Zeldovich.
  SOSP 2015
• Specifying crash safety for storage systems
  Haogang Chen, Daniel Ziegler, Adam Chlipala, M. Frans Kaashoek, Eddie Kohler, and Nickolai Zeldovich.
  HotOS 2015
• Identifying information disclosure in web applications with retroactive auditing
  Haogang Chen, Taesoo Kim, Xi Wang, Nickolai Zeldovich, and M. Frans Kaashoek.
  OSDI 2014
• Why does cryptographic software fail? A case study and open problems
  David Lazar, Haogang Chen, Xi Wang, and Nickolai Zeldovich.
  APSys 2014
• Security bugs in embedded interpreters
  Haogang Chen, Cody Cutler, Taesoo Kim, Yandong Mao, Xi Wang, Nickolai Zeldovich, and M. Frans Kaashoek.
  APSys 2013
• Improving integer security for systems with KINT
  Xi Wang, Haogang Chen, Zhihao Jia, Nickolai Zeldovich, and M. Frans Kaashoek.
  OSDI 2012
• Undefined behavior: What happened to my code?
  Xi Wang, Haogang Chen, Alvin Cheung, Zhihao Jia, Nickolai Zeldovich, and M. Frans Kaashoek.
  APSys 2012
• Software fault isolation with API integrity and multi-principal modules
  Yandong Mao, Haogang Chen, Dong Zhou, Xi Wang, Nickolai Zeldovich, and M. Frans Kaashoek.
  SOSP 2011
• Linux kernel vulnerabilities: State-of-the-art defenses and open problems
  Haogang Chen, Yandong Mao, Xi Wang, Dong Zhou, Nickolai Zeldovich, and M. Frans Kaashoek.
  APSys 2011