Hao-Gang Chen

Most-cited papers

Using Crash Hoare logic for certifying the FSCQ file system
Hao-Gang Chen, Daniel Ziegler, Tej Chajed, A. Chlipala +2 more
2015USENIX Annual Technical Conference312 citations Open access
Semantic Scholar
Linux kernel vulnerabilities: state-of-the-art defenses and open problems
Hao-Gang Chen, Yan-Dong Mao, Xi Wang, Dong Zhou +2 more
2011Asia Pacific Workshop on Systems192 citations Open access
Semantic Scholar
Why does cryptographic software fail?: a case study and open problems
David Lazar, Hao-Gang Chen, Xi Wang, N. Zeldovich
2014Asia Pacific Workshop on Systems148 citations
Semantic Scholar
Software fault isolation with API integrity and multi-principal modules
Yan-Dong Mao, Hao-Gang Chen, Dong Zhou, Xi Wang +2 more
2011Symposium on Operating Systems Principles132 citations Open access
Semantic Scholar
Usenix Association 10th Usenix Symposium on Operating Systems Design and Implementation (osdi '12) 163 Improving Integer Security for Systems with Kint
Xi Wang, Hao-Gang Chen, Zhi-Hao Jia, N. Zeldovich +2 more
123 citations
Semantic Scholar
Live and incremental whole-system migration of virtual machines using block-bitmap
Ying-Wei Luo, Binbin Zhang, Xiaolin Wang, Zhen-Lin Wang +2 more
2008IEEE International Conference on Cluster Computing122 citations
Semantic Scholar
Undefined behavior: what happened to my code?
Xi Wang, Hao-Gang Chen, Alvin Cheung, Zhi-Hao Jia +2 more
2012Asia Pacific Workshop on Systems97 citations Open access
Semantic Scholar
Verifying a high-performance crash-safe file system using a tree specification
Hao-Gang Chen, Tej Chajed, Alex Konradi, Stephanie Wang +4 more
2017Symposium on Operating Systems Principles79 citations Open access
Semantic Scholar
A Simple Cache Partitioning Approach in a Virtualized Environment
Xinxin Jin, Hao-Gang Chen, Xiaolin Wang, Zhen-Lin Wang +3 more
20092009 IEEE International Symposium on Parallel and Distributed Processing with Applications51 citations
Semantic Scholar
Specifying Crash Safety for Storage Systems
Hao-Gang Chen, Daniel Ziegler, A. Chlipala, M. F. Kaashoek +2 more
2015USENIX Workshop on Hot Topics in Operating Systems31 citations
Semantic Scholar
Fast Live Cloning of Virtual Machine Based on Xen
Yi-Feng Sun, Ying-Wei Luo, Xiaolin Wang, Zhen-Lin Wang +3 more
2009IEEE International Conference on High Performance Computing and Communications27 citations
Semantic Scholar
Certifying a file system using crash hoare logic
Tej Chajed, Hao-Gang Chen, A. Chlipala, M. F. Kaashoek +2 more
2017Communications of the ACM15 citations Open access
Semantic Scholar
Identifying Information Disclosure in Web Applications with Retroactive Auditing
Hao-Gang Chen, Taesoo Kim, Xi Wang, N. Zeldovich +1 more
2014USENIX Symposium on Operating Systems Design and Implementation13 citations
Semantic Scholar
Security bugs in embedded interpreters
Hao-Gang Chen, Cody Cutler, Taesoo Kim, Yan-Dong Mao +3 more
2013Asia Pacific Workshop on Systems13 citations Open access
Semantic Scholar
A Transparent Remote Paging Model for Virtual Machines
Hao-Gang Chen, Ying-Wei Luo, Xiaolin Wang, Binbin Zhang +2 more
200813 citations
Semantic Scholar
DMM: A dynamic memory mapping model for virtual machines
Hao-Gang Chen, Xiaolin Wang, Zhen-Lin Wang, Binbin Zhang +2 more
2010Science China Information Sciences11 citations
Semantic Scholar
Dynamic memory paravirtualization transparent to guest OS
Xiaolin Wang, Yi-Feng Sun, Ying-Wei Luo, Zhen-Lin Wang +4 more
2010Science in China Series F Information Sciences9 citations
Semantic Scholar
An Efficient Method for Real-Time Ocean Simulation
Hao-Gang Chen, Qi-Cheng Li, Guoping Wang, Feng Zhou +2 more
2007International Conference on E-learning and Games7 citations
Semantic Scholar
Certifying a crash-safe file system
Hao-Gang Chen
20165 citations
Semantic Scholar
REMOCA: Hypervisor Remote Disk Cache
Hao-Gang Chen, Xiaolin Wang, Zhen-Lin Wang, Xiang Wen +3 more
20092009 IEEE International Symposium on Parallel and Distributed Processing with Applications5 citations
Semantic Scholar
Detecting and Analyzing VM-exits
Xiaolin Wang, Binbin Zhang, Hao-Gang Chen, Xinxin Jin +3 more
20102010 10th IEEE International Conference on Computer and Information Technology3 citations
Semantic Scholar
Building a file system with FSCQ infrastructure
Hao-Gang Chen
20151 citations
Semantic Scholar
Certifying a Crash-safe File System by Haogang
Hao-Gang Chen, Cody Cutler, Jon Gjengset, C. Hawblitzel +19 more
20160 citations
Semantic Scholar