Follow
Xi Wang
Xi Wang
Verified email at cs.washington.edu - Homepage
Title
Cited by
Cited by
Year
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
4352015
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
2592009
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
2412008
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
2282011
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
2182008
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
2022013
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
1842014
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
1642012
Intrusion Recovery Using Selective Re-execution.
T Kim, X Wang, N Zeldovich, MF Kaashoek
OSDI, 89-104, 2010
1632010
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
1582016
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
1572011
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
1482017
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
1342019
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
1342012
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
1032017
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
952016
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
922014
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
722018
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
652020
API hyperlinking via structural overlap
F Long, X Wang, Y Cai
Proceedings of the 7th Joint meeting of the European Software Engineering …, 2009
642009
The system can't perform the operation now. Try again later.
Articles 1–20