陳海波

交大軟體學院教授

陳海波,男,上海交通大學軟體學院教授。系統軟體,系統結構與系統虛擬化。

目錄

正文


教育背景2004.9 – 2009.1 博士復旦大學計算機系統結構專業 2000.9 – 2004.7 本科復旦大學計算機科學與技術專業
學術兼職Usenix ATC'12, EuroSys'13程序委員會委員,APSys'11大會共同主席 中國計算機學會體系結構專委會委員 中國計算機學會系統軟體專委會委員
獲獎情況2012年NetApp Faculty Fellowship 2011年全國優秀博士學位論文獎 2010年IBM X10 Faculty Award 2009年中國計算機學會優秀博士論文 2009年中國計算機學會上海青年IT新銳 第36屆國際并行處理會議(ICPP-2007)最佳論文獎 2006年Intel中國信息科學熱點課題最佳研究報告獎
代表性科研項目1.2011.1 - 2013.12 國家自然科學基金項目 面向多核平台的日用操作系統性能可伸縮性研究”(項目編號:61003002). 19萬人民幣 2.2010.9 - 2012.9 上海市科委重點項目 虛擬化數據中心繫統結構與應用行為的分析與優化(項目編號:10511500100). 120萬人民幣。 3.2009.4 - 2011.4 教育部-英特爾信息技術專項科研基金項目“多核編程模型的優化及系統軟體支持”(項目編號MOE-INTEL-09-04), 4萬美元。
代表性論著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, to appear), Boston, Massachusetts USA, June, 2012. 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.” to appear in the 49th Design Automation Conference (DAC 2012). San Francisco, USA, June, 2012. Fengzhe Zhang, Jin Chen, Haibo Chen, and Binyu Zang. CloudVisor: Retrofitting Protection of Virtual Machines inMulti-tenant Cloud with Nested Virtualization. In Proceeding of 23rd ACM Symposium on Operating System Principles (SOSP’2011), pp. 203—216, Cascais, Portugal. 2011. Xiang Song, Haibo Chen, Rong Chen, Yuanxun Wang, Binyu Zang. A Case for Scaling Applica- tions to Many-core with OS Clustering. In 2011 ACM European Conference on Computer Systems (Eurosys’2011). pp. 61-76. Salzburg, Austria, April, 2011. Zhaoguo Wang, Ran Liu, Yufei Chen, Xi Wu, Haibo Chen, Weihua Zang, Binyu Zang. COREMU: a Scalable and Portable Parallel Full-system Emulator. Accepted by ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP 2011). pp. 213–222. San Antonio, USA, 2011. 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, Volume 37, number 5, pp. 679-694. 2011. Rong Chen, Haibo Chen, Binyu Zang. Tiled MapReduce: Optimizing Resource Usages of Data- parallel Applications on Multicore with Tiling. The 19th International Conference on Parallel Architectures and Compilation Techniques (PACT). pp.523–534. 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 (DSN-2010, DCCS Track, Practical Experience Reports) pp. 311–316 . Chicago, Illinois, USA, June, 2010. Yijian Huang, Haibo Chen, Binyu Zang. Optimizing Crash Dump in Virtualized Environments. The 2010 ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE-2010). pp. 25–36. Pittsburgh, PA, USA. March, 2010. 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). pp.43-57. San Diego, CA, USA. December, 2008.