2004.9 - 2009.1 复旦大学 计算机系统结构 博士 （获全国优博）

2000.9 - 2004.7 复旦大学 计算机科学与技术 本科

2011.9 - 现在 1946伟德国际源自英国 教授

2009.4 - 2011.12  复旦大学  讲师  

操作系统

• [CACM] Many Faces of Ad Hoc Transactions. Chuzhe Tang, Zhaoguo Wang, Xiaodong Zhang, Qianmian Yu, Binyu Zang, Haibing Guan, and Haibo Chen. Communications of the ACM (Research Highlight & Cover Article) 68, 4, 2025.
  

• [OSDI] Yuanpei Wu, Dong Du, Chao Xu, Yubin Xia, Ming Fu, Yang Yu, Binyu Zang, Haibo Chen.OSRendering Service Made Parallel with Out-of-Order Execution and In-Order Commit. The 19th USENIX Symposium on Operating Systems Design and Implementation, Boston, MA, US, July 2025.
  

• [OSDI] Preemptive Scheduling for Diverse XPUs using Multi-level Hardware Model. Weihang Shen, Mingcong Han, Jialong Liu, Rong Chen, and Haibo Chen. The 19th USENIX Symposium on Operating Systems Design and Implementation, Boston, MA, US, July 2025.

• [OSDI] Fast and Live Model Auto Scaling without Caching. Dingyan Zhang, Haotian Wang, Yang Liu, Xingda Wei, Yizhou Shan, Rong Chen, and Haibo Chen. The 19th USENIX Symposium on Operating Systems Design and Implementation, Boston, MA, US, July 2025.

• [SOSP] PowerInfer: Fast Large Language Model Serving with a Consumer-grade GPU. Yixin Song, Zeyu Mi, Haotong Xie, Haibo Chen. The 30th ACM Symposium on Operating Systems Principles, Texas, USA, November 2024.
  

• [OSDI] Microkernel Goes General: Performance and Compatibility in the HongMeng Production Microkernel. Haibo Chen, Xie Miao, Ning Jia, Nan Wang, Yu Li, Nian Liu, Yutao Liu, Fei Wang, Qiang Huang, Kun Li, Hongyang Yang, Hui Wang, Jie Yin, Yu Peng, and Fengwei Xu. The 18th USENIX Symposium on Operating Systems Design and Implementation, Santa Clara, CA, US, July 2024.
  

• [OSDI] Using Dynamically Layered Definite Releases for Verifying the RefFS File System. Mo Zou, Dong Du, Mingkai Dong, Haibo Chen. The 18th USENIX Symposium on Operating Systems Design and Implementation, Santa Clara, CA, US, July 2024.

• [OSDI] Fast and Scalable In-network Lock Management Using Lock Fission. Hanze Zhang, Ke Cheng, Rong Chen, and Haibo Chen. The 18th USENIX Symposium on Operating Systems Design and Implementation, Santa Clara, CA, US, July 2024.

• [EuroSys] Serialization/Deserialization-free State Transfer in Serverless Workflows. Fangming Lu, Xingda Wei, Zhuobin Huang, Rong Chen, Mingyu Wu, Haibo Chen. Proceedings of the 19th European Conference on Computer Systems (Best Paper Award), Athens, Greece, April, 2024
  

• [Nature] DNA-based programmable gate arrays for general-purpose DNA computing. Hui Lv, Nuli Xie, Mingqiang Li, Mingkai Dong, Chenyun Sun, Qian Zhang, Lei Zhao, Jiang Li, Xiaolei Zuo, Haibo Chen, Fei Wang & Chunhai Fan. Nature (2023). September, 2023.

• [SOSP] TreeSLS: A Tree-structured Microkernel with Efficient Whole-system Persistence on NVM. Fangnuo Wu, Mingkai Dong, Gequan Mo, Haibo Chen. The 29th ACM Symposium on Operating Systems Principles (Best Paper Award), Koblenz, Germany, October 2023.

• [SOSP] UGACHE: A Unified GPU Cache for Embedding-based Deep Learning Systems. Xiaoniu Song, Yiwen Zhang, Rong Chen, and Haibo Chen. The 29th ACM Symposium on Operating Systems Principles, Koblenz, Germany, October 2023.

