EPTI: Efficient Defence against Meltdown Attack for Unpatched VMs. - Zhichao Hua 001; Dong Du 003; Yubin Xia; Haibo Chen 001; Binyu Zang (USENIX ATC, 2018)

SplitPass: A Mutually Distrusting Two-Party Password Manager. - Yutao Liu; Dong Du 003; Yubin Xia; Haibo Chen 001; Binyu Zang; Zhenkai Liang (J. Comput. Sci. Technol., 2018)

XPC: architectural support for secure and efficient cross process call. - Dong Du 003; Zhichao Hua 001; Yubin Xia; Binyu Zang; Haibo Chen 001 (ISCA, 2019)

Using concurrent relational logic with helpers for verifying the AtomFS file system. - Mo Zou; Haoran Ding; Dong Du 003; Ming Fu; Ronghui Gu; Haibo Chen 001 (SOSP, 2019)

Catalyzer: Sub-millisecond Startup for Serverless Computing with Initialization-less Booting. - Dong Du 003; Tianyi Yu; Yubin Xia; Binyu Zang; Guanglu Yan; Chenggang Qin; Qixuan Wu; Haibo Chen 001 (ASPLOS, 2020)

Characterizing serverless platforms with serverlessbench. - Tianyi Yu; Qingyuan Liu; Dong Du 003; Yubin Xia; Binyu Zang; Ziqian Lu; Pingchao Yang; Chenggang Qin; Haibo Chen 001 (SoCC, 2020)

Iso-UniK: lightweight multi-process unikernel through memory protection keys. - Guanyu Li; Dong Du 003; Yubin Xia (Cybersecur., 2020)

Third-Eye: Practical and Context-Aware Inference of Causal Relationship Violations in Commodity Kernels. - Chuhong Yuan; Dong Du 003; Haibo Chen 001 (DIMVA, 2021)

Scalable Memory Protection in the PENGLAI Enclave. - Erhu Feng; Xu Lu; Dong Du 003; Bicheng Yang; Xueqiang Jiang; Yubin Xia; Binyu Zang; Haibo Chen 001 (OSDI, 2021)

Boosting Inter-process Communication with Architectural Support. - Yubin Xia; Dong Du 003; Zhichao Hua 001; Binyu Zang; Haibo Chen 001; Haibing Guan (ACM Trans. Comput. Syst., 2021)

Serverless computing on heterogeneous computers. - Dong Du 003; Qingyuan Liu; Xueqiang Jiang; Yubin Xia; Binyu Zang; Haibo Chen 001 (ASPLOS, 2022)

Heterogeneous Serverless Computing. - Dong Du 003; Yubin Xia; Binyu Zang; Haibo Chen 001 (ACM TUR-C, 2023)

The Gap Between Serverless Research and Real-world Systems. - Qingyuan Liu; Dong Du 003; Yubin Xia; Ping Zhang; Haibo Chen 001 (SoCC, 2023)

Efficient Distributed Secure Memory with Migratable Merkle Tree. - Erhu Feng; Dong Du 003; Yubin Xia; Haibo Chen 001 (HPCA, 2023)

Accelerating Extra Dimensional Page Walks for Confidential Computing. - Dong Du 003; Bicheng Yang; Yubin Xia; Haibo Chen 001 (MICRO, 2023)

sIOPMP: Scalable and Efficient I/O Protection for TEEs. - Erhu Feng; Dahu Feng; Dong Du 003; Yubin Xia; Wenbin Zheng; Siqi Zhao; Haibo Chen 001 (ASPLOS (2), 2024)

On-demand and Parallel Checkpoint/Restore for GPU Applications. - Yanning Yang; Dong Du 003; Haitao Song 001; Yubin Xia (SoCC, 2024)

sNPU: Trusted Execution Environments on Integrated NPUs. - Erhu Feng; Dahu Feng; Dong Du 003; Yubin Xia; Haibo Chen 001 (ISCA, 2024)

Using Dynamically Layered Definite Releases for Verifying the RefFS File System. - Mo Zou; Dong Du 003; Mingkai Dong 002; Haibo Chen 001 (OSDI, 2024)

Harmonizing Efficiency and Practicability: Optimizing Resource Utilization in Serverless Computing with Jiagu. - Qingyuan Liu; Yanning Yang; Dong Du 003; Yubin Xia; Ping Zhang; Jia Feng; James R. Larus; Haibo Chen 001 (USENIX ATC, 2024)

Jiagu: Optimizing Serverless Computing Resource Utilization with Harmonized Efficiency and Practicability. - Qingyuan Liu; Yanning Yang; Dong Du 003; Yubin Xia; Ping Zhang; Jia Feng; James R. Larus; Haibo Chen 001 (CoRR, 2024)

Dep-TEE: Decoupled Memory Protection for Secure and Scalable Inter-enclave Communication on RISC-V. - Shangjie Pan; Xuanyao Peng; Zeyuan Man; Xiquan Zhao; Dongrong Zhang; Bicheng Yang; Dong Du 003; Hang Lu; Yubin Xia; Xiaowei Li 001 (ASP-DAC, 2025)

D-VSync: Decoupled Rendering and Displaying for Smartphone Graphics. - Yuanpei Wu; Dong Du 003; Chao Xu; Yubin Xia; Ming Fu; Binyu Zang; Haibo Chen 001 (ASPLOS (1), 2025)

Topology-Aware Virtualization over Inter-Core Connected Neural Processing Units. - Dahu Feng; Erhu Feng; Dong Du 003; Pinjie Xu; Yubin Xia; Haibo Chen 001; Rong Zhao (ISCA, 2025)

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; et al. (OSDI, 2025)

HeteroPod: XPU-Accelerated Infrastructure Offloading for Commodity Cloud-Native Applications. - Bicheng Yang; Jingkai He; Dong Du 003; Yubin Xia; Haibo Chen 001 (CoRR, 2025)

L3: DIMM-PIM Integrated Architecture and Coordination for Scalable Long-Context LLM Inference. - Qingyuan Liu; Liyan Chen; Yanning Yang; Haocheng Wang; Dong Du 003; Zhigang Mao; Naifeng Jing; Yubin Xia; Haibo Chen 001 (CoRR, 2025)

Get Experience from Practice: LLM Agents with Record & Replay. - Erhu Feng; Wenbo Zhou; Zibin Liu; Le Chen; Yunpeng Dong; Cheng Zhang; Yisheng Zhao; Dong Du 003; Zhi-Hua Zhou; Yubin Xia; Haibo Chen 001 (CoRR, 2025)