姓名： 陈海波（教授/博士生导师）
最终学历：博士
电话：
办公地点：软件大楼
邮箱：haibochen@sjtu.edu.cn
实验室：并行与分布式系统实验室
个人网页： http://ipads.se.sjtu.edu.cn/haibo_chen

---

研究方向
操作系统、并行与分布式系统

---

教育背景
2009.1复旦大学 计算机系统结构 博士
2004.7 复旦大学 计算机软件与理论 硕士

---

工作经验
2009.4 – 2011.12 复旦大学 讲师
2011.3 – 2011.6 麻省理工学院 访问科学家
2011.12 – 现在 上海交通大学 教授，博士生导师
2015.8 – 2016.2 新加坡国立大学 访问教授

---

开设课程
操作系统
计算机系统设计与实现
系统设计方法

---

代表性论著



1. [SOSP]Using Concurrent Relational Logic with Helper for Verifying the AtomFS FileSystem. Mo Zou, Haoran Ding, Dong Du, Ming Fu, Ronghui Gu, Haibo Chen. The 27thACM Symposium on Operating System Principles. Deerhurst Resort, Huntsville,Ontario, Canada, October 27-30, 2019.
2. [SOSP]Performance and Protection in the ZoFS User-space NVM File System. MingkaiDong, Heng Bu, Jifei Yi, Benchao Dong, Haibo Chen. The 27th ACM Symposium onOperating System Principles. Deerhurst Resort, Huntsville, Ontario, Canada, October27-30, 2019.
3. [UsenixATC] EROFS: A Compression-friendly Readonly File System for Resource-scarceDevice. Xiang Gao, Mingkai Dong, Xie Miao, Wei Du, Chao Yu, Haibo Chen. 2019USENIX Annual Technical Conference, Renton, WA, USA, July 2019.
4. [ISCA]XPC: Architectural Support for Secure and Efficient Cross Process Call. DongDu, Zhichao Hua, Yubin Xia, Binyu Zang, Haibo Chen. Proceedings of the 46thACM/IEEE International Symposium on Computer Architecture, Phoenix, Arizona,USA. June 22-26, 2019.
5. [OSDI]Deconstructing RDMA-enabled Transaction Processing: Hybrid is Better! XingdaWei, Zhiyuan Dong, Rong Chen, and Haibo Chen. Proceedings of 13th USENIXSymposium on Operating Systems Design and Implementation, Carlsbad, CA, US,October 2018.
6. [SOSP]Sub-millisecond Stateful Stream Querying over Fast-evolving Linked Data. YunhaoZhang, Rong Chen, and Haibo Chen. Proceedings of the 26th ACM Symposium onOperating Systems Principles, Shanghai, China, October, 2017.
7. [TOCS]Fast In-memory Transaction Processing using RDMA and HTM. Haibo Chen, RongChen, Xingda Wei, Jiaxin Shi, Yanzhe Chen, Zhaoguo Wang, Binyu Zang, HaibingGuan. ACM Transactions on Computer Systems, Vol. 35, No. 1, Article 3, Jul,2017.
8. [OSDI]Fast and Concurrent RDF Queries with RDMA-based Distributed Graph Exploration.Jiaxin Shi, Youyang Yao, Rong Chen, Haibo Chen and Feifei Li. 2016 UsenixSymposium on Operating System Design and Implementation. Savannah, GA, US, Nov,2016.
9. [EuroSys]PowerLyra: Differentiated Graph Computation and Partitioning on Skewed Graphs.Rong Chen, Jiaxin Shi, Yanzhe Chen, Haibo Chen. In Proceedings of the 10thEuropean Conference on Computer Systems (Best Paper Award), Bordeaux, France,April 2015.
10.[SOSP]CloudVisor: Retrofitting Protection of Virtual Machines in Multi-tenant Cloudwith Nested Virtualization. Fengzhe Zhang, Jin Chen, Haibo Chen and Binyu Zang.In Proceedings of 23rd ACM Symposium on Operating Systems Principles, pp.203–216, Cascais, Portugal, October, 2011.

---

科研项目

1. 操作系统，国家****基金，项目负责人。
2. 云际计算资源的多尺度聚合与效能评价，国家重点研究计划项目课题，课题负责人。
3. 大规模NUMA环境的巨型虚拟机高可扩展性研究，自然科学基金面上项目，课题负责人。
4. 可扩展内存计算的系统结构方法，国家“****”青年拔尖人才计划，课题负责人。
5. DistributedClouds: Distributed Clouds: Peta-Scale Urban Sensing and Data Management. 新加坡基金会国际合作项目，课题负责人。

---

获奖情况
国家****基金，2019
ACM杰出科学家，2019
最佳论文奖， ACM VEE 2019
教育部技术发明一等奖，2019
中国计算机学会青年科学家奖，2015
国家****“青年拔尖人才计划”，2014
年国家科技进步二等奖，2014
最佳论文奖， ACMEuroSys 2015
最佳论文提名奖，HPCA2014
ACM SIGSPATIAL GIS CUP冠军,2013
最佳论文奖，ACM APSys 2013
全国百篇优秀博士学位论文奖，2011
中国计算机学会博士学位论文奖，2009
最佳论文奖， ICPP 2017

---

学术兼职
SOSP: 2017大会主席，2013, 2015, 2017 程序委员会委员
ACM APSys指导委员会主席
ACM SIGOPS ChinaSys 主席
SOSP VEE ICS Usenix ATC
SOSP VEE ICS Usenix ATC ISCA, ASPLOS, EuroSys, Usenix ATC, PPoPP, Oakland, FAST, CCS, NDSS等程序委员会委员
《Communications of the ACM》编委与SpecialSections共同主席
ACM Transactions on Storage 编委