陈渝 Yu Chen

研究兴趣

• 操作系统：研究面向新型存储、网络和计算体系结构的高性能、高可用、低开销操作系统原理、设计与实现。
• 面向多核体系结构的操作系统性能优化。
• 跨硬件特权接口的灵活操作系统内核组件。
• 面向 Rust、RISC-V 等定制硬件和语言生态的操作系统。
• 操作系统漏洞分析。
• 操作系统自动更新。

工作经历

• 长聘副教授，清华大学计算机科学与技术系，2019 至今。
• 副教授，清华大学计算机科学与技术系，2007-2019。
• 助理教授，清华大学计算机科学与技术系，2004-2007。
• 访问学者，麻省理工学院 CSAIL PDOS 组，2013。
• 博士后，清华大学计算机科学与技术系，2000-2003。

教育背景

• 博士，计算机科学与技术，国防科技大学，2000。
• 硕士，计算机科学与技术，国防科技大学，1997。
• 学士，计算机科学与技术，国防科技大学，1993。

论文发表

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.

完整论文列表

科研项目

• 2025.11-2028.10 工业机器人技术底座研发及验证，国家科技重大专项课题。
• 2024.12-2028.11 云边端协同的全栈国产化电力专用物联操作系统关键技术，国家科技重大专项课题。
• 2025.9-2027.9 组件化内核级虚拟化软件关键技术研究与应用，泉城实验室重大项目。
• 2023.1-2024.12 安全操作系统内核的理论基础、构造方法和运行机制，泉城实验室重点项目。
• 2018.1-2021.12 基于细粒度差异性比较的操作系统语义缺陷分析，国家自然科学基金。
• 2017.7-2020.12 软件与系统漏洞智慧挖掘系统，国家重点研发计划课题。
• 2012.10-2016.11 开源操作系统内核分析和安全性评估，核高基重大专项课题。
• 2012.1-2015.12 面向众核体系结构的操作系统并行优化关键技术研究，国家自然科学基金。
• 2011.7-2014.12 基于物联网的智能家居标准体系，国家科技支撑计划课题。
• 2009.1-2011.12 普适计算环境支撑系统，国家 863 计划课题。

获奖

科研

• 普适计算软硬件关键技术及应用，国家科学技术进步奖二等奖，国务院，2015。
• 普适计算关键技术及支撑平台，中国电子学会技术发明奖一等奖，2014。
• 另获 3 项操作系统/系统软件相关省部级奖励，2016 至今。

教学

• 系统能力先锋奖，第十届全国高校计算机类专业系统能力高峰论坛，2026。
• 教育部-华为“智能基座”优秀教师，2023。
• 高校计算机专业优秀教师，2019。
• 操作系统课程，中国高校计算机教育 MOOC 联盟优秀课程，2018。
• 操作系统课程，清华大学精品课程，2018、2013、2008。
• 嵌入式系统教材，北京高等教育精品教材，2008。
• 操作系统课程实验环境，清华大学优秀教学软件一等奖，2005。

学术任职

• 2023 USENIX 年度技术会议（USENIX ATC 2023）技术程序委员会委员。
• 第 27 届 ACM 操作系统原理研讨会（SOSP 2019）技术程序委员会委员。
• 第 13 届 ACM 国际泛在计算联合会议（Ubicomp 2011）本地主席。
• 第 7 届 IEEE 泛在智能与计算国际会议（UIC 2010）副主席。

著作与译著

• 《操作系统：精髓与设计原理》第 7/6/5 版，William Stallings 著，陈向群、陈渝译，电子工业出版社，2016、2014、2005。
• 《操作系统实验指导》，陈渝、向勇，清华大学出版社，2013。
• 《嵌入式系统原理与应用开发》，陈渝、韩超，机械工业出版社，2008。
• 《操作系统设计与实现》第 3 版，Andrew S. Tanenbaum 著，陈渝、陈伟俊译，电子工业出版社，2007。
• 《基于 SkyEye 和 ARM 的开源嵌入式系统软件分析与实践》，陈渝、杨晔、李明，北京航空航天大学出版社，2004。

Powered by Jekyll.