IPADS

Associate Professor
Shanghai Jiao Tong University
800 Dongchuan Road, Minhang District, Shanghai, P.R.China
Zip/Postal Code: 200240
Email: gujinyu@sjtu.edu.cn

I am an associate professor in School of Software, Shanghai Jiao Tong University (SJTU). I received my bachelor's degree in software engineering from SJTU in 2016, and my Ph.D. degree in computer science from SJTU in 2021, advised by Prof. Haibo Chen, Prof. Yubin Xia, and Prof. Binyu Zang. My research mainly focuses on Operating Systems and Systems Security.

中文主页

Google Scholar | DBLP

I am always looking for self-motivated students who are interested in operating system areas. Drop me an E-mail if you want to join us or want to do research intern!

• SE2301 Introduction to Computer Systems (CSAPP)
• CS3601 Operating System Course Labs
• EI6711 Advanced Operating System

• Program Committee Member: EuroSys 2025/2023, Chinasys 2024
• Transaction Reviewer: TOCS, TCC, Chinese Journal of Computers
• Contest Judge: National Collegiate Operating Systems Competition, OpenHarmony Contest

Microkernel Operating System

• UnderBridge: Leveraging new hardware features to significantly reduce inter-process communication (IPC) latency in microkernel operating systems. (ATC '20)
• TxIPC: Enhancing system fault tolerance by introducing transactional abstractions to microkernel IPC. (ICDCS '21)
• EPK/HyBridge: Proposing a scalable, lightweight memory domain design; continuing the research approach of UnderBridge to further reduce IPC latency in microkernel operating systems. (ATC '22)
• TEE Security Kernel for OpenHarmony OS (Co-founder of the OpenTrustee Project)
• Split Container: Building confidential containers with microkernel + Confidential Virtual Machine (CVM). (Security '25)

System Software Research for Trusted Execution Environments (TEE)

• SGX-migration: Supporting dynamic migration in SGX trusted execution environments. (DSN '17)
• Enclavisor: Enhancing the flexibility and security of AMD SEV to support various secure scenarios. (TC '20)
• vTZ: Supporting ARM TrustZone virtualization through system design. (Security '17)
• UniTEE: Creating a unified programming abstraction across heterogeneous TEE platforms and supporting heterogeneous migration. (JCST '21)
• LightEnclave: Constructing multiple lightweight enclaves within a single SGX enclave. (Security '22)

Design of New Operating System Primitives

• Pisces: Designing a scalable persistent transactional memory programming interface for non-volatile memory (NVM). (ATC '19)
• LibASL: Designing highly scalable locks for big.LITTLE architectures. (PPoPP '22)
• Mitosis: A remote fork mechanism over RDMA interconnects. (OSDI '23)
• On-Demand Remote Paging: An OS paging mechanism for disaggregated memory architectures. (NSDI '25)
• Container Kernel Isolation: A hardware-software co-design for secure containers. (EuroSys '25)

Conference Paper:

• [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, April 28–30, 2025.
• [ICDCS] Wentai Li, kaijun Zhou, Jiacheng Shi, Xingman Chen, Yadong Liu, Luyuan Wang, Jinyu Gu ✉️. Understanding the IO Performance Gap between OS-level and VM-level Containers in High-Density Deployment. 44th IEEE International Conference on Distributed Computing Systems. New Jersey, USA, July 2024.
• [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, US, 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.
• [ICDCS] Wentai Li, Jinyu Gu ✉️, Nian Liu, Binyu Zang. Efficiently Recovering Stateful System Components of Multi-server Microkernels. In Proceedings of the 41st IEEE International Conference on Distributed Computing Systems, 2021. (Acceptance rate: 97/489 = 19.8%)
• [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. (Acceptance rate: 65/348 = 18.7%)
• [USENIX ATC] Jinyu Gu, Qianqian Yu, Xiayang Wang, Zhaoguo Wang, Binyu Zang, Haibing Guan, and Haibo Chen. Pisces: a scalable and efficient persistent transactional memory. USENIX Annual Technical Conference, Renton, WA, USA, July 2019. (Acceptance rate: 71/356 = 19.9%)
• [USENIX Security] Zhichao Hua, Jinyu Gu, Yubin Xia, Haibo Chen, Binyu Zang, and Haibing Guan. vTZ: Virtualizing ARM TrustZone. The 26th USENIX Security Symposium, Vancouver, Canada, August 2017. (Acceptance rate: 85/822 = 16.3%)
• [DSN] Jinyu Gu, Zhichao Hua, Yubin Xia, Haibo Chen, Binyu Zang, Haibing Guan, Jinming Li. Secure Live Migration of SGX Enclaves on Untrusted Cloud. The 47th IEEE/IFIP International Conference on Dependable Systems and Networks, Denver, CO, USA, 2017. (Acceptance rate: 49/220 = 22.3%)

Journal Paper:

• [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.
• [JCST] Wentai Li , Zixuan Wang, Jinyu Gu ✉️, Yubin Xia and Binyu Zang. Harmonizing Security and Performance in Microkernel File Servers. Journal of Computer Science and Technology, 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[J]. IEEE Transactions on Computers, 2023.
• [IEEE TC] Yubin Xia, Zhichao Hua, Yang Yu, Jinyu Gu, Haibo Chen, Binyu Zang and Haibing Guan. COLONY: A Privileged Trusted Execution Environment with Extensibility. IEEE Transactions on Computers, 2021.
• [JCST] Jinyu Gu, Hao Li, Yubin Xia, Haibo Chen, Cheng-gang Qin, and Zheng-yu He. Unified Enclave Abstraction and Secure Enclave Migration on Heterogeneous TEE Architectures. Journal of Computer Science and Technology, 2021.
• [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.
• [SCIS] Zhichao Hua, Yang Yu, Jinyu Gu, Yubin Xia, Haibo Chen and Binyu Zang. TZContainer: Protecting Container from Untrusted OS with ARM TrustZone. In Proceedings of SCIENCE CHINA Information Sciences, 2020.

(✉️ means I am the corresponding author)

• Top Ten Key Software Technology Achievements, Exemplary Software School Alliance, 2024
• OpenHarmony Leading Project, 2024
• Outstanding Instructor, National Collegiate Computer System Capability Competition - Operating System Design, 2024
• Special Innovation Award Instructor, OpenHarmony Competition Training Camp, 2024
• Special Contribution Award, Top Ten Technical Challenges of Intelligent Terminal Operating Systems, 2023