| 2025 | ASPLOS | Snowplow: Effective Kernel Fuzzing with a Learned White-box Test Mutator. | Sishuai Gong, Wang Rui, Deniz Altinbken, Pedro Fonseca, Petros Maniatis |
| 2025 | OSDI | KRR: Efficient and Scalable Kernel Record Replay. | Tianren Zhang, Sishuai Gong, Pedro Fonseca |
| 2024 | OSDI | VeriSMo: A Verified Security Module for Confidential VMs. | Ziqiao Zhou, Anjali, Weiteng Chen, Sishuai Gong, Chris Hawblitzel, Weidong Cui |
| 2023 | ASPLOS | KIT: Testing OS-Level Virtualization for Functional Interference Bugs. | Congyu Liu, Sishuai Gong, Pedro Fonseca |
| 2023 | SOSP | Snowcat: Efficient Kernel Concurrency Testing using a Learned Coverage Predictor. | Sishuai Gong, Dinglan Peng, Deniz Altinbken, Pedro Fonseca, Petros Maniatis |
| 2021 | EuroSys | On-demand-fork: a microsecond fork for memory-intensive and latency-sensitive applications. | Kaiyang Zhao, Sishuai Gong, Pedro Fonseca |
| 2021 | SOSP | Snowboard: Finding Kernel Concurrency Bugs through Systematic Inter-thread Communication Analysis. | Sishuai Gong, Deniz Altinbken, Pedro Fonseca, Petros Maniatis |