Education background
B.E., Computer Science and Technology, National University of Defense Technology, Changsha, China, 1993.
M.S., Computer Science and Technology, National University of Defense Technology, Changsha, China, 1997.
Ph.D., Computer Science and Technology, National University of Defense Technology, Changsha, China, 2000.
Social service
Technical Program Committee Member of 2023 USENIX Annual Technical Conference, USENIX ATC 2023.
Technical Program Committee Member of the 27th USENIX Symposium on Operating Systems Principles, SOSP 2019.
Local Chair of The 13th ACM International Joint Conference on Pervasive and Ubiquitous Computing 2011, Ubicomp 2011.
Vice Chair of The 7th IEEE International Conference on Ubiquitous Intelligence and Computing, UIC 2010.
Areas of Research Interests/ Research Projects
Operating System, System software, Industrial system software National Science and Technology Major Project: Development and Verification of the Technology Foundation for Industrial Robots (2025-2028);
National Science and Technology Major Project: Key Technologies for a Fully Domestic Power IoT Operating System with Cloud-Edge-Device Collaboration (2024-2028);
Major Project of Quan Cheng Laboratory: Research and Application of Key Technologies for Componentized Kernel-Level Virtualization Software (2025-2027);
Key Project of Quan Cheng Laboratory: Theoretical Foundations, Construction Methods, and Runtime Mechanisms of Secure Operating System Kernels (2023-2024);
National Natural Science Foundation of China: Semantic Defect Analysis of Operating Systems Based on Fine-Grained Differential Comparison (2018-2021);
National Key R&D Program of China: Intelligent Mining System for Software and System Vulnerabilities (2017-2020).
Research Status
My primary research interests include AI4OS (AI for Operating Systems), OS4AI (Operating Systems for AI), system-level performance optimization and security enhancement for emerging hardware architectures and programming languages, as well as full-stack system optimization for AI robots. At the Department of Computer Science and Technology, Tsinghua University, I am responsible for teaching courses such as Operating Systems and Advanced Operating Systems.
Throughout my career, I have led or participated in numerous high-level research initiatives, including projects funded by the National Natural Science Foundation of China (NSFC), National Key R&D Programs, the 863 Program, the "Core Electronic Devices, High-end Generic Chips and Fundamental Software" (Nucleus) Program, and various Ministry of Science and Technology key projects. I have been honored with one National Science and Technology Progress Award (Second Class) and three provincial/ministerial-level first-class awards.
I have published over 60 high-impact academic papers in top-tier conferences in the field of operating systems, including SOSP, OSDI, ASPLOS, USENIX ATC, and EuroSys. Additionally, I have authored three textbooks and reference books on operating systems, translated two academic books, and served as a chair and program committee member for numerous influential international and domestic academic conferences.
Honors And Awards
Key Technologies and Applications of Pervasive Computing Hardware and Software, Second Prize of National Prize for Progress in Science and Technology,State Department of China, 2015.
Pervasive Computing Key Technologies and Supporting Platforms, First Prize of Science and Technology Progress Award, Ministry of Education, 2014.
Academic Achievement
[1] SKernel: An Elastic and Efficient Secure Container System at Scale with a Split-Kernel Architecture Xiaohu Chai, Keyang Hu, Jianfeng Tan, Tiwei Bie, Guotao Tan, Tianyu Zhou, Anqi Shen,Xinyao Yang, Xin Chen, Xu Wang, Feng Yu, Zhengyu He, Dong Du, Yubin Xia,Kang Chen, Yu Chen. EuroSys 2026.
[2] Fork in the Road:Reflections and Optimizations for Cold Start Latency in Production Serverless Systems 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, and Yu Chen. OSDI 2025.
[3] Skyloft: A General High-Efficient Scheduling Framework in User Space Yuekai Jia, Kaifu Tian, Yuyang You, Yu Chen, Kang Chen. SOSP 2024.
[4] Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor Zhenyang Dai, Shuang Liu, Vilhelm Sjöberg, Xupeng Li, Yu Chen, Wenhao Wang, Yuekai Jia, Sean Noble Anderson, Laila Elbeheiry, Shubham Sondhi, Yu Zhang, Zhaozhong Ni, Shoumeng Yan, Ronghui Gu, Zhengyu He. ASPLOS 2024.
[5] PatternS: an intelligent hybrid memory scheduler driven by page pattern recognition Yanjie ZHEN, Weining Chen, Wei Gao, Ju Ren, Kang Chen, Yu Chen. Journal of Systems Architecture 2024.
[6] A smart hybrid memory scheduling approach using neural models Yanjie ZHEN, Huijun Zhang, Yongheng Deng, Weining Chen, Wei Gao, Ju Ren, Yu Chen. SCIENCE CHINA Information Sciences 2024.
[7] Intelligent hybrid memory scheduling based on page pattern recognition Yanjie ZHEN, Weining Chen, Wei Gao, Ju Ren, Kang Chen, Yu Chen. DATE 2024.
Full publication list
