Xi Wang
Xi Wang
Bestätigte E-Mail-Adresse bei cs.washington.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
2452015
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
2232009
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
2042008
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
1972008
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
1472013
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
1392011
Intrusion Recovery Using Selective Re-execution.
T Kim, X Wang, N Zeldovich, MF Kaashoek
OSDI, 89-104, 2010
1242010
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
1192012
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
1082011
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
922014
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
872012
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
802016
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
582017
API hyperlinking via structural overlap
F Long, X Wang, Y Cai
Proceedings of the 7th Joint meeting of the European Software Engineering …, 2009
582009
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
532017
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
522014
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
462016
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
322019
Hang analysis: Fighting responsiveness bugs
X Wang, Z Guo, X Liu, Z Xu, H Lin, X Wang, Z Zhang
ACM SIGOPS Operating Systems Review 42 (4), 177-190, 2008
292008
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
232018
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20