教育背景

• 2000-2004 复旦大学，学士

• 2004-2009 复旦大学，博士

工作经历

• 2009-2011 复旦大学，计算机学院，讲师

• 2011-2011 麻省理工学院，CSAIL，访问科学家

• 2011-至今 上海交通大学，电子信息与电气工程学院，教授

• 2015-2016 新加坡国立大学，计算机学院，访问教授

研究方向

• 操作系统

• DNA 编码与存储系统

科研项目

• 国家自然科学基金委员会，杰出青年基金项目，61925206，操作系统，2020-01 至 2024-12，主持

• 国家科技部，国家重点研发计划课题，2016YFB1000104，云际计算资源的多尺度聚合与效能评价，2016.6 至 2021.6，主持

• 国家自然科学基金委员会，面上项目，61572314，大规模NUMA环境的巨型虚拟机高可扩展性研究，2016-01 至 2019-12，主持

• 中组部，青年拔尖人才支持计划，可扩展内存计算的系统结构方法，2015-01 至 2017-12，主持

• 国家自然科学基金委员会，青年项目，61003002，面向多核平台的日用操作系统性能可伸缩性研究，2010-01 至 2013-12，主持

代表性论文专著

1. Haibo Chen*; Rong Chen*; Xingda Wei; Jiaxin Shi; Yanzhe Chen; Zhaoguo Wang; Binyu Zang; Haibing Guan; Fast In-memory Transaction Processing using RDMA and HTM, ACM Transactions on Computer Systems, 2017, 35(1): 3:1-3:37.

2. Mingkai Dong; Heng Bu; Jifei Yi; Benchao Dong; Haibo Chen*; Performance and Protection in the ZoFS User-space NVM File System, The 27th ACM Symposium on Operating System Principles. Ontario, Canada, 2019-10-27至2019-10-30.

3. Mo Zou; Haoran Ding; Dong Du; Ming Fu; Ronghui Gu; Haibo Chen*; Using Concurrent Relational Logic with Helper for Verifying the AtomFS File System, The 27th ACM Symposium on Operating System Principles. Ontario, Canada, 2019-10-27至2019-10-30.

4. Haibo Chen; Heng Zhang; Mingkai Dong; Zhaoguo Wang; Yubin Xia; Haibing Guan; Binyu Zang*; Efficient and Available In-Memory KV-Store with Hybrid Erasure Coding and Replication, ACM Transactions on Storage, 2017, 13(3): 25:1-25:30.

5. Haibo Chen; Heng Zhang; Ran Liu; Binyu Zang; Haibing Guan*; Fast Consensus Using Bounded Staleness for Scalable Read-mostly Synchronization, IEEE Transactions on Parallel and Distributed Systems, 2016, 27(12): 3485-3500.

6. Xiang Gao; Mingkai Dong; Xie Miao; Wei Du; Chao Yu; Haibo Chen*; EROFS: A Compression-friendly Readonly File System for Resource-scarce Device, 2019 USENIX Annual Technical Conference, Renton, WA, USA, 2019-7-10至2019-7-12.

7. Rong Chen; Jiaxin Shi; Yanzhe Chen; Binyu Zang; Haibing Guan; Haibo Chen*; PowerLyra: Differentiated Graph Computation and Partitioning on Skewed Graphs, ACM Transactions on Parallel Computing, 2019, 5(3): 13:1-13:39.

8. Zeyu Mi; Haibo Chen*; Yinqian Zhang; Shuanghe Peng; Xiaofeng Wang; Michael Reiter; CPU Elasticity to Mitigate Cross-VM Runtime Monitoring, IEEE Transactions on Dependable and Secure Computing, 2020, 17(5):1094-1108.

9. Yubin Xia; Yutao Liu; Haibing Guan; Yunji Chen; Tianshi Chen; Binyu Zang; Haibo Chen*; Secure Outsourcing of Virtual Appliance, IEEE Transactions on Cloud Computing, 2017, 5(3): 390-404.

10. Weihua Zhang; Shiqiang Yu; Haojun Wang; Zhuofang Dai; Haibo Chen*; Hardware Support for Concurrent Detection of Multiple Concurrency Bugs on Fused CPU-GPU Architectures, IEEE Transactions on Computers, 2016, 65(10): 3083~3095.