教授/博士生导师
电子邮件:haibochen@sjtu.edu.cn
个人主页:
教育背景
工作经历
研究方向
荣誉奖励/承担项目
代表性论文专著
2009.1复旦大学 计算机系统结构 博士
2004.7 复旦大学 计算机软件与理论 学士
2011.12 – 现在 上海交通大学 教授,博士生导师
2015.8 – 2016.2 新加坡国立大学 访问教授
2011.3 – 2011.6 麻省理工学院 访问科学家
2009.4 – 2011.12 复旦大学 讲师
操作系统、并行与分布式系统
荣誉奖励
杰出论文奖,ACM ASPLOS 2021
最受读者喜欢的IT图书奖(《现代操作系统:原理与实现》),2020
中国青年科技奖,2020
上海交通大学校长奖,2020
ACM杰出科学家,2019
最佳论文奖, ACM VEE 2019
教育部技术发明一等奖,2019
中国计算机学会青年科学家奖,2015
年国家科技进步二等奖,2014
最佳论文奖, ACM EuroSys 2015
最佳论文提名奖,HPCA 2014
ACM SIGSPATIAL GIS CUP冠军, 2013
最佳论文奖,ACM APSys 2013
全国百篇优秀博士学位论文奖,2011
中国计算机学会博士学位论文奖,2009
最佳论文奖, ICPP 2017
承担项目
云际计算资源的多尺度聚合与效能评价,国家重点研究计划项目课题,课题负责人。
大规模NUMA环境的巨型虚拟机高可扩展性研究,自然科学基金面上项目,课题负责人。
Distributed Clouds: Distributed Clouds: Peta-Scale Urban Sensing and Data Management. 新加坡基金会国际合作项目,课题负责人。
[SOSP] Using Concurrent Relational Logic with Helper for Verifying the AtomFS File System. Mo Zou, Haoran Ding, Dong Du, Ming Fu, Ronghui Gu, Haibo Chen. The 27th ACM Symposium on Operating System Principles. Deerhurst Resort, Huntsville, Ontario, Canada, October 27-30, 2019.
[SOSP] Performance and Protection in the ZoFS User-space NVM File System. Mingkai Dong, Heng Bu, Jifei Yi, Benchao Dong, Haibo Chen. The 27th ACM Symposium on Operating System Principles. Deerhurst Resort, Huntsville, Ontario, Canada, October 27-30, 2019.
[Usenix ATC] EROFS: A Compression-friendly Readonly File System for Resource-scarce Device. Xiang Gao, Mingkai Dong, Xie Miao, Wei Du, Chao Yu, Haibo Chen. 2019 USENIX Annual Technical Conference, Renton, WA, USA, July 2019.
[ISCA] XPC: Architectural Support for Secure and Efficient Cross Process Call. Dong Du, Zhichao Hua, Yubin Xia, Binyu Zang, Haibo Chen. Proceedings of the 46th ACM/IEEE International Symposium on Computer Architecture, Phoenix, Arizona, USA. June 22-26, 2019.
[OSDI] Deconstructing RDMA-enabled Transaction Processing: Hybrid is Better! Xingda Wei, Zhiyuan Dong, Rong Chen, and Haibo Chen. Proceedings of 13th USENIX Symposium on Operating Systems Design and Implementation, Carlsbad, CA, US, October 2018.
[SOSP] Sub-millisecond Stateful Stream Querying over Fast-evolving Linked Data. Yunhao Zhang, Rong Chen, and Haibo Chen. Proceedings of the 26th ACM Symposium on Operating Systems Principles, Shanghai, China, October, 2017.
[TOCS] Fast In-memory Transaction Processing using RDMA and HTM. Haibo Chen, Rong Chen, Xingda Wei, Jiaxin Shi, Yanzhe Chen, Zhaoguo Wang, Binyu Zang, Haibing Guan. ACM Transactions on Computer Systems, Vol. 35, No. 1, Article 3, Jul, 2017.
[OSDI] Fast and Concurrent RDF Queries with RDMA-based Distributed Graph Exploration. Jiaxin Shi, Youyang Yao, Rong Chen, Haibo Chen and Feifei Li. 2016 Usenix Symposium on Operating System Design and Implementation. Savannah, GA, US, Nov, 2016.
[EuroSys] PowerLyra: Differentiated Graph Computation and Partitioning on Skewed Graphs. Rong Chen, Jiaxin Shi, Yanzhe Chen, Haibo Chen. In Proceedings of the 10th European Conference on Computer Systems (Best Paper Award), Bordeaux, France, April 2015.
[SOSP] CloudVisor: Retrofitting Protection of Virtual Machines in Multi-tenant Cloud with 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.