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
3912015
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
2492009
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
2342008
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
2142008
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
2082011
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
1912013
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
1672014
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
1582012
Intrusion Recovery Using Selective Re-execution.
T Kim, X Wang, N Zeldovich, MF Kaashoek
OSDI, 89-104, 2010
1562010
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
1432011
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
1392016
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
1342017
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
1262012
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
1112019
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
952017
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
862016
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
832014
API hyperlinking via structural overlap
F Long, X Wang, Y Cai
Proceedings of the 7th Joint meeting of the European Software Engineering …, 2009
632009
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
582018
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
452020
The system can't perform the operation now. Try again later.
Articles 1–20