Haibo Chen

Rong Chen, Haibo Chen, Binyu Zang.  Tiled MapReduce: Optimizing Resource Usages of Data-parallel Applications on Multicore with Tiling.   The Nineteenth International Conference on Parallel Architectures and Compilation Techniques (PACT 2010). Vienna, Austria, September, 2010.

Xiang Song, Haibo Chen, Binyu Zang.  Why Software Hangs and What can be done with it?   The 40th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (Short Paper, to appear). Chicago, Illinois, USA, June, 2010.

Yijian Huang, Haibo Chen and Binyu Zang.  Safe Binary Device Driver Reuse via User-level Binary Translation.  The 2010 ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE-2010). Pittsburgh, PA, USA. March, 2010.

Rong Chen, Zhijun Hao, Kang Liu, Haibo Chen, Binyu Zang.  Optimizing Crash Dump in Virtualized Environments.  Fifteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'10, poster). pp. 25¨C36. Pittsburgh, PA, USA. March, 2010.

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).  2010.

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]