Hang analysis: fighting responsiveness bugs. - Xi Wang 005; Zhenyu Guo; Xuezheng Liu; Zhilei Xu; Haoxiang Lin; Xiaoge Wang; Zheng Zhang 001 (EuroSys, 2008)

Towards Automatic Inference of Task Hierarchies in Complex Systems. - Haohui Mai; Chongnan Gao; Xuezheng Liu; Xi Wang 005; Geoffrey M. Voelker (HotDep, 2008)

D3S: Debugging Deployed Distributed Systems. - Xuezheng Liu; Zhenyu Guo; Xi Wang 005; Feibo Chen; Xiaochen Lian; Jian Tang; Ming Wu 007; M. Frans Kaashoek; Zheng Zhang 001 (NSDI, 2008)

R2: An Application-Level Kernel for Record and Replay. - Zhenyu Guo; Xi Wang 005; Jian Tang; Xuezheng Liu; Zhilei Xu; Ming Wu 007; M. Frans Kaashoek; Zheng Zhang 001 (OSDI, 2008)

Conditional correlation analysis for safe region-based memory management. - Xi Wang 005; Zhilei Xu; Xuezheng Liu; Zhenyu Guo; Xiaoge Wang; Zheng Zhang 001 (PLDI, 2008)

Api hyperlinking via structural overlap. - Fan Long; Xi Wang 005; Yang Cai 001 (ESEC/SIGSOFT FSE, 2009)

Improving application security with data flow assertions. - Alexander Yip; Xi Wang 005; Nickolai Zeldovich; M. Frans Kaashoek (SOSP, 2009)

Intrusion Recovery Using Selective Re-execution. - Taesoo Kim; Xi Wang 005; Nickolai Zeldovich; M. Frans Kaashoek (OSDI, 2010)

Language-based replay via data flow cut. - Ming Wu 007; Fan Long; Xi Wang 005; Zhilei Xu; Haoxiang Lin; Xuezheng Liu; Zhenyu Guo; Huayang Guo; Lidong Zhou; Zheng Zhang 001 (SIGSOFT FSE, 2010)

Linux kernel vulnerabilities: state-of-the-art defenses and open problems. - Haogang Chen 001; Yandong Mao; Xi Wang 005; Dong Zhou 006; Nickolai Zeldovich; M. Frans Kaashoek (APSys, 2011)

Retroactive auditing. - Xi Wang 005; Nickolai Zeldovich; M. Frans Kaashoek (APSys, 2011)

Software fault isolation with API integrity and multi-principal modules. - Yandong Mao; Haogang Chen 001; Dong Zhou 006; Xi Wang 005; Nickolai Zeldovich; M. Frans Kaashoek (SOSP, 2011)

Undefined behavior: what happened to my code? - Xi Wang 005; Haogang Chen 001; Alvin Cheung; Zhihao Jia; Nickolai Zeldovich; M. Frans Kaashoek (APSys, 2012)

Improving Integer Security for Systems with KINT. - Xi Wang 005; Haogang Chen 001; Zhihao Jia; Nickolai Zeldovich; M. Frans Kaashoek (OSDI, 2012)

Security bugs in embedded interpreters. - Haogang Chen 001; Cody Cutler; Taesoo Kim; Yandong Mao; Xi Wang 005; Nickolai Zeldovich; M. Frans Kaashoek (APSys, 2013)

Towards optimization-safe systems: analyzing the impact of undefined behavior. - Xi Wang 005; Nickolai Zeldovich; M. Frans Kaashoek; Armando Solar-Lezama (SOSP, 2013)

Why does cryptographic software fail?: a case study and open problems. - David Lazar; Haogang Chen 001; Xi Wang 005; Nickolai Zeldovich (APSys, 2014)

Cybertron: pushing the limit on I/O reduction in data-parallel programs. - Tian Xiao; Zhenyu Guo; Hucheng Zhou; Jiaxing Zhang; Xu Zhao 004; Chencheng Ye 001; Xi Wang 005; Wei Lin 016; Wenguang Chen; Lidong Zhou (OOPSLA, 2014)

