Sishuai Gong @ UNC

About me

I am an Assistant Professor in the Department of Computer Science at the University of North Carolina at Chapel Hill. My research interests broadly lie in the domains of system reliability and security. I aim to build robust and trustworthy software systems that can withstand the complexity and scale of modern computing. To this end, I explore interdisciplinary techniques across software engineering, machine learning, and computer architecture to develop tools and methodologies that can address deep-rooted system flaws.

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, along with a brief note on:

Your research interest and experience;
Your coding experience with systems software (e.g., Linux kernel, QEMU, LLVM);
Your availability for internship projects.

Publications

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]

Sishuai Gong

About me

Publications

Honors and Awards

Services