Xi Wang

According to our database, Xi Wang authored at least 40 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Synthesis-Aided Crash Consistency for Storage Systems.

Jacob Van Geffen, Xi Wang, Emina Torlak, James Bornholt

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022

A formal foundation for symbolic evaluation with merging.

Sorawee Porncharoenwase, Luke Nelson, Xi Wang, Emina Torlak

Proc. ACM Program. Lang., 2022

Project Co-Art: Improving Children's Imagination Through AI-based Human-Computer Co-creation.

Zuyu Shen, Yinzhu Piao, Cong Tan, Ruikai Lin, Xu Zhao, Xi Wang

Proceedings of the IEEE Smartworld, 2022

2020

Noninterference specifications for secure systems.

Luke Nelson, James Bornholt, Arvind Krishnamurthy, Emina Torlak, Xi Wang

ACM SIGOPS Oper. Syst. Rev., 2020

Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernel.

Luke Nelson, Jacob Van Geffen, Emina Torlak, Xi Wang

Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020

Automated Verification of Customizable Middlebox Properties with Gravel.

Kaiyuan Zhang, Danyang Zhuo, Aditya Akella, Arvind Krishnamurthy, Xi Wang

Proceedings of the 17th USENIX Symposium on Networked Systems Design and Implementation, 2020

Synthesizing JIT Compilers for In-Kernel DSLs.

Jacob Van Geffen, Luke Nelson, Isil Dillig, Xi Wang, Emina Torlak

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Scaling symbolic evaluation for automated verification of systems code with Serval.

Luke Nelson, James Bornholt, Ronghui Gu, Andrew Baumann, Emina Torlak, Xi Wang

Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

2018

Nickel: A Framework for Design and Verification of Information Flow Control Systems.

Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, Xi Wang

Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation, 2018

MultiNyx: a multi-level abstraction framework for systematic analysis of hypervisors.

Pedro Fonseca, Xi Wang, Arvind Krishnamurthy

Proceedings of the Thirteenth EuroSys Conference, 2018

2017

Hyperkernel: Push-Button Verification of an OS Kernel.

Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, Xi Wang

Proceedings of the 26th Symposium on Operating Systems Principles, 2017

Customizing Progressive JPEG for Efficient Image Storage.

Eddie Q. Yan, Kaiyuan Zhang, Xi Wang, Karin Strauss, Luis Ceze

Proceedings of the 9th USENIX Workshop on Hot Topics in Storage and File Systems, 2017

An Empirical Study on the Correctness of Formally Verified Distributed Systems.

Pedro Fonseca, Kaiyuan Zhang, Xi Wang, Arvind Krishnamurthy

Proceedings of the Twelfth European Conference on Computer Systems, 2017

2016

Push-Button Verification of File Systems via Crash Refinement.

Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang

Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016

Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers.

Stuart Pernsteiner, Calvin Loncaric, Emina Torlak, Zachary Tatlock, Xi Wang, Michael D. Ernst, Jonathan Jacky

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

Specifying and Checking File System Crash-Consistency Models.

James Bornholt, Antoine Kaufmann, Jialin Li, Arvind Krishnamurthy, Emina Torlak, Xi Wang

Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016

2015

A Differential Approach to Undefined Behavior Detection.

Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, Armando Solar-Lezama

ACM Trans. Comput. Syst., 2015

Toward a Dependability Case Language and Workflow for a Radiation Therapy System.

Michael D. Ernst, Dan Grossman, Jon Jacky, Calvin Loncaric, Stuart Pernsteiner, Zachary Tatlock, Emina Torlak, Xi Wang

Proceedings of the 1st Summit on Advances in Programming Languages, 2015

Verdi: a framework for implementing and formally verifying distributed systems.

James R. Wilcox, Doug Woos, Pavel Panchekha, Zachary Tatlock, Xi Wang, Michael D. Ernst, Thomas E. Anderson

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

2014

A differential approach to undefined behavior detection.

Xi Wang

PhD thesis, 2014

Jitk: A Trustworthy In-Kernel Interpreter Infrastructure.

Xi Wang, David Lazar, Nickolai Zeldovich, Adam Chlipala, Zachary Tatlock

Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014

