系统软件

1996.9~1999.7 复旦大学 计算机软件与理论 博士（同等学历）

1987.9~1990.7 复旦大学 计算机软件 硕士

1983.9~1987.7 复旦大学 计算机系统结构 学士

2014.1~至今 上海交通大学 教授

2001.11~2013.12 复旦大学 教授

2000.9~2001.10 英特尔中国（有限）公司 系统架构师

1990.8~2000.8 复旦大学 助教/讲师/副教授

计算机系统基础、计算机系统工程、编译原理

1. [ISCA] Reducing World Switches in Virtualized Environment with Flexible Cross-world Calls. Wenhao Li, Yubin Xia, Haibo Chen, Binyu Zang, Haibing Guan. In the 42nd International Symposium on Computer Architecture, Portland, Oregon, USA. June 2015.
2. [PPoPP] SYNC or ASYNC: Time to Fuse for Distributed Graph-parallel Computation. Chenning Xie, Rong Chen, Haibing Guan, Binyu Zang and Haibo Chen. ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Bay Area, California, USA, February, 2015.
3. [HPCA] Concurrent and Consistent Virtual Machine Introspection with Hardware Transactional Memory. Yutao Liu, Yubin Xia, Haibing Guan, Binyu Zang, Haibo Chen. In Proceedings of the 20th IEEE International Symposium On High Performance Computer Architecture (Best Paper Nominee), Orlando, Florida, 2014.
4. [Usenix ATC] Revisiting Software Zero-Copy for Web-caching Applications with Twin Allocators. Xiang Song, Jicheng Shi, Haibo Chen and Binyu Zang. Proceedings of 2012 Usenix Annual Technical Conference. Boston, Massachusetts USA, 2012.
5. [5] [SOSP] CloudVisor: Retrofitting Protection of Virtual Machines in Multi-tenant Cloud with Nested Virtualization. Fengzhe Zhang, Jin Chen, Haibo Chen and Binyu Zang. In 23rd ACM Symposium on Operating Systems Principles. 2011.
6. [PPoPP] COREMU: a Scalable and Portable Parallel Full-system Emulator. Zhaoguo Wang, Ran Liu, Yufei Chen, Xi Wu, Haibo Chen, Weihua Zang, Binyu Zang. In ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. San Antonio, USA, February, 2011.
7. [TSE]Dynamic Software Updating Using a Relaxed Consistency Model. Haibo Chen, Jie Yu, Chengqun Hang, Binyu Zang and Pen-chung Yew. IEEE Transactions on Software Engineering, 2011.
8. Rong Chen, Haibo Chen, Binyu Zang, “Tiled-MapReduce: Optimizing Resource Usages of Data-Parallel Applications”, The19th International Conference on Parallel Architectures and Compilation Techniques (PACT 2010), pp. 523 – 534, Vienna, Austria, Sept. 2010
9. Haibo Chen, Xi Wu, Liwei Yuan, Binyu Zang, Pen-Chung Yew, and Frederic T. Chong “From Speculation to Security: Practical and Efficient Information Flow Tracking Using Speculative Hardware”. The 35th International Symposium on Computer Architecture (ISCA 2008), pp. 401-412. Beijing, China, May 2008
10. Haibo Chen, Jie Yu, Binyu Zang, and PengChong Yew, “POLUS: A Powerful Live Updating System” The 29th International Conference on Software Engineering (ICSE 2007), pp.271-281. Minneapolis, USA, May 2007.

面向图计算应用的JVM可扩展性研究 自然科学基金  2017.1~2020.12

移动云平台隐私保护与安全增强研究  华为合作项目 2014.1~2015.12

面向多核/众核处理器的并行程序调试技术与工具863课题 2012.1~2015.12

国产CPU编译系统及工具链 国家重大专项课题 2009.1~2011.12

基于虚拟化技术的可信计算环境研究  自然科学基金 2009.1~2011.12

面向图计算应用的JVM可扩展性研究 自然科学基金  2017.1~2020.12

移动云平台隐私保护与安全增强研究  华为合作项目 2014.1~2015.12

面向多核/众核处理器的并行程序调试技术与工具863课题 2012.1~2015.12

国产CPU编译系统及工具链 国家重大专项课题 2009.1~2011.12

基于虚拟化技术的可信计算环境研究  自然科学基金 2009.1~2011.12

务院学位委员会软件工程学科评议组成员

教育部软件工程教学指导委员会委员

中国工程教育认证计算机分委员会委员

中国计算机学会杰出会员

示范性软件学院联盟