Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Academic Achievements
1. The work, Copier, received the best paper award at SOSP 2025.
2. A paper titled 'How to Copy Memory? Coordinated Asynchronous Copy as a First-Class OS Service' was accepted by SOSP 2025.
3. Two papers were accepted by OSDI 2025: 'OS Rendering Service Made Parallel with Out-of-Order Execution and In-Order Commit' and 'Fork in the Road: Reflections and Optimizations for Cold Start Latency in Production Serverless Systems'.
4. A paper titled 'D-VSync: Decoupled Rendering and Displaying for Smartphone Graphics' was accepted by ASPLOS 2025 and integrated into commercial smartphone OS, HarmonyOS Next.
5. A paper titled 'On-demand and Parallel Checkpoint/Restore for GPU Applications' was accepted by ACM SoCC 2024.
6. A paper titled 'Harmonizing Efficiency and Practicability: Optimizing Resource Utilization in Serverless Computing with Jiagu' was accepted by USENIX ATC 2024.
7. A paper titled 'Using Dynamically Layered Definite Releases for Verifying the RefFS File System' was accepted by OSDI 2024.
8. A paper titled 'sNPU: Trusted Execution Environments on Integrated NPUs' was accepted by ISCA 2024.
Research Experience
Has built several systems including Penglai TEE (state-of-the-art RISC-V TEE), serverless systems (Catalyzer, ServerlessBench, and Molecule), and RISC-V IPC extension (XPC). Also involved in open-source communities such as RISC-V (SPMP TG chair), openEuler (RISC-V SIG maintainer), and OpenHarmony (RISC-V and TEE SIG maintainer).
Education
Information not provided
Background
Assistant Professor at the Institute of Parallel and Distributed Systems (IPADS), Shanghai Jiao Tong University. Research interests include operating systems, architecture, system security (TEE), serverless computing, and HW/SW co-design. Currently working on research projects about the intersection of Operating Systems (especially OS kernels) and Large Language Models (LLMs).
Miscellany
Seeking self-motivated students to join research projects focusing on the intersection of Operating Systems (especially OS kernels) and Large Language Models (LLMs). Open to hearing other thoughts or ideas.