Sishuai Gong

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 6

Top Topics

Congestion Control

Confidential Data

State Space Search

Top Venues

Publications

Ziqiao Zhou, Anjali, Weiteng Chen, Sishuai Gong, Chris Hawblitzel, Weidong Cui
VeriSMo: A Verified Security Module for Confidential VMs. OSDI (2024)
Congyu Liu, Sishuai Gong, Pedro Fonseca
KIT: Testing OS-Level Virtualization for Functional Interference Bugs. ASPLOS (2) (2023)
Sishuai Gong, Dinglan Peng, Deniz Altinbüken, Pedro Fonseca, Petros Maniatis
Snowcat: Efficient Kernel Concurrency Testing using a Learned Coverage Predictor. SOSP (2023)
Sishuai Gong, Deniz Altinbüken, Pedro Fonseca, Petros Maniatis
Snowboard: Finding Kernel Concurrency Bugs through Systematic Inter-thread Communication Analysis. SOSP (2021)
Kaiyang Zhao, Sishuai Gong, Pedro Fonseca
On-demand-fork: a microsecond fork for memory-intensive and latency-sensitive applications. EuroSys (2021)
Sishuai Gong, Usama Naseer, Theophilus Benson
Inspector Gadget: A Framework for Inferring TCP Congestion Control Algorithms and Protocol Configurations. TMA (2020)