About Me 个人简介

I am a Professor in the School of Computer Science at Peking University and was appointed as a Distinguished Professor under a national talent program. My research has long focused on computer systems. I have served on the program committees of OSDI, SOSP, EuroSys, NSDI, ASPLOS, and ATC. Since 2024, I have served as an Associate Editor of ACM Transactions on Computer Systems (TOCS). My honors include the First Prize of the State Scientific and Technological Progress Award, the Second Prize of the State Technological Invention Award, and the First Prize of the Science and Technology Progress Award of the Chinese Institute of Electronics. My recent research focuses on ubiquitous operating systems. I lead the development of Robonix, an operating system for embodied intelligence, co-founded the SysWonder Ubiquitous Operating System open-source community, and actively promote their open-source ecosystems.

北京大学计算机学院教授,入选国家级特聘人才,长期从事操作系统研究。近年来发表论文70余篇,包括OSDI / SOSP等计算机系统领域顶级国际会议,获得过OSDI最佳论文奖。长期担任OSDI / SOSP / EuroSys / NSDI / ASPLOS / ATC程序委员会委员。2024年开始担任ACM Transactions on Computer Systems (TOCS)的副主编。曾获国家科技进步一等奖,国家技术发明二等奖、中国电子学会科技进步一等奖等。近年来关注泛在操作系统研究,主持研发Robonix具身智能操作系统,联合发起成立矽望泛在操作系统开源社区,并积极推动相关开源生态建设。

We are always actively recruiting postdocs, interns and prospective graduate students.

常年招博士硕士 博后。

Honors & Awards 主要奖励

  • Core Technologies and Industrialization of High-Reliability Self-Maintaining Storage Systems, First Prize, Science and Technology Progress Award, Chinese Institute of Electronics, 2020.
  • Zhongchuang Software Talent Award, 2020.
  • Huawei Global Data Storage “Olympus Award,” 2021.
  • Ministry of Education–Huawei “Intelligent Foundation” Outstanding Teacher, 2021.
  • Ministry of Education Outstanding Teacher Award Program for Computer Science, 2019.
  • High-Availability Cloud Storage System for Community Sharing, Second Prize, State Technological Invention Award, 2015.
  • High-Availability Cloud Storage System for Community Sharing, First Prize, Technological Invention Award, Chinese Institute of Electronics, 2014.
  • Core Technologies and Industrialization of Feitian, Grand Prize, Science and Technology Progress Award, Chinese Institute of Electronics, 2017.
  • Domestic Exascale High-Performance AI Computing Platform, Grand Prize, Guangdong Science and Technology Progress Award, 2024.
  • Joint Graph-and-Model Application Platform Based on Large-Scale Graph Data Analytics, Annual Outstanding Achievement Award (Zu Chongzhi Award), 2025.
  • “Pengcheng Cloudbrain” Ultra-Large-Scale Domestic Intelligent Computing System and Industrialization Project, First Prize, State Scientific and Technological Progress Award, 2025.
  • 高可靠自维护存储系统核心技术及产业化,中国电子学会科技进步一等奖,2020 年。
  • 中创软件人才奖,2020 年。
  • 华为全球数据存储“奥林帕斯奖”,2021 年。
  • 教育部-华为“智能基座”优秀教师,2021 年。
  • 教育部高校计算机专业优秀教师奖励计划,2019 年。
  • 面向社区共享的高可用云存储系统,国家技术发明二等奖,2015 年。
  • 面向社区共享的高可用云存储系统,中国电子学会技术发明一等奖,2014 年。
  • 飞天云操作系统核心技术及产业化,中国电子学会科技进步特等奖,2017 年。
  • 国产 E 级高性能人工智能算力平台,广东省科技进步特等奖,2024 年。
  • 基于大规模图数据分析技术的图模联合应用平台,年度突出成果奖,祖冲之奖,2025 年。
  • “鹏城云脑”超大规模国产智能算力系统及产业化工程,国家科技进步一等奖,2025 年。

Academic Service 主要学术服务

Associate Editor:

ACM Transactions on Computer Systems, 2024 –

Program Committee Member:

OSDI 2018/2021/2023/2024/2025/2027

SOSP 2021/2024/2025

EuroSys 2019/2021/2022/2023/2024/2025/2026/2027

USENIX ATC 2025

ACM ATC 2026

NSDI 2024/2025/2027

ASPLOS 2024/2027

HPCA 2027

杂志副主编:

