| Using Crash Hoare Logic for Certifying the FSCQ File System H Chen, D Ziegler, A Chlipala, MF Kaashoek, N Zeldovich Proceedings of the 25th ACM Symposium on Operating Systems Principles (SOSP), 2015 | 337 | 2015 |
| Linux kernel vulnerabilities: State-of-the-art defenses and open problems H Chen, Y Mao, X Wang, D Zhou, N Zeldovich, MF Kaashoek Proceedings of the Second Asia-Pacific Workshop on Systems, 1-5, 2011 | 228 | 2011 |
| Why does cryptographic software fail? A case study and open problems D Lazar, H Chen, X Wang, N Zeldovich Proceedings of 5th Asia-Pacific Workshop on Systems, 1-7, 2014 | 184 | 2014 |
| Live and incremental whole-system migration of virtual machines using block-bitmap Y Luo, B Zhang, X Wang, Z Wang, Y Sun, H Chen 2008 IEEE International Conference on Cluster Computing, 99-106, 2008 | 184 | 2008 |
| Improving integer security for systems with {KINT} X Wang, H Chen, Z Jia, N Zeldovich, MF Kaashoek 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2012 | 164 | 2012 |
| Software fault isolation with API integrity and multi-principal modules Y Mao, H Chen, D Zhou, X Wang, N Zeldovich, MF Kaashoek Proceedings of the Twenty-Third ACM Symposium on Operating Systems …, 2011 | 157 | 2011 |
| Undefined behavior: what happened to my code? X Wang, H Chen, A Cheung, Z Jia, N Zeldovich, MF Kaashoek Proceedings of the Asia-Pacific Workshop on Systems, 1-7, 2012 | 134 | 2012 |
| Verifying a high-performance crash-safe file system using a tree specification H Chen, T Chajed, A Konradi, S Wang, A İleri, A Chlipala, MF Kaashoek, ... Proceedings of the 26th Symposium on Operating Systems Principles, 270-286, 2017 | 88 | 2017 |
| A simple cache partitioning approach in a virtualized environment X Jin, H Chen, X Wang, Z Wang, X Wen, Y Luo, X Li 2009 IEEE International Symposium on Parallel and Distributed Processing …, 2009 | 81 | 2009 |
| Fast live cloning of virtual machine based on xen Y Sun, Y Luo, X Wang, Z Wang, B Zhang, H Chen, X Li 2009 11th IEEE International Conference on High Performance Computing and …, 2009 | 36 | 2009 |
| Specifying Crash Safety for Storage Systems H Chen, D Ziegler, A Chlipala, MF Kaashoek, E Kohler, N Zeldovich Proceedings of the 15th Workshop on Hot Topics in Operating Systems …, 2015 | 25 | 2015 |
| A transparent remote paging model for virtual machines H Chen, Y Luo, X Wang, B Zhang, Y Sun, Z Wang International Workshop on Virtualization Technology, 2008 | 21 | 2008 |
| Certifying a file system using crash hoare logic: correctness in the presence of crashes T Chajed, H Chen, A Chlipala, MF Kaashoek, N Zeldovich, D Ziegler Communications of the ACM 60 (4), 75-84, 2017 | 17 | 2017 |
| Security bugs in embedded interpreters H Chen, C Cutler, T Kim, Y Mao, X Wang, N Zeldovich, Kaashoek, Frans Proceedings of the Second Asia-Pacific Workshop on Systems, 2013 | 16 | 2013 |
| Identifying information disclosure in web applications with retroactive auditing H Chen, T Kim, X Wang, N Zeldovich, F Kaashoek Proceedings of the 11th USENIX conference on Operating Systems Design and …, 2014 | 14 | 2014 |
| REMOCA: Hypervisor Remote Disk Cache H Chen, X Wang, Z Wang, X Wen, X Jin, Y Luo, L X. IEEE International Symposium on Parallel and Distributed Processing with …, 2009 | 11 | 2009 |
| Detecting and Analyzing VM-exits X Wang, B Zhang, H Chen, X Jin, Y Luo, X Li, Z Wang 2010 10th IEEE International Conference on Computer and Information …, 2010 | 7 | 2010 |
| Improving integer security for systems X Wang, H Chen, Z Jia, N Zeldovich, MF Kaashoek Proceedings of the 10th Symposium on Operating Systems Design and …, 2012 | 3 | 2012 |
Nickolai ZeldovichMITVerified email at csail.mit.edu