• [OSDI] Automated Verification of Idempotence for Stateful Serverless Applications. Haoran Ding, Zhaoguo Wang, Zhuohao Shen, Rong Chen, Haibo Chen. The 17th USENIX Symposium on Operating Systems Design and Implementation, Boston, MA, US, July 2023.
  

• [OSDI] Security and Performance in the Delegated User-level Virtualization. Jiahao Chen, Dingji Li, Zeyu Mi, Yuxuan Liu, Binyu Zang, Haibing Guan, Haibo Chen. The 17th USENIX Symposium on Operating Systems Design and Implementation, Boston, MA, US, July 2023.
  

• [OSDI] No Provisioned Concurrency: Fast RDMA-codesigned Remote Fork for Serverless Computing. Xingda Wei, Fangming Lu, Tianxia Wang, Jinyu Gu, Yuhan Yang, Rong Chen, and Haibo Chen. 17th USENIX Symposium on Operating Systems Design and Implementation, Boston, MA, US, July 2023.

• [OSDI] Characterizing Off-path SmartNIC for Accelerating Distributed Systems. Xingda Wei, Rongxin Cheng, Yuhan Yang, Rong Chen, Haibo Chen. The 17th USENIX Symposium on Operating Systems Design and Implementation, Boston, MA, US, July 2023.
  

• [OSDI] Encrypted Databases Made Secure Yet Maintainable. Mingyu Li, Xuyang Zhao, Le Chen, Cheng Tan, Huorong Li, Sheng Wang, Zeyu Mi, Yubin Xia, Feifei Li, Haibo Chen. The 17th USENIX Symposium on Operating Systems Design and Implementation, Boston, MA, US, July 2023.
  

• OSDI] BWoS: Formally Verified Block-based Work Stealing for Parallel Processing. Jiawei Wang, Bohdan Trach, Ming Fu, Diogo Behrens, Jonathan Schwender, Yutao Liu, Jitang Lei, Viktor Vafeiadis, Hermann Härtig and Haibo Chen. The 17th USENIX Symposium on Operating Systems Design and Implementation, Boston, MA, US, July 2023.

• [OSDI] Microsecond-scale Preemption for Concurrent GPU-accelerated DNN Inferences. Mingcong Han, Hanze Zhang, Rong Chen, and Haibo Chen. The 16th USENIX Symposium on Operating Systems Design and Implementation, Carlsbad, CA, US, July 2022.

• [SOSP] TwinVisor: Hardware-isolated Confidential Virtual Machines for ARM. Dingji Li, Zeyu Mi, Yubin Xia, Binyu Zang, Haibo Chen, Haibing Guan. The 28th ACM Symposium on Operating System Principles. October 25-28, 2021.
  

• [SOSP] CLoF: A Compositional Lock Framework for Multi-level NUMA Systems. Rafael Chehab, Antonio Paolillo, Diogo Behrens, Ming Fu, Hermann Härtig, Haibo Chen. The 28th ACM Symposium on Operating System Principles. Deerhurst Resort, Huntsville, October 25-28, 2021.

• [OSDI] Erhu Feng, Xu Lu, Dong Du, Bicheng Yang, Xueqiang Jiang, Yubin Xia, Binyu Zang, Haibo Chen. Scalable Memory Protection in the PENGLAI Enclave. The 15th USENIX Symposium on Operating Systems Design and Implementation, 2021.

• [OSDI] Sijie Shen, Rong Chen, Haibo Chen, Binyu Zang. Retrofitting High Availability Mechanism to Tame Hybrid Transaction/Analytical Processing. The 15th USENIX Symposium on Operating Systems Design and Implementation, 2021. 

• [OSDI] Mingyu Li, Tianxu Zhang, Jinhao Zhu, Cheng Tan, Yubin Xia, Sebastian Angel, Haibo Chen. Bringing Decentralized Search to Decentralized Services. 15th USENIX Symposium on Operating Systems Design and Implementation, 2021.

• [OSDI] Jiachen Wang, Ding Ding, Huan Wang, Conrad Christensen, Zhaoguo Wang, Haibo Chen, Jinyang Li. Polyjuice: High-Performance Transactions via Learned Concurrency Control. The 15th USENIX Symposium on Operating Systems Design and Implementation, 2021.

