Secure Live Migration of SGX Enclaves on Untrusted Cloud. - Jinyu Gu 001; Zhichao Hua 001; Yubin Xia; Haibo Chen 001; Binyu Zang; Haibing Guan; Jinming Li (DSN, 2017)

vTZ: Virtualizing ARM TrustZone. - Zhichao Hua 001; Jinyu Gu 001; Yubin Xia; Haibo Chen 001; Binyu Zang; Haibing Guan (USENIX Security Symposium, 2017)

Pisces: A Scalable and Efficient Persistent Transactional Memory. - Jinyu Gu 001; Qianqian Yu; Xiayang Wang; Zhaoguo Wang; Binyu Zang; Haibing Guan; Haibo Chen 001 (USENIX ATC, 2019)

Harmonizing Performance and Isolation in Microkernels with Efficient Intra-kernel Isolation and Communication. - Jinyu Gu 001; Xinyue Wu; Wentai Li; Nian Liu; Zeyu Mi; Yubin Xia; Haibo Chen 001 (USENIX ATC, 2020)

Efficiently Recovering Stateful System Components of Multi-server Microkernels. - Wentai Li; Jinyu Gu 001; Nian Liu; Binyu Zang (ICDCS, 2021)

TZ-Container: protecting container from untrusted OS with ARM TrustZone. - Zhichao Hua 001; Yang Yu; Jinyu Gu 001; Yubin Xia; Haibo Chen 001; Binyu Zang (Sci. China Inf. Sci., 2021)

Enclavisor: A Hardware-Software Co-Design for Enclaves on Untrusted Cloud. - Jinyu Gu 001; Xinyue Wu; Bojun Zhu; Yubin Xia; Binyu Zang; Haibing Guan; Haibo Chen 001 (IEEE Trans. Computers, 2021)

Asymmetry-aware scalable locking. - Nian Liu; Jinyu Gu 001; Dahai Tang; Kenli Li 001; Binyu Zang; Haibo Chen 001 (PPoPP, 2022)

EPK: Scalable and Efficient Memory Protection Keys. - Jinyu Gu 001; Hao Li; Wentai Li; Yubin Xia; Haibo Chen 001 (USENIX ATC, 2022)

A Hardware-Software Co-design for Efficient Intra-Enclave Isolation. - Jinyu Gu 001; Bojun Zhu; Mingyu Li; Wentai Li; Yubin Xia; Haibo Chen 001 (USENIX Security Symposium, 2022)

Booting 10K Serverless Functions within One Second via RDMA-based Remote Fork. - Xingda Wei; Tianxia Wang; Jinyu Gu 001; Yuhan Yang; Fangming Lu; Rong Chen 001; Haibo Chen 001 (CoRR, 2022)

Unified Enclave Abstraction and Secure Enclave Migration on Heterogeneous Security Architectures. - Jinyu Gu 001; Hao Li; Yubin Xia; Haibo Chen 001; Chenggang Qin; Zhengyu He (J. Comput. Sci. Technol., 2022)

Colony: A Privileged Trusted Execution Environment With Extensibility. - Yubin Xia; Zhichao Hua 001; Yang Yu; Jinyu Gu 001; Haibo Chen 001; Binyu Zang; Haibing Guan (IEEE Trans. Computers, 2022)

No Provisioned Concurrency: Fast RDMA-codesigned Remote Fork for Serverless Computing. - Xingda Wei; Fangming Lu; Tianxia Wang; Jinyu Gu 001; Yuhan Yang; Rong Chen 001; Haibo Chen 001 (OSDI, 2023)

Transactional Indexes on (RDMA or CXL-based) Disaggregated Memory with Repairable Transaction. - Xingda Wei; Haotian Wang; Tianxia Wang; Rong Chen 001; Jinyu Gu 001; Pengfei Zuo; Haibo Chen 001 (CoRR, 2023)

Understanding and Mitigating Twin Function Misuses in Operating System Kernel. - Jinyu Gu 001; Jiacheng Shi; Haroran Su; Wentai Li; Binyu Zang; Haibing Guan; Haibo Chen 001 (IEEE Trans. Computers, 2023)

Understanding the IO Performance Gap Between OS-Level and VM-Level Containers in High-Density Deployment. - Wentai Li; Kaijun Zhou; Jiacheng Shi; Xingman Chen; Yadong Liu; Luyuan Wang; Jinyu Gu 001 (ICDCS, 2024)

Characterizing Network Requirements for GPU API Remoting in AI Applications. - Tianxia Wang; Zhuofu Chen; Xingda Wei; Jinyu Gu 001; Rong Chen 001; Haibo Chen 001 (CoRR, 2024)

PARALLELGPUOS: A Concurrent OS-level GPU Checkpoint and Restore System using Validated Speculation. - Zhuobin Huang; Xingda Wei; Yingyi Hao; Rong Chen 001; Mingcong Han; Jinyu Gu 001; Haibo Chen 001 (CoRR, 2024)

A Hardware-Software Co-Design for Efficient Secure Containers. - Jiacheng Shi; Yang Yu; Jinyu Gu 001; Yubin Xia (EuroSys, 2025)

ODRP: On-Demand Remote Paging with Programmable RDMA. - Zixuan Wang; Xingda Wei; Jinyu Gu 001; Hongrui Xie; Rong Chen 001; Haibo Chen 001 (NSDI, 2025)

μEFI: A Microkernel-Style UEFI with Isolation and Transparency. - Le Chen; Yiyang Wu; Jinyu Gu 001; Yubin Xia; Haibo Chen 001 (USENIX ATC, 2025)

SAVE: Software-Implemented Fault Tolerance for Model Inference against GPU Memory Bit Flips. - Wenxin Zheng; Bin Xu; Jinyu Gu 001; Haibo Chen 001 (USENIX ATC, 2025)

Harmonizing Security and Performance in Microkernel File Servers. - Wentai Li; Zi-Xuan Wang; Jinyu Gu 001; Yubin Xia; Binyu Zang (J. Comput. Sci. Technol., 2025)

HTLL: Latency-Aware Scalable Blocking Mutex. - Ziqu Yu; Jinyu Gu 001; Zijian Wu; Nian Liu; Jian Guo (IEEE Trans. Parallel Distributed Syst., 2025)

Leveraging OS-Level Primitives for Robotic Action Management. - Wenxin Zheng; Boyang Li; Bin Xu; Erhu Feng; Jinyu Gu 001; Haibo Chen 001 (CoRR, 2025)