825 Zhangheng Road, Shanghai
P.R. China, 201203
I am a master student under the supervision of Prof. Binyu Zang. My research interest is mainly on operating system, architecture, compiler and security.
- System security and reliability.
- Compiler and Computer Architecture, primarily on IA64.
- System virtualization and operating system.
- B.Eng. in Software School, Fudan University, P.R.China (2004.9 ~ 2008.6)
- Master in Software School, Fudan University, P.R.China (2008.9 ~ Now)
- [2007-08-20] Attend 1st Asia-Pacific Summer School on Trusted Infrastructure Technologies (20th-24th August).
- [2008-06-21] Attend ISCA2008 (21th-25th June).
- [ISCA'08] From Speculation to Security: Practical and Efficient Information Flow Tracking Using Speculative Hardware. Haibo Chen, Xi Wu, Liwei Yuan, Binyu Zang, Pen-chung Yew and Frederic T. Chong.[pdf]
- [MICRO'09] Control Flow Obfuscation with Information Flow Tracking. Haibo Chen, Liwei Yuan, Xi Wu, Binyu Zang, Bo Huang, Pen-chung Yew.[pdf]
- [ESA’09] Experimental Study of FPT Algorithms for the Directed Feedback Vertex Set Problem. Xi Wu, Liwei Yuan, Rudolf Fleischer.[pdf]
- Agassiz: Optimizations using SIMD instructions.
- POLUS: A live updating system for user-level applications. It supports, for the first time, live updating for multithreaded program. I wrote patches for the applications and participated in the evaluation. There is a paper published on ICSE 2007.
- SHIFT: A system that leverages deferred exception in modern computer architecture to accelerate dynamic information flow tracking (DIFT). Currently, as far as we know, performance of SHIFT is among the best in DIFT on real systems. I am a co-author to design and implement this project. There is a paper published on ISCA 2008.
- BOSH: An interesting obfuscation technique which uses flow sensitive, light weight exception to significantly obfuscate the control flow of whole program. I am a primary-author to design and implement this project. There is a paper published on MICRO 2009.
- DFVS: This project implements and evaluates the most popular FPT and approximation algorithms for DFVS problem; we also propose our reduction rules and heuristics which can significantly improve performance without losing precision. I am a primary-author to design and implement this project. There is a paper published on ESA 2009.