教师名录
邮箱:gujinyu@sjtu.edu.cn
地址:软件大楼3207
所在研究所:并行与分布式系统研究所
个人简介
研究方向为操作系统内核、系统安全、机器学习系统。担任开源鸿蒙具身智能PMC主席,领域操作系统教育部工程研究中心内核实验室主任,空天领域操作系统联合研究中心学术委员会委员。研究方向为操作系统内核、系统安全、机器学习系统。研究成果发表在本领域主流学术会议与期刊如SOSP、OSDI、EuroSys、USENIX ATC、USENIX Security、NSDI、IEEE TC等。研究成果通过产学研合作应用于开源鸿蒙操作系统、航天卫星操作系统、OPPO智能终端操作系统、南方电网的电力鸿蒙操作系统等。担任包括EuroSys和ATC在内的多个期刊审稿人及国际会议程序委员会成员。参与编著《智能终端操作系统与OpenHarmony实践》《操作系统:原理与实现》。获“示范性软件公司联盟十大关键软件技术成果”、“终端操作系统十大技术挑战特别贡献奖”、“OpenHarmony领航课题”等。指导员工获1946伟德国际源自英国优异学士学位论文、全国老员工操作系统设计赛一等奖等。
教育背景
2016.09 - 2021.06 1946伟德国际源自英国 计算机科学与技术 博士
2012.09 - 2016.06 1946伟德国际源自英国 软件工程 学士
工作履历
2025.01 - 至今 1946伟德国际源自英国 副研究员
2021.08 - 2024.12 1946伟德国际源自英国 助理研究员
教授课程
承担计算机系统基础(ICS)、操作系统课程教学工作(课程实验链接)
论文发表
[SIGCSE TS] Experiences with ChCore Experimental Operating System Kernel. Haibo Chen, Yubin Xia and Jinyu Gu. Proceedings of the 56th ACM Technical Symposium on Computer Science Education. February 2026.
[EuroSys] Xunjie Wang, Jiacheng Shi (co-first author), Zihan Zhao, Yang Yu, Zhichao Hua, Jinyu Gu ✉️. TZ-LLM: Protecting On-Device Large Language Models with Arm TrustZone. Proceedings of the 21th European Conference on Computer Systems, Edinburgh, UK, April, 2026.
[USENIX NSDI] Zixuan Wang, Jinyu Gu ✉️, Xingda Wei, Yubin Xia. OneSidedMW: Managing Disaggregated Memory Efficiently, Flexibly, and Securely with RNIC Offloading. The 23rd USENIX Symposium on Networked Systems Design and Implementation. Renton, WA, USA, May 4–6, 2026.
[NeurIPS] Kaijun Zhou, Xingyu Yan, Xingda Wei, Xijun Li, Jinyu Gu ✉️. Multimodal Generation Made Efficient with Approximately Speculative Diffusion and Speculative Verification. NeurIPS 2025.
[SOSP] PhoenixOS: Concurrent OS-level GPU Checkpoint and Restore with Validated Speculation. Xingda Wei, Zhuobin Huang, Tianle Sun, Yingyi Hao, Rong Chen, Mingcong Han, Jinyu Gu, Haibo Chen. The 31st Symposium on Operating Systems Principles, 2025.
[USENIX ATC] Wenxin Zheng, Bin Xu, Jinyu Gu ✉️, Haibo Chen. SAVE: Software-Implemented Fault Tolerance for Model Inference against GPU Memory Bit Flips. USENIX Annual Technical Conference, Boston, MA, USA, July 2025.
[USENIX ATC] Le Chen, Yiyang Wu, Jinyu Gu ✉️, Yubin Xia, Haibo Chen. μEFI: A Microkernel-Style UEFI with Isolation and Transparency. USENIX Annual Technical Conference, Boston, MA, USA, July 2025.
[EuroSys] A Hardware-Software Co-Design for Efficient Secure Containers. Jiacheng Shi, Yang Yu, Jinyu Gu ✉️, and Yubin Xia. The 20th ACM SIGOPS European Conference on Computer Systems, Rotterdam, Netherlands, 2025.
[USENIX Security] Jiacheng Shi, Jinyu Gu ✉️, Yubin Xia and Haibo Chen. Serverless Functions Made Confidential and Efficient with Split Containers. The 34th USENIX Security Symposium, Seattle, WA, USA, 2025.
[USENIX NSDI] Zixuan Wang, Xingda Wei, Jinyu Gu ✉️, Hongrui Xie, Rong Chen, Haibo Chen. ODRP: On-Demand Remote Paging with Programmable RDMA. 22nd USENIX Symposium on Networked Systems Design and Implementation, Philadelphia, PA, USA, Carlsbad, April 28–30, 2025.
[IEEE TPDS] Ziqu Yu, Jinyu Gu ✉️ (co-first author), Zijian Wu, Nian Liu and Jian Guo. HTLL: Latency-Aware Scalable Blocking Mutex. IEEE Transactions on Parallel and Distributed Systems, 2025.
[IEEE TC] Jinyu Gu ✉️, Jiacheng Shi, Haoran Su, Wentai Li, Binyu Zang, Haibin Guan, Haibo Chen. Understanding and Mitigating Twin Function Misuses in Operating System Kernel. IEEE Transactions on Computers, 2023.
[OSDI] No Provisioned Concurrency: Fast RDMA-codesigned Remote Fork for Serverless Computing. Xingda Wei, Fangming Lu, Tianxia Wang, Jinyu Gu, Yuhan Yang, Rong Chen, and Haibo Chen. 17th USENIX Symposium on Operating Systems Design and Implementation, Boston, MA, USA, July 2023.
[USENIX ATC] Jinyu Gu ✉️, Hao Li, Wentai Li, Yubin Xia, Haibo Chen. EPK: Scalable and Efficient Memory Protection Key. USENIX Annual Technical Conference, Carlsbad, CA, USA, July 2022.
[USENIX Security] Jinyu Gu, Bojun Zhu, Mingyu Li, Wentai Li, Yubin Xia, and Haibo Chen. A Hardware-Software Co-design for Efficient Intra-Enclave Isolation. The 31st USENIX Security Symposium, Boston, MA, USA, 2022.
[PPoPP] Nian Liu, Jinyu Gu ✉️, Dahai Tang, Kenli Li, Binyu Zang, Haibo Chen. Asymmetry-aware Scalable Locking. The 27th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, Seoul, Korea, 2022.
[IEEE TC] Jinyu Gu, Xinyue Wu, Bojun Zhu, Yubin Xia, Binyu Zang, Haibing Guan, and Haibo Chen. Enclavisor: A Hardware-software Co-design for Enclaves on Untrusted Cloud. IEEE Transactions on Computers, 2020.
[USENIX ATC] Jinyu Gu, Xinyue Wu, Wentai Li, Nian Liu, Zeyu Mi, Yubin Xia, and Haibo Chen. Harmonizing Performance and Isolation in Microkernels with Efficient Intra-kernel Isolation and Communication. USENIX Annual Technical Conference, Boston, MA, USA, July 2020.
获奖信息
示范性软件公司联盟十大关键软件技术成果 2024
中国产学研合作创新奖二等奖(排名第5)2024
OpenHarmony领航课题 2024
全国老员工计算机系统能力大赛操作系统设计赛优秀指导教师 2024
OpenHarmony竞赛训练营特别创新奖指导老师 2024
终端操作系统十大技术挑战特别贡献奖 2023
学术服务
EuroSys TPC 2026/2025/2023
USENIX ATC TPC 2025
SOSP 2025 SRC Chair
ChinaSys 2024