Inspector Gadget: A Framework for Inferring TCP Congestion Control Algorithms and Protocol Configurations. - Sishuai Gong; Usama Naseer; Theophilus Benson (TMA, 2020)

On-demand-fork: a microsecond fork for memory-intensive and latency-sensitive applications. - Kaiyang Zhao 002; Sishuai Gong; Pedro Fonseca 001 (EuroSys, 2021)

Snowboard: Finding Kernel Concurrency Bugs through Systematic Inter-thread Communication Analysis. - Sishuai Gong; Deniz Altinbüken; Pedro Fonseca 001; Petros Maniatis (SOSP, 2021)

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

Snowcat: Efficient Kernel Concurrency Testing using a Learned Coverage Predictor. - Sishuai Gong; Dinglan Peng; Deniz Altinbüken; Pedro Fonseca 001; Petros Maniatis (SOSP, 2023)

VeriSMo: A Verified Security Module for Confidential VMs. - Ziqiao Zhou; Anjali; Weiteng Chen; Sishuai Gong; Chris Hawblitzel; Weidong Cui (OSDI, 2024)

Snowplow: Effective Kernel Fuzzing with a Learned White-box Test Mutator. - Sishuai Gong; Wang Rui; Deniz Altinbüken; Pedro Fonseca 001; Petros Maniatis (ASPLOS (2), 2025)

KRR: Efficient and Scalable Kernel Record Replay. - Tianren Zhang; Sishuai Gong; Pedro Fonseca 001 (OSDI, 2025)