Xi Wang

PDOS, MIT CSAIL

32 Vassar St 32-G980
Cambridge, MA 02139

Papers

• 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.
  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.
  Taesoo Kim, Xi Wang, Nickolai Zeldovich, and M. Frans Kaashoek.
  OSDI 2010

• Improving Application Security with Data Flow Assertions.
  Alexander Yip, Xi Wang, Nickolai Zeldovich, and M. Frans Kaashoek.
  SOSP 2009

• API Hyperlinking via Structural Overlap.
  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.
  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