Identifying Information Disclosure in Web Applications with Retroactive Auditing. - Haogang Chen 001; Taesoo Kim; Xi Wang 005; Nickolai Zeldovich; M. Frans Kaashoek (OSDI, 2014)

Jitk: A Trustworthy In-Kernel Interpreter Infrastructure. - Xi Wang 005; David Lazar; Nickolai Zeldovich; Adam Chlipala; Zachary Tatlock (OSDI, 2014)

A differential approach to undefined behavior detection. - Xi Wang 005 (2014)

Verdi: a framework for implementing and formally verifying distributed systems. - James R. Wilcox; Doug Woos; Pavel Panchekha; Zachary Tatlock; Xi Wang 005; Michael D. Ernst; Thomas E. Anderson (PLDI, 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 005 (SNAPL, 2015)

A Differential Approach to Undefined Behavior Detection. - Xi Wang 005; Nickolai Zeldovich; M. Frans Kaashoek; Armando Solar-Lezama (ACM Trans. Comput. Syst., 2015)

Specifying and Checking File System Crash-Consistency Models. - James Bornholt; Antoine Kaufmann; Jialin Li 001; Arvind Krishnamurthy; Emina Torlak; Xi Wang 005 (ASPLOS, 2016)

Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers. - Stuart Pernsteiner; Calvin Loncaric; Emina Torlak; Zachary Tatlock; Xi Wang 005; Michael D. Ernst; Jonathan Jacky (CAV (2), 2016)

Push-Button Verification of File Systems via Crash Refinement. - Helgi Sigurbjarnarson; James Bornholt; Emina Torlak; Xi Wang 005 (OSDI, 2016)

An Empirical Study on the Correctness of Formally Verified Distributed Systems. - Pedro Fonseca 001; Kaiyuan Zhang 001; Xi Wang 005; Arvind Krishnamurthy (EuroSys, 2017)

Customizing Progressive JPEG for Efficient Image Storage. - Eddie Q. Yan; Kaiyuan Zhang 001; Xi Wang 005; Karin Strauss; Luis Ceze (HotStorage, 2017)

Hyperkernel: Push-Button Verification of an OS Kernel. - Luke Nelson; Helgi Sigurbjarnarson; Kaiyuan Zhang 001; Dylan Johnson; James Bornholt; Emina Torlak; Xi Wang 005 (SOSP, 2017)

MultiNyx: a multi-level abstraction framework for systematic analysis of hypervisors. - Pedro Fonseca 001; Xi Wang 005; Arvind Krishnamurthy (EuroSys, 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 005 (OSDI, 2018)

Scaling symbolic evaluation for automated verification of systems code with Serval. - Luke Nelson; James Bornholt; Ronghui Gu; Andrew Baumann; Emina Torlak; Xi Wang 005 (SOSP, 2019)

Synthesizing JIT Compilers for In-Kernel DSLs. - Jacob Van Geffen; Luke Nelson; Isil Dillig; Xi Wang 005; Emina Torlak (CAV (2), 2020)

Automated Verification of Customizable Middlebox Properties with Gravel. - Kaiyuan Zhang 001; Danyang Zhuo; Aditya Akella; Arvind Krishnamurthy; Xi Wang 005 (NSDI, 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 005 (OSDI, 2020)

Noninterference specifications for secure systems. - Luke Nelson; James Bornholt; Arvind Krishnamurthy; Emina Torlak; Xi Wang 005 (ACM SIGOPS Oper. Syst. Rev., 2020)

OYaYa: A Desktop Robot Enabling Multimodal Interaction with Emotions. - Yucheng Jin; Yuanyuan Deng; Jiangtao Gong; Xi Wang 005; Ge Gao; Qianying Wang (IUI Companion, 2021)

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 005 (SmartWorld/UIC/ScalCom/DigitalTwin/PriComp/Meta, 2022)

A formal foundation for symbolic evaluation with merging. - Sorawee Porncharoenwase; Luke Nelson; Xi Wang 005; Emina Torlak (Proc. ACM Program. Lang., 2022)

Synthesis-Aided Crash Consistency for Storage Systems. - Jacob Van Geffen; Xi Wang 005; Emina Torlak; James Bornholt (ECOOP, 2023)