ACM Transactions on Computer Systems,2024 –

程序委员会委员:

OSDI 2018/2021/2023/2024/2025/2027

SOSP 2021/2024/2025

EuroSys 2019/2021/2022/2023/2024/2025/2026/2027

USENIX ATC 2025

ACM ATC 2026

NSDI 2024/2025/2027

ASPLOS 2024/2027

HPCA 2027

Projects 主要负责的科研项目

  1. 2025 – 2027, National Natural Science Foundation of China, Microservice Architecture and Key Technologies for Edge Heterogeneous Operating Systems.
  2. 2022 – 2024, National Natural Science Foundation of China, Data-Driven Methods and Management Mechanisms for Ubiquitous Storage Virtualization.
  3. 2023 – 2025, Ministry of Science and Technology 2030 Major Research Program, Unified Operations and Service Environment for Intelligent Computing Networks.
  4. 2018 – 2023, Director, university-level Joint Research Center for Distributed Processing Systems established by Tsinghua University and Inner Mongolia Horinger New Area Industrial Development Co., Ltd.
  5. 2009 – 2012, National Natural Science Foundation of China, Key Issues in Network-Based Multi-Machine Virtualization.
  1. 2025 年 – 2027 年,国家自然科学基金,面向端侧异构操作系统的微服务架构与关键技术,培育项目。
  2. 2022 年 – 2024 年,国家自然科学基金,数据驱动的泛在存储虚拟化方法和管理机制,重点专项。
  3. 2023 年 – 2025 年,科技部 2030 重大攻关项目,智能算力网统一运营与服务环境。
  4. 2018 年 – 2023 年,清华大学内蒙古和林格尔新区产业发展有限公司分布式处理系统校级联合研究中心,中心主任。
  5. 2009 年 – 2012 年,国家自然科学基金,基于网络的多机虚拟化技术关键问题研究。

Professional Experience 工作经历

  1. June 2004 – December 2006: Senior Software Engineer, Intel China Research Center.
  2. January 2007 – June 2026: Department of Computer Science and Technology, Tsinghua University; served successively as Assistant Researcher, Associate Professor, Associate Research Professor, and Research Professor.
  3. August 2026 – Present: Professor, School of Computer Science, Peking University.
  1. 2004 年 6 月 – 2006 年 12 月:英特尔中国研究中心高级软件工程师。
  2. 2007 年 1 月 – 2026 年 6 月:清华大学计算机科学与技术系,历任助理研究员、副教授、副研究员、研究员。
  3. 2026 年 8 月 – 至今:北京大学计算机学院教授。

