Haibo Chen

Haibo Chen, Jie Yu, Chengqun Hang, Binyu Zang and Pen-chung Yew   Dynamic Software Updating Using a Relaxed Consistency Model.  IEEE Transactions on Software Engineering. (TSE, to appear).  2009.

Haibo Chen, Liwei Yuan, Xi Wu, Bo Huang, Pen-chung Yew and Binyu Zang.  Control Flow Obfuscation with Information Flow Tracking.  In 42nd international Conference on Microarchitecture(MICRO'09). New York, USA. December, 2009. [pdf]

Shengkai Zhu, Zhiwei Xiao, Haibo Chen, Rong Chen, Weihua Zhang and Binyu Zang. Evaluating SPLASH-2 Applications Using MapReduce. In the 8th international Conference on Advanced Parallel Processing Technologies. pp.452--464. Rapperswil, Switzerland. August, 2009.[pdf]

Silas Boyd-Wickizer, Haibo Chen, Rong Chen, Yandog Mao, Frans Kashoek, Robert Morris, Aleksey Pesterev, Lex Stein, Ming Wu, Yuehua Dai, Yang Zhang, Zheng Zhang.  Corey: An Operating System for Many Cores.  In 8th USENIX Symposium on Operating Systems Design and Implementation(OSDI-2008).   San Diego, CA, USA. December, 2008. [pdf]

Pengcheng Liu, Ziye Yang, Xiang Song, Yixun Zhou, Haibo Chen and Binyu Zang.  Heterogenous Live Migration of Virtual Machines.  In the 2008 International Workshop on Virtualization Techniques (Co-located with ISCA-2008).   Beijing China, June, 2008. [pdf][ppt]

Haibo Chen, Jun Li, Wenbo Mao and Ahmad-Reza Sadeghi  TPM-Performance Sensible Key Management Protocols for Service Provisioning in Cloud Computing.  In the 16th International Workshop on Security Protocols (SPW 2008),  Cambridge England,April,2008. [pdf][ppt]

Haibo Chen, Xi Wu, Liwei Yuan, Binyu Zang, Pen-chung Yew and Frederic Chong.  Practical and Efficient Information Flow Tracking Using Speculative Hardware.  In Proceedings of 35th International Symposium on Computer Architecture (ISCA-2008),  Beijing China, June, 2008. [pdf][ppt]

Haibo Chen, Fengzhe Zhang, Cheng Chen, Rong Chen, Binyu Zang, Pen-chung Yew and Wenbo Mao.  Tamper-Resistant Execution in an Untrusted Operating System Using A Virtual Machine Monitor.  Parallel Processing Institute Technical Report, Number: FDUPPITR-2007-08001,  Fudan University, August, 2007. [pdf][bib][ppt]

Haibo Chen, Rong Chen, Fengzhe Zhang, Binyu Zang and Pen-chung Yew.  Mercury: Combining Performance with Dependability Using Self-virtualization.  (Best Paper Award)  In Proceedings of 36th International Conference on Parallel Processing (ICPP-2007),  XiAn China, September, 2007. [pdf][bib][ppt]

Haibo Chen, Jie Yu, Rong Chen, Binyu Zang, and Pen-chung Yew.  POLUS: A POwerful Live Updating System. 
In Proceedings of 29th International Conference on Software Engineering (ICSE-2007),  pp. 271-281. Minneapolis, MN, USA, May 2007. [pdf][bib][ppt]

Haibo Chen Jieyun Chen, Wenbo Mao, and Fei Yan. Daonity-Grid Security from Two Levels of Virtualization.  Elsevier Information Security Technical Report. (Invited Paper),  To Appear in September 2007. [pdf][bib][ppt]

Wenbo Mao, Fei Yan, Chuanjiang Yi, and Haibo Chen. Daonity: Protocol Solutions to Grid Security Using Hardware Strengthened Software Environment.  In Fifteenth International Workshop on Security Protocols (SPW 2007), Czech Republic, April 2007. [pdf][bib] [ppt]

Haibo Chen, Rong Chen, Fengzhe Zhang, Binyu Zang and Pen-chung Yew.  Live Updating Operating Systems Using Virtualization.  In SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE-2006),  pp. 35-44, Ottawa, Canada, June 2006. [pdf][bib][ppt]

Rong Chen, Haibo Chen, Fengzhe Zhang and Binyu Zang.  Dynamic Update of Operating Systems.  Mini-Micro Systems (In Chinese),  Accepted in Februray, 2007.[pdf][bib][ppt]

Haibo Chen, , Jiahua Zhu, Hongjiang Zhang and Binyu Zang. Periodic Constant Detection and Propagation.  Mini-Micro Systems (In Chinese),  2006, 27 (11): 2156-2160. [pdf][bib][ppt]