Identifying Information Disclosure in Web Applications with Retroactive Auditing.

Haogang Chen, Taesoo Kim, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek

Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014

Cybertron: pushing the limit on I/O reduction in data-parallel programs.

Tian Xiao, Zhenyu Guo, Hucheng Zhou, Jiaxing Zhang, Xu Zhao, Chencheng Ye, Xi Wang, Wei Lin, Wenguang Chen, Lidong Zhou

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Why does cryptographic software fail?: a case study and open problems.

David Lazar, Haogang Chen, Xi Wang, Nickolai Zeldovich

Proceedings of the Asia-Pacific Workshop on Systems, 2014

2013

Towards optimization-safe systems: analyzing the impact of undefined behavior.

Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, Armando Solar-Lezama

Proceedings of the ACM SIGOPS 24th Symposium on Operating Systems Principles, 2013

Security bugs in embedded interpreters.

Haogang Chen, Cody Cutler, Taesoo Kim, Yandong Mao, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek

Proceedings of the Asia-Pacific Workshop on Systems, 2013

2012

Improving Integer Security for Systems with KINT.

Xi Wang, Haogang Chen, Zhihao Jia, Nickolai Zeldovich, M. Frans Kaashoek

Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation, 2012

Undefined behavior: what happened to my code?

Xi Wang, Haogang Chen, Alvin Cheung, Zhihao Jia, Nickolai Zeldovich, M. Frans Kaashoek

Proceedings of the Asia-Pacific Workshop on Systems, 2012

2011

Software fault isolation with API integrity and multi-principal modules.

Yandong Mao, Haogang Chen, Dong Zhou, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek

Proceedings of the 23rd ACM Symposium on Operating Systems Principles 2011, 2011

Retroactive auditing.

Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek

Proceedings of the APSys '11 Asia Pacific Workshop on Systems, 2011

Linux kernel vulnerabilities: state-of-the-art defenses and open problems.

Haogang Chen, Yandong Mao, Xi Wang, Dong Zhou, Nickolai Zeldovich, M. Frans Kaashoek

Proceedings of the APSys '11 Asia Pacific Workshop on Systems, 2011

2010

Language-based replay via data flow cut.

Ming Wu, Fan Long, Xi Wang, Zhilei Xu, Haoxiang Lin, Xuezheng Liu, Zhenyu Guo, Huayang Guo, Lidong Zhou, Zheng Zhang

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

Intrusion Recovery Using Selective Re-execution.

Taesoo Kim, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek

Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, 2010

2009

Improving application security with data flow assertions.

Alexander Yip, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek

Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009

Api hyperlinking via structural overlap.

Fan Long, Xi Wang, Yang Cai

Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

2008

Conditional correlation analysis for safe region-based memory management.

Xi Wang, Zhilei Xu, Xuezheng Liu, Zhenyu Guo, Xiaoge Wang, Zheng Zhang

Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

R2: An Application-Level Kernel for Record and Replay.

Zhenyu Guo, Xi Wang, Jian Tang, Xuezheng Liu, Zhilei Xu, Ming Wu, M. Frans Kaashoek, Zheng Zhang

Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008

D3S: Debugging Deployed Distributed Systems.

Xuezheng Liu, Zhenyu Guo, Xi Wang, Feibo Chen, Xiaochen Lian, Jian Tang, Ming Wu, M. Frans Kaashoek, Zheng Zhang

Proceedings of the 5th USENIX Symposium on Networked Systems Design & Implementation, 2008

Towards Automatic Inference of Task Hierarchies in Complex Systems.

Haohui Mai, Chongnan Gao, Xuezheng Liu, Xi Wang, Geoffrey M. Voelker

Proceedings of the Fourth Workshop on Hot Topics in System Dependability, 2008

Hang analysis: fighting responsiveness bugs.

Xi Wang, Zhenyu Guo, Xuezheng Liu, Zhilei Xu, Haoxiang Lin, Xiaoge Wang, Zheng Zhang

Proceedings of the 2008 EuroSys Conference, Glasgow, Scotland, UK, April 1-4, 2008, 2008