I am an Assistant Professor in the Department of Computer Science
at the University of North Carolina at Chapel Hill.
My research focuses on system reliability and security.
In particular, I develop interdisciplinary techniques that draw on machine learning, software engineering, and
computer architecture to understand and tackle the challenges of building complex, large-scale software systems.
I completed my Ph.D. in Computer Science at Purdue University, where I was advised by
Pedro Fonseca.
I received my B.S. degree in Computer Science from the University of Science and
Technology of China in 2019.
I am looking for Ph.D. students and research interns! If you’re interested, please email me your CV and transcripts.
Publications
A Comprehensive Study of Concurrency Bugs in the Linux Kernel
Sishuai Gong, Chih-En Lin, Kevin Wu, Edwin Lu, Pedro Fonseca.
In the 48th IEEE/ACM International Conference on Software Engineering (ICSE'26)
[pdf]
KRR: Efficient and Scalable Kernel Record Replay
Tianren Zhang, Sishuai Gong, Pedro Fonseca.
In the 19th USENIX Symposium on Operating Systems Design and Implementation (OSDI'25)
[pdf] [code]
Snowplow: Effective Kernel Fuzzing with a Learned White-box Test Mutator
Sishuai Gong, Rui Wang, Deniz Altınbüken, Pedro Fonseca, Petros Maniatis.
In the 30th Conference on Architectural Support for Programming Languages and Operating Systems
(ASPLOS'25)
[pdf] [code]
VeriSMo: A Verified Security Module for Confidential VMs
Ziqiao Zhou, Anjali, Weiteng Chen, Sishuai Gong, Chris Hawblitzel, Weidong Cui.
In the 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI'24)
Jay Lepreau Best Paper Award
[pdf]
Snowcat: Efficient Kernel Concurrency Testing using a Learned Coverage Predictor
Sishuai Gong, Dinglan Peng, Deniz Altınbüken, Pedro Fonseca, Petros Maniatis.
In the 29th Symposium on Operating Systems Principles (SOSP'23)
[pdf] [appendix] [slides] [code]
KIT: Testing OS-level Virtualization for Functional Interference Bugs
Congyu Liu, Sishuai Gong, Pedro Fonseca.
In the 28th Conference on Architectural Support for Programming Languages and Operating Systems
(ASPLOS'23)
[pdf] [slides] [code]
Machine Learning Techniques for Cybersecurity
Elisa Bertino, Sonam Bhardwaj, Fabrizio Cicala, Sishuai Gong, Imtiaz Karim, Charalampos Katsis,
Adrian Shuai Li, Ashraf Y. Mahgoub.
In the book series: Synthesis Lectures on Information Security, Privacy, and Trust, Sprinter Nature,
2023
[link]
Snowboard: Finding Kernel Concurrency Bugs through Systematic Inter-thread Communication Analysis
Sishuai Gong, Deniz Altınbüken, Pedro Fonseca, Petros Maniatis.
In the 28th Symposium on Operating Systems Principles (SOSP'21)
[pdf] [slides] [code]
On-Demand-Fork: A Microsecond Fork for Memory-Intensive and Latency-Sensitive Applications
Kaiyang Zhao, Sishuai Gong, Pedro Fonseca.
In the 16th European Conference on Computer Systems (EuroSys'21)
[pdf] [slides] [code]
InspectorGadget: A Framework for Inferring TCP Congestion Control Algorithms and Protocol
Configurations
Sishuai Gong, Usama Naseer, Theophilus Benson.
In the IFIP Network Traffic Measurement and Analysis Conference (TMA'20)
[pdf]