Publications 论文

  1. Zebin Ren, Biao Cao, Kang Chen, Zhihui Yin, Qiushi Chen, Jielong Jian, Jiwei Xiong, Xinxing Wang, Yan Xing, Liguo Duan, Ran Zheng, Xianjun Meng, Zhenyu Hou, MetaDB: Putting File-System Structure Back into Distributed Databases, 24th USENIX Symposium on Networked Systems Design and Implementation (NSDI2027), May 11–13, 2027 Providence, RI, USA.
  2. Luofan Chen, Jiyang Wang, Guoyu Wang, Chongzhuo Yang, Sam H. Noh, Kang Chen, Cheng Li, PipeBWrite: Shortening the Buffered Write Critical Path with Deferred Non-Critical Steps, 25th USENIX Conference on File and Storage Technologies (FAST2027), February 23–25, 2027 Renton, WA, USA.
  3. Kaifu Tian, Youjie Zheng, Yiren Zhang, Yuyang You, Keyang Hu, Kang Chen, and Yu Chen. 2026. Turning Linux into a High-Performance Library OS with Flux. In ACM SIGOPS 32nd Symposium on Operating Systems Principles (SOSP ’26), September 29–October 2, 2026, Prague, Czechia.
  4. Liu Jun, Liu Jingxuan, Shenghao Yuan, David Sanan, Chen Kang, Cao Donggang and Yongwang Zhao, Formal Verification of a Memory Allocator for Rust Hypervisors: From Verified to Deployable Code with Functional Equivalence Guarantees, Formal Methods in Computer-Aided Design 2026 (FMCAD2026), Sep. 14 - 18, Graz, Austria.
  5. Mu Wang, Yiying Lin, Enhuan Dong, Shenghui Wei, Kang Chen, Tong Li, Yinchao Zhang, Renjie Xie, Su Yao, Ke Xu, Changqiao Xu, Forewarned is Forearmed: A Responsive Congestion Control with Non-intrusive Uplink Dynamics Capture, In Proceedings of the Annual conference of the ACM Special Interest Group on Data Communication on the applications, technologies, architectures, and protocols for computer communication (SIGCOMM2026).
  6. Luofan Chen, Chenhan Wang1, Weidong Zhang, Jinxin Chi, Hequan Zhang, Zanbo Wang, Chenyuan Wang, Lishu Luo, Sijin Wu, Junqi Hu, Jun Wang, Cheng Chen, Lixin Huang, Liyang Zhao, Yong Tian, Jun Guo, Youhui Bai, Wencong Xiao, Kang Chen, Cheng Li, Teaching The Old Dog New Tricks: Building Efficient Data Pipelines for Large-Scale LLM Pre-training, In Proceedings of the 20th Symposium on Operating Systems Design and Implementation (OSDI 2026), 2026, Jay Lepreau Best Paper Award.
  7. Yiming Li, Laiping Zhao, Zhiyuan Su, Guowei Liu, Wenhao Huang, Kang Chen, Zhaolin Duan, Jingjie Zong, Wenxin Li, Deze Zeng, Dong Zhang, Wenyu Qu, iRoute: Local Routing Table-based Workflow Management in Serverless Computing, In European Conference on Computer Systems (EuroSys 2026). ACM, 2026.
  8. Xiaohu Chai, Keyang Hu, Jianfeng Tan, Tiwei Bie, Guotao Tan, Tianyu Zhou, Anqi Shen, Dawei Shen, Xinyao Yang, Xin Chen, Xu Wang, Feng Yu, Zhengyu He, Dong Du, Yubin Xia, Kang Chen, Yu Chen, SKernel: An Elastic and Efficient Secure Container System at Scale with a Split-Kernel Architecture, In European Conference on Computer Systems (EuroSys 2026). ACM, 2026.
  9. Zhengyan Guo, Mingxing Zhang, Yingdi Shan, Kang Chen, Jinlei Jiang, Yongwei Wu. Accelerating Stream Processing Engines via Hardware Offloading. In Proceedings of the 2026 ACM SIGMOD (Special Interest Group on Management of Data) Conference (SIGMOD '26).
  10. Zi-Xuan Fu, Jia-Ju Bai, Hong-Bo Feng, Kang Chen, One DBMS, Two Modes, and a Bunch of Bugs: Catching Logic Bugs in Distributed DBMSs via Differential Testing, In Proceedings of the 2026 ACM SIGMOD (Special Interest Group on Management of Data) Conference (SIGMOD '26).
  11. Wenhao Huang, Zhaolin Duan, Laiping Zhao, Yuhao Zhang, Yanjie Wang, Yiming Li, Yihan Wang, Yichi Chen, Zhihang Tang, Kang Chen, Deze Zeng, Wenxin Li, Keqiu Li, μShare: Non-Intrusive Kernel Co-Locating on NVIDIA GPUs, IEEE International Symposium on High-Performance Computer Architecture (HPCA) 2026
  12. Jiahao Li, Biao Cao, Jielong Jian, Cheng Li, Sen Han, Yiduo Wang, Yufei Wu, Kang Chen, Liguo Duan, Jie Zhao, Zhihui Yin, Qiushi Chen, Jiwei Xiong, Fengyuan Liu, Yan Xing, Ran Zheng, Miao Yu, Feng Wu, Xianjun Meng, Mantle: Efficient Hierarchical Metadata Management for Cloud Object Storage Services, In Proceedings of 31st Symposium on Operating Systems Principles (SOSP2025). October 13 – 16, 2025.
  13. Yinchao Zhang, Su Yao, Yong Feng, Kang Chen, Tong Li, Zhuotao Liu, Yi Zhao, Lexuan Zhang, Xiangyu Gao, Feng Xiong, Qi Li, Ke Xu. Pegasus: A Universal Framework for Scalable Deep Learning Inference on the Dataplane[C]. In Proceedings of the Annual conference of the ACM Special Interest Group on Data Communication on the applications, technologies, architectures, and protocols for computer communication (SIGCOMM2025), September 8-11, 2025.
  14. Pucheng Dang, Di Huang, Dong Li, Kang Chen, Yuanbo Wen, Qi Guo and Xing Hu, MigGPT: Harnessing Large Language Models for Automated Migration of Out-of-Tree Linux Kernel Patches Across Versions, the Thirty-Ninth Annual Conference on Neural Information Processing Systems (NeurIPS 2025), San Diego, CA, USA, 2025. (Hightlight)
  15. Xun Sun, Mingxing Zhang, Yingdi Shan, Kang Chen, Jinlei Jiang, Yongwei Wu, Scalio: Scaling up DPU-based JBOF Key-value Store with NVME-oF Target Offload. In Proceedings of the 19th Symposium on Operating Systems Design and Implementation (OSDI 2025), 2025.
  16. Xiaohu Chai, Tianyu Zhou, Keyang Hu, Jianfeng Tan, Tiwei Bie, Anqi Shen, Dawei Shen, Qi Xing, Shun Song, Tongkai Yang, Le Gao, Feng Yu, Zhengyu He, Dong Du, Yubin Xia, Kang Chen, Yu Chen, Fork in the Road: Reflections and Optimizations for Cold Start Latency in Production Serverless Systems. In Proceedings of the 19th Symposium on Operating Systems Design and Implementation (OSDI 2025), 2025.
  17. Jianing You, Kang Chen, Laiping Zhao, Yiming Li, Yichi Chen, Yuxuan Du, Yanjie Wang, Luhang Wen, Keyang Hu, Keqiu Li, AlloyStack: A Library Operating System for Serverless Workflow Applications, In European Conference on Computer Systems (EuroSys 2025). ACM, 2025.
  18. Qian Xu, Juan Yang, Feng Zhang, Junda Pan, Kang Chen, Youren Shen, Amelie Chi Zhou, and Xiaoyong Du. 2025. Tribase: A Vector Data Query Engine for Reliable and Lossless Pruning Compression Using Triangle Inequalities. In Proceedings of the 2025 ACM SIGMOD (Special Interest Group on Management of Data) Conference (SIGMOD '25), June 2025, Article 82, 28 pages.
  19. Shaoyuan Chen, Hongtao Chen, Shaonan Ma, Yajie Qin, Zheng Wang, Weiyu Xie, Mingxing Zhang, Kang Chen, Xia Liao, Yingdi Shan, Jinlei Jiang, Yongwei Wu (2025). Scaling Asynchronous Graph Query Processing via Partitioned Stateful Traversal Machines. ICDE 2025.
  20. Hao Wu, Mingxing Zhang, Kang Chen, Xia Liao, Yingdi Shan, Yongwei Wu (2025). OOCC: One-round Optimistic Concurrency Control for Read-Only Disaggregated Transactions. ICDE 2025.
  21. Yuekai Jia, Kaifu Tian, Yuyang You, Yu Chen, and Kang Chen. Skyloft: A general high-efficiency scheduling framework in user space. In Proceedings of the 30th Symposium on Operating Systems Principles (SOSP 2024), 2024.
  22. Jialiang Huang, MingXing Zhang, Teng Ma, Zheng Liu, Sixing Lin, Kang Chen, Jinlei Jiang, Xia Liao, Yingdi Shan, Ning Zhang, Mengting Lu, Tao Ma, Haifeng Gong, and YongWei Wu. TrEnv: Transparently share serverless execution environments across different functions and nodes. In Proceedings of the 30th Symposium on Operating Systems Principles (SOSP 2024), 2024.
  23. Qian Xu, Juan Yang, Feng Zhang, Zheng Chen, Jiawei Guan, Kang Chen, Ju Fan, Youren Shen, Ke Yang, Yu Zhang, and Xiaoyong Du. Improving graph compression for efficient resource-constrained graph analytics. In Proceedings of the 50th International Conference on Very Large Databases (VLDB 2024), 2024.
  24. Feng Ren, Mingxing Zhang, Kang Chen, Huaxia Xia, Zuoning Chen, and Yongwei Wu. Scaling up memory disaggregated applications with SMART. In Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems(ASPLOS 2024), 2024.
  25. Weiyu Xie, Mingxing Zhang, Xia Liao, Kang Chen, Jinlei Jiang, Yongwei Wu, VertexSurge: Variable Length Graph Pattern Match on Billion-edge Graphs. In Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems(ASPLOS 2024), 2024.
  26. Kai Ma, Cheng Li, Enzuo Zhu, Ruichuan Chen, Feng Yan, and Kang Chen. Noctua: Towards practical and automated fine-grained consistency analysis. In European Conference on Computer Systems (EuroSys 2024). ACM, 2024.