个人主页：
https://kangchenpku.github.io/
主要研究方向
泛在操作系统 / 具身智能操作系统 / 系统软件
主要科研项目
1. 2025 年 – 2027 年，国家自然科学基金，面向端侧异构操作系统的微服务架构与关键技术，培育项目。
2. 2022 年 – 2024 年，国家自然科学基金，数据驱动的泛在存储虚拟化方法和管理机制，重点专项。
3. 2023 年 – 2025 年，科技部 2030 重大攻关项目，智能算力网统一运营与服务环境。
主要学术任职
杂志副主编：
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
Selected 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
