Veil: A Protected Services Framework for Confidential Virtual Machines. - Adil Ahmad; Botong Ou; Congyu Liu; Xiaokuan Zhang; Pedro Fonseca 001 (ASPLOS (4), 2023)

KIT: Testing OS-Level Virtualization for Functional Interference Bugs. - Congyu Liu; Sishuai Gong; Pedro Fonseca 001 (ASPLOS (2), 2023)

μSwitch: Fast Kernel Context Isolation with Implicit Context Switches. - Dinglan Peng; Congyu Liu; Tapti Palit; Pedro Fonseca 001; Anjo Vahldiek-Oberwagner; Mona Vij (SP, 2023)

ParDiff: Practical Static Differential Analysis of Network Protocol Parsers. - Mingwei Zheng; Qingkai Shi; Xuwei Liu; Xiangzhe Xu; Le Yu; Congyu Liu; Guannan Wei 001; Xiangyu Zhang 001 (Proc. ACM Program. Lang., 2024)

Pegasus: Transparent and Unified Kernel-Bypass Networking for Fast Local and Remote Communication. - Dinglan Peng; Congyu Liu; Tapti Palit; Anjo Vahldiek-Oberwagner; Mona Vij; Pedro Fonseca 001 (EuroSys, 2025)