My home page at the University of Washington: homes.cs.washington.edu/~xi

• Towards optimization-safe systems: Analyzing the impact of undefined behavior. [ web ]
  Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, and Armando Solar-Lezama.
  SOSP 2013.
• Security bugs in embedded interpreters.
  Haogang Chen, Cody Cutler, Taesoo Kim, Yandong Mao, Xi Wang, Nickolai Zeldovich, and M. Frans Kaashoek.
  APSys 2013.
• Improving integer security for systems with Kint. [ slides | web ]
  Xi Wang, Haogang Chen, Zhihao Jia, Nickolai Zeldovich, and M. Frans Kaashoek.
  OSDI 2012.
• Undefined behavior: What happened to my code? [ slides | web ]
  Xi Wang, Haogang Chen, Alvin Cheung, Zhihao Jia, Nickolai Zeldovich, and M. Frans Kaashoek.
  APSys 2012.
• Software fault isolation with API integrity and multi-principal modules.
  Yandong Mao, Haogang Chen, Dong Zhou, Xi Wang, Nickolai Zeldovich, and M. Frans Kaashoek.
  SOSP 2011.
• Retroactive auditing. [ slides ]
  Xi Wang, Nickolai Zeldovich, and M. Frans Kaashoek.
  APSys 2011.
• Linux kernel vulnerabilities: State-of-the-art defenses and open problems.
  Haogang Chen, Yandong Mao, Xi Wang, Dong Zhou, Nickolai Zeldovich, and M. Frans Kaashoek.
  APSys 2011.
• 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, and Zheng Zhang.
  FSE 2010.
• Intrusion recovery using selective re-execution. [ web ]
  Taesoo Kim, Xi Wang, Nickolai Zeldovich, and M. Frans Kaashoek.
  OSDI 2010.
• Improving application security with data flow assertions. [ web ]
  Alexander Yip, Xi Wang, Nickolai Zeldovich, and M. Frans Kaashoek.
  SOSP 2009.
• API hyperlinking via structural overlap. [ web ]
  Fan Long, Xi Wang, and Yang Cai.
  ESEC-FSE 2009.
• R2: An application-level kernel for record and replay.
  Zhenyu Guo, Xi Wang, Jian Tang, Xuezheng Liu, Zhilei Xu, Ming Wu, M. Frans Kaashoek, and Zheng Zhang.
  OSDI 2008.
• Towards automatic inference of task hierarchies in complex systems.
  Haohui Mai, Chongnan Gao, Xuezheng Liu, Xi Wang, and Geoffrey M. Voelker.
  HotDep 2008.
• Conditional correlation analysis for safe region-based memory management. [ cases ]
  Xi Wang, Zhilei Xu, Xuezheng Liu, Zhenyu Guo, Xiaoge Wang, and Zheng Zhang.
  PLDI 2008.
• D³S: Debugging deployed distributed systems.
  Xuezheng Liu, Zhenyu Guo, Xi Wang, Feibo Chen, Xiaochen Lian, Jian Tang, Ming Wu, M. Frans Kaashoek, and Zheng Zhang.
  NSDI 2008.
• Hang analysis: Fighting responsiveness bugs.
  Xi Wang, Zhenyu Guo, Xuezheng Liu, Zhilei Xu, Haoxiang Lin, Xiaoge Wang, and Zheng Zhang.
  EuroSys 2008.