Sishuai Gong

According to our database, Sishuai Gong authored at least 6 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

VeriSMo: A Verified Security Module for Confidential VMs.

Ziqiao Zhou, Anjali, Weiteng Chen, Sishuai Gong, Chris Hawblitzel, Weidong Cui

Proceedings of the 18th USENIX Symposium on Operating Systems Design and Implementation, 2024

2023

Snowcat: Efficient Kernel Concurrency Testing using a Learned Coverage Predictor.

Sishuai Gong, Dinglan Peng, Deniz Altinbüken, Pedro Fonseca, Petros Maniatis

Proceedings of the 29th Symposium on Operating Systems Principles, 2023

KIT: Testing OS-Level Virtualization for Functional Interference Bugs.

Congyu Liu, Sishuai Gong, Pedro Fonseca

Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

2021

Snowboard: Finding Kernel Concurrency Bugs through Systematic Inter-thread Communication Analysis.

Sishuai Gong, Deniz Altinbüken, Pedro Fonseca, Petros Maniatis

Proceedings of the SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, 2021

On-demand-fork: a microsecond fork for memory-intensive and latency-sensitive applications.

Kaiyang Zhao, Sishuai Gong, Pedro Fonseca

Proceedings of the EuroSys '21: Sixteenth European Conference on Computer Systems, 2021

2020

Inspector Gadget: A Framework for Inferring TCP Congestion Control Algorithms and Protocol Configurations.

Sishuai Gong, Usama Naseer, Theophilus Benson

Proceedings of the 4th Network Traffic Measurement and Analysis Conference, 2020