Home | Department of Computer Science and Technology, Tsinghua University

yuchen@tsinghua.edu.cn github.com/chyyuu (+86) 13911178569

Room 915, Building 1, Ziqiang Technology Building, Tsinghua University, Beijing 100084, China.

Research Interests

Operating Systems: investigating the principles, design, and implementation of operating systems that need high performance and high availability with reduced overhead for emerging storage, networking, and computing architectures.
Operating system performance optimization for multi-core architectures.
Flexible OS kernel components across hardware privilege interfaces.
Operating systems with customized hardware and languages, including Rust and RISC-V.
Operating system vulnerability analysis.
Operating system automatic updating.

Experience

Tenured Associate Professor, Department of Computer Science and Technology, Tsinghua University, 2019-present.
Associate Professor, Department of Computer Science and Technology, Tsinghua University, 2007-2019.
Assistant Professor, Department of Computer Science and Technology, Tsinghua University, 2004-2007.
Visiting Scholar, PDOS group, CSAIL MIT, 2013.
Post-Doctoral, Department of Computer Science and Technology, Tsinghua University, 2000-2003.

Education

Ph.D., Computer Science and Technology, National University of Defense Technology, Changsha, China, 2000.
M.S., Computer Science and Technology, National University of Defense Technology, Changsha, China, 1997.
B.E., Computer Science and Technology, National University of Defense Technology, Changsha, China, 1993.

Publications

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.
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.
Skyloft: A General High-Efficient Scheduling Framework in User Space
Yuekai Jia, Kaifu Tian, Yuyang You, Yu Chen, Kang Chen. SOSP 2024.
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.
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.
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.
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

Projects

2025.11-2028.10 Development and Verification of the Technology Foundation for Industrial Robots, National Science and Technology Major Project.
2024.12-2028.11 Key Technologies for a Fully Domestic Power IoT Operating System with Cloud-Edge-Device Collaboration, National Science and Technology Major Project.
2025.9-2027.9 Research and Application of Key Technologies for Componentized Kernel-Level Virtualization Software, Major Project of Quan Cheng Laboratory.
2023.1-2024.12 Theoretical Foundations, Construction Methods, and Runtime Mechanisms of Secure Operating System Kernels, Key Project of Quan Cheng Laboratory.
2018.1-2021.12 Semantic Defect Analysis of Operating Systems Based on Fine-Grained Differential Comparison, National Natural Science Foundation of China.
2017.7-2020.12 Intelligent Mining System for Software and System Vulnerabilities, National Key R&D Program of China.
2012.10-2016.11 Analysis and Security Evaluation of Open-Source Operating System Kernels, National Science and Technology Major Project for Core Electronic Devices, High-End General-Purpose Chips, and Basic Software Products.
2012.1-2015.12 Key Technologies for Parallel Optimization of Operating Systems on Many-Core Architectures, National Natural Science Foundation of China.
2011.7-2014.12 Smart Home Standards System Based on the Internet of Things, National Key Technologies R&D Program of China.
2009.1-2011.12 Supporting System for Pervasive Computing Environments, National High-Tech R&D Program of China.

Awards and Honors

Research

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 Technological Invention, Chinese Institute of Electronics, 2014.
Three other provincial/ministerial level awards related to operating systems/system softwares (2016~current)

Education

System Capability Pioneer Award, The 10th National Forum on System Capability for Computer Majors in Higher Education Institutions, China, 2026
Outstanding Teacher of the Ministry of Education-Huawei “Intelligent Base” Program, China, 2023
Outstanding Teacher of Computer Science in Higher Education Institutions, China, 2019
Course of Operating Systems, Excellent Courses of MOOC Alliance for Computer Education in Chinese Universities, China, 2018.
Course of Operating Systems, Excellent Course of Tsinghua, Tsinghua University, 2018, 2013, 2008.
Book of Embedded System, Excellent Teaching Materials for Beijing Higher Education, 2008.
Experimental environment of operating system course, First Prize of Tsinghua University Excellent Teaching Software, 2005.

Professional Activities

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.

Selected Books

“Operating System Internal and Design Principles, 7th/6th/5th”, Chinese Book, William Stallings, Translator: Xiangqun Chen, Yu Chen. Publishing House of Electronics Industry, 2016-2014-2005.
“Operating system experiment instruction”, Chinese Book, Yu Chen, Yong Xiang, Tsinghua University Press, 2013.
“Embedded System Principle and Application Development”, Chinese Book, Yu Chen, Chao Han, China Machine Press, 2008.
“Operating System Design & Implementation, 3rd”, Chinese Book, Andrew S. Tanenbaum, Translator: Yu Chen, Weijun Chen, Publishing House of Electronics Industry, 2007.
“Analysis and Practice of Open Source Embedded System Software based on SkyEye and ARM”, Chinese Book, Yu Chen, Ye Yang, Ming Li, BUAA Press, 2004.