Operating Systems, System Virtualization and Computer Architecture

Ph.D 2009.1 Fudan University
B.S 2004.7 Fudan University

2011.12 - Now Shanghai Jiao Tong University
2009.4 - 2011.12 Fudan University

Best Paper Nominee, The 20th IEEE International Symposium On High Performance Computer Architecture (HPCA-2014)
Champion, 2013 ACM SIGSPATIAL GIS CUP, Orlando, FL, USA.
Best Paper Award, ACM SIGOPS APSys 2013, Singapore.
2012 Google Research Award.
2012 NetApp Faculty Fellowship.
China Ministry of Education Distinguished PhD Dissertation Award, 2011.
China Computing Federation (CCF) Distinguished PhD Dissertation Award, 2009.
YOCSEF Shanghai IT ELite, 2009.
Best Paper Award, the 36th International Conference on Parallel Processing (ICPP 2007), XiAn China, September, 2007.
Grant Award (TOP 3), Intel 2006 Best Award of Student Research Report, June, 2006, Beijing, China

Computer Systems Design and Implementation, 2013, 2014.
Distributed Systems, Fall, 2012.
Advanced System Implementation, Spring 2012, 2013.
Operating Systems I, Fall, 2009, 2010, 2013.
Advanced Operating systems, Fall, 2009, 2010, 2013.

[1] Peng Wang, Kaiyuan Zhang, Rong Chen, Haibo Chen, Haibing Guan. Replication-based Fault-tolerance for Large-scale Graph Processing. The Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2014), 2014.

[2] Zhaoguo Wang, Hao Qian, Jinyang Li, Haibo Chen. Using Restricted Transactional Memory to Build a Scalable In-Memory Database. The European Conference on Computer Systems (EuroSys 2014), Amsterdam, The Netherlands, 2014.

[3] Yutao Liu, Yubin Xia, Haibing Guan, Binyu Zang, Haibo Chen. Concurrent and Consistent Virtual Machine Introspection with Hardware Transactional Memory. In Proceedings of the 20th IEEE International Symposium On High Performance Computer Architecture (HPCA-2014, Best Paper Nominee), Orlando, Florida, 2014.

[4] Xiang Song, Jicheng Shi, Haibo Chen, Binyu Zang. Schedule Processes, Not VCPUs. In Proceedings of Asia-Pacific Workshop on Systems (APsys 2013, Best Paper Award), Singapore, 2013.

[5] Xiang Song, Jicheng Shi, Ran Liu, Jian Yang, Haibo Chen. Parallelizing Live Migration of Virtual Machines. In Proceedings of 2013 ACM International Conference
on Virtual Execution Environments (VEE 2013, to appear), March, 2013.

[6] Yubin Xia, Yutao Liu and Haibo Chen. Architecture Support for Guest-Transparent VM Protection from Untrusted Hypervisor and Physical Attacks. In Proceedings of 2013 Internal Symposium on High Performance Computer Architecture (HPCA 2013), February, 2013.

[7] Yufei Chen and Haibo Chen. Scalable Deterministic Replay in a Parallel Full-system Emulator. In Proceedings of 2013 ACM Symposium on Principles and Practice of Parallel Programming (PPoPP 2013), Feburary, 2013.

[8] Xiang Song, Jicheng Shi, Haibo Chen and Binyu Zang. Revisiting Software Zero-Copy for Web-caching Applications with Twin Allocators. Proceedings of 2012 Usenix Annual Technical Conference (Usenix ATC 2012, short paper). Boston, Massachusetts USA, June, 2012.

[9] Rong Chen and Haibo Chen. Tiled-MapReduce: Efficient and Flexible MapReduce Processing on Multicore with Tiling. ACM Transactions on Architecture and Code Optimization (TACO). Accepted, 2012.

[10] Yubin Xia, Yutao Liu, Haibo Chen and Binyu Zang. CFIMon: Detecting Violation of Control Flow Integrity using Performance Counters. In Proceedings of The 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2012, DCCS Track), Boston, Massachusetts USA, June, 2012.

[11] Zhenman Fang, Qinghao Min, Yibin Hu, Yi Lu, Keyong Zhou, Weihua Zhang, Haibo Chen, Binyu Zang and Jian Li. “Transformer: An Extensible, Fast and Cycle-Accurate Full-system Multi-core Simulator.” In the 49th Design Automation Conference (DAC 2012). San Francisco, USA, June, 2012.

[12] Haibo Chen, Fengzhe Zhang, Rong Chen, Binyu Zang, Pen-chung Yew. Mercury: Combining Performance with Dependability Using Self-virtualization. Journal of Computer Science and Technology (JCST). 27(1), pp.92-104, January, 2012.

[13] Fengzhe Zhang, Jin Chen, Haibo Chen and Binyu Zang. CloudVisor: Retrofitting Protection of Virtual Machines in Multi-tenant Cloud with Nested Virtualization. 23rd ACM Symposium on Operating Systems Principles (SOSP '11). pp. 203-216, Cascais, Portugal, October, 2011.

[14] 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 (IEEE TSE), 37(5), pp. 679-694, September, 2011

[15] Zhemin Yang, Min Yang, Lvcai Xu, Haibo Chen, Binyu Zang. ORDER: Object centRic DEterministic Replay for Java. The 2011 USENIX Annual Technical Conference (Usenix ATC '11). Portland, Oregon, USA, June 2011.

[16] Xiang Song, Haibo Chen, Rong Chen, Yuanxuan Wang, Binyu Zang. A Case for Scaling Applications to Many-core Platforms with OS Clustering. In 2011 ACM SIGOPS European Conference on Computer Systems (Eurosys '11). pp. 76-61, Salzburg, Austria. April, 2011.

[17] Zhaoguo Wang, Ran Liu, Yufei Chen, Xi Wu, Haibo Chen, Weihua Zang, Binyu Zang. COREMU: a Scalable and Portable Parallel Full-system Emulator. ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP '11). pp. 213-222 San Antonio, USA, February, 2011.

[18] 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 '10). pp. 523-534, Vienna, Austria, September, 2010.

[19] 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 (DSN-2010) pp. 311–316. Chicago, Illinois, USA, June, 2010.

[20] 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). pp. 391-400. New York, USA. December, 2009.

[21] Silas Boyd-Wickizer, Haibo Chen, Rong Chen, and Yandong Mao, Frans Kaashoek, Robert Morris, Aleksey Pesterev, Lex Stein and Ming Wu, Yuehua Dai, Yang Zhangand and Zheng Zhang. Corey: An Operating System for Many Cores. In Proceedings of 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI '08), pp. 43-57, San Diego, CA, December, 2008.

[22] 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 '08), pp. 401-412, Beijing China, June, 2008.

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

[24] Haibo Chen Jieyun Chen, Wenbo Mao, and Fei Yan. Daonity-Grid Security from Two Levels of Virtualization. Elsevier Information Security Technical Report. (Invited Paper), 12(3), pp. 123-138, June, 2007.

[25] 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 '07), pp. 271-281. Minneapolis, MN, USA, May 2007.

[26] 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 '06), pp. 35-44, Ottawa, Canada, June 2006.