| Verdi: A framework for implementing and formally verifying distributed systems JR Wilcox, D Woos, P Panchekha, Z Tatlock, X Wang, MD Ernst, ... Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015 | 426 | 2015 |
| Improving application security with data flow assertions A Yip, X Wang, N Zeldovich, MF Kaashoek Proceedings of the ACM SIGOPS 22nd Symposium on Operating Systems Principles …, 2009 | 256 | 2009 |
| R2: An application-level kernel for record and replay Z Guo, X Wang, J Tang, X Liu, Z Xu, M Wu, MF Kaashoek, Z Zhang Proceedings of the 8th USENIX conference on Operating Systems Design and …, 2008 | 241 | 2008 |
| 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 | 223 | 2011 |
| D3S: Debugging Deployed Distributed Systems. X Liu, Z Guo, X Wang, F Chen, X Lian, J Tang, M Wu, MF Kaashoek, ... NSDI 8, 423-437, 2008 | 215 | 2008 |
| Towards optimization-safe systems: analyzing the impact of undefined behavior X Wang, N Zeldovich, MF Kaashoek, A Solar-Lezama Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems …, 2013 | 200 | 2013 |
| 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 | 176 | 2014 |
| Improving integer security for systems with KINT X Wang, H Chen, Z Jia, N Zeldovich, MF Kaashoek Presented as part of the 10th USENIX Symposium on Operating Systems Design …, 2012 | 162 | 2012 |
| Intrusion Recovery Using Selective Re-execution. T Kim, X Wang, N Zeldovich, MF Kaashoek OSDI, 89-104, 2010 | 162 | 2010 |
| 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 | 155 | 2011 |
| Push-Button Verification of File Systems via Crash Refinement H Sigurbjarnarson, J Bornholt, E Torlak, X Wang 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16), 2016 | 153 | 2016 |
| Hyperkernel: Push-Button Verification of an OS Kernel L Nelson, H Sigurbjarnarson, K Zhang, D Johnson, J Bornholt, E Torlak, ... Proceedings of the 26th Symposium on Operating Systems Principles, 252-269, 2017 | 146 | 2017 |
| 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 | 130 | 2012 |
| Scaling symbolic evaluation for automated verification of systems code with Serval L Nelson, J Bornholt, R Gu, A Baumann, E Torlak, X Wang Proceedings of the 27th ACM Symposium on Operating Systems Principles (SOSP …, 2019 | 126 | 2019 |
| An Empirical Study on the Correctness of Formally Verified Distributed Systems P Fonseca, K Zhang, X Wang, A Krishnamurthy Proceedings of the Twelfth European Conference on Computer Systems, 328-343, 2017 | 101 | 2017 |
| Specifying and checking file system crash-consistency models J Bornholt, A Kaufmann, J Li, A Krishnamurthy, E Torlak, X Wang Proceedings of the Twenty-First International Conference on Architectural …, 2016 | 93 | 2016 |
| Jitk: A trustworthy in-kernel interpreter infrastructure X Wang, D Lazar, N Zeldovich, A Chlipala, Z Tatlock 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2014 | 89 | 2014 |
| Nickel: A Framework for Design and Verification of Information Flow Control Systems H Sigurbjarnarson, L Nelson, B Castro-Karney, J Bornholt, E Torlak, ... Proceedings of the 13th USENIX Symposium on Operating Systems Design and …, 2018 | 71 | 2018 |
| API hyperlinking via structural overlap F Long, X Wang, Y Cai Proceedings of the 7th Joint meeting of the European Software Engineering …, 2009 | 64 | 2009 |
| Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernel L Nelson, J Van Geffen, E Torlak, X Wang 14th USENIX Symposium on Operating Systems Design and Implementation, 41-61, 2020 | 59 | 2020 |