• [ASPLOS] VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models. J. Oberhauser, R. Chehab, D. Behrens, M. Fu, A. Paolillo, L. Oberhauser, K. Bhat, Y. Wen, H. Chen, J. Kim, V. Vafeiadis. The 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (Distinguished Paper Award), April, 2021.
  

• [OSDI] Fast RDMA-based Ordered Key-Value Store using Remote Learned Cache. Xingda Wei, Rong Chen, and Haibo Chen. 14th USENIX Symposium on Operating Systems Design and Implementation, Banff, Alberta, Canada, November 2020.
  

• [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.
  

• [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.

• 《Communications of the ACM》研究亮点（2025）

• ACM EuroSys 2024最佳论文奖

• CCF Fellow (2024年入选)

• ACM Fellow（2023年入选）

• ACM SOSP 2023最佳论文奖

• 2023年ACM SIGMOD研究亮点奖

• 2022年1946伟德国际源自英国本科优秀教材一等奖（获奖教材为《现代操作系统：原理与实现》）

• 2022年度陈嘉庚青年科学奖（信息技术科学）

• IEEE Fellow（2022年入选）

• IEEE/IFIP DSN 2022时间检验奖

• ACM SIGMOD 2022最佳论文优胜奖

• 2021 Dennis M. Ritchie Thesis Award (Advisor)优胜奖

• ACM ASPLOS 2021杰出论文奖

• 2020年度最受读者喜爱的IT图书奖（《现代操作系统：原理与实现》）

• 2020年中国青年科技奖

• 2020年1946伟德国际源自英国董事长奖

• 2019年国家杰出青年基金

• ACM VEE 2019最佳论文奖

• 2018年度教育部技术发明一等奖

• ACM APSys 2017最佳论文奖

• 2017 CCF NASAC-东软青年软件创新奖

• 2015 中国计算机学会青年科学家奖

• 国家万人计划“青年拔尖人才计划”

• ACM EuroSys 2015最佳论文奖

• HPCA 2014最佳论文提名奖

• 2014 国家科技进步二等奖

• ACM SIGSPATIAL GIS CUP, 2013年冠军; 2014年季军

• ACM APSys 2013最佳论文奖

• 2013年度教育部“新世纪优秀人才支持计划”

• 2011年全国百篇优秀博士学位论文奖

• 2009年中国计算机学会博士学位论文奖

• 2007年ICPP最佳论文奖

• 学术组织&学术会议

• ACM SIGOPS主席 (2023.7 - 2027.6)  

• ACM EuroSys: 2025（程序委员会共同主席）

• SOSP: 2017 (大会主席 with Lidong Zhou), 2013 (注册主席 with Li Zhuang)

• APSys: 2015-2020 (指导委员会主席 with Lorenzo Alvisi), 2014 (程序委员会主席 with Lorenzo Alvisi), 2011 (程序委员会主席 with Zheng Zhang)

• ChinaSys: 2011至今 (联合创始人, 理事), 2018-2022 (大会主席)

• CCS: 2018 (系统安全领域主席)

• ASPLOS: 2020 (赞助者共同主席)

• ICDCS:  2020 (程序委员会副主席)

  
  

• 程序委员会委员

• SOSP: 2025, 2023, 2021, 2019, 2017, 2015, 2013

• OSDI: 2025, 2024

• ASPLOS: 2024 (ERC), 2023, 2022, 2020, 2019, 2017

• EuroSys: 2023, 2022, 2021, 2019, 2017, 2016, 2014, 2013

• Usenix ATC: 2019, 2017, 2016, 2015, 2014, 2012

• Oakland: 2020, 2018, 2017, 2016

• CCS: 2019, 2018, 2017

• HotOS: 2021

• NDSS: 2020

• SoCC: 2020

• PPoPP: 2016

• ISCA: 2022, 2016

• FAST: 2017

  
  

• 期刊&杂志编辑

• 编辑、领域联席主席: Communications of the ACM (2019至今)

• 副编辑: ACM Transactions on Storage (2016 - 2023)