Qiuhan Gu 顾秋涵

I am a first-year PhD student in Computer Science at the University of Illinois Urbana-Champaign, advised by Prof. Gagandeep Singh. My research interests lie in the intersection of Formal Methods and Machine Learning. I am currently exploring the following research topics:

Probabilistic Abstract Interpretation (statement)
Formal Verification of Probabilistic Programs, Bayesian Neural Networks
Learning-Guided Synthesis for Formal Methods

Prior to starting PhD, I received my M.S. in Computer Science from UIUC in 2026, advised by Prof. Gagandeep Singh. Before that, I obtained my B.S. in Computer Science from Nanjing University in 2024, supervised by Prof. Linzhang Wang and Prof. Yu Wang at Software Engineering Group.

News

Oct 25, 2026	Will be a part of the Artifact Evaluation Committee for POPL’27.
Apr 15, 2026	Will continue at UIUC as a Ph.D. student in Computer Science in Fall 2026!
Apr 02, 2026	⛵️SAIL got accepted at PLDI’26🎉🎉! See you in Colorado⛰️😃.
Jan 19, 2026	Will be a part of the Artifact Evaluation Committee for PLDI’26.
Nov 17, 2025	⛵️Preprint of our latest work on Abstract Interpreters Synthesis is now available on arXiv.
Apr 15, 2024	Will join UIUC as a Master of Science in Computer Science(MSCS) student in Fall 2024!
Dec 07, 2023	Publish my first paper on ESEC/FSE’23! 😊 Win the Student Research Competition (Undergraduate Division) at the conference held from December 3 to 7, 2023, in San Francisco.

Publications

PLDI

SAIL: Sound Abstract Interpreters with LLMs

Qiuhan Gu, Avaljot Singh, and Gagandeep Singh

2026

Bib HTML PDF Code Slides

@misc{gu2025costdrivensynthesissoundabstract,
  title = {SAIL: Sound Abstract Interpreters with LLMs},
  author = {Gu, Qiuhan and Singh, Avaljot and Singh, Gagandeep},
  year = {2026},
  doi = {10.1145/3808308},
  primaryclass = {cs.PL},
  url = {https://dl.acm.org/doi/10.1145/3808308},
}

SRC@FSE

LLM-Based Code Generation Method for Golang Compiler Testing

Qiuhan Gu

In SRC@FSE (1st place), 2023

Bib HTML PDF Code

@inproceedings{10.1145/3611643.3617850,
  title = {LLM-Based Code Generation Method for Golang Compiler Testing},
  author = {Gu, Qiuhan},
  booktitle = {SRC@FSE (1st place)},
  pages = {2201–2203},
  numpages = {3},
  year = {2023},
  url = {https://doi.org/10.1145/3611643.3617850},
  doi = {10.1145/3611643.3617850},
  publisher = {Association for Computing Machinery},
}

Teaching

25Fall	[UIUC]CS427: Software Engineering.(Teaching Assistant)
25Spring	[UIUC]CS101: Introduction to Programming for Scientists and Engineers.(Teaching Assistant)
24Fall	[UIUC]CS427: Software Engineering.(Teaching Assistant)
24Spring	[NJU]CS: Advanced Python Programming.(Teaching Assistant)
23Fall	[NJU]CS: Advanced Python Programming.(Teaching Assistant)

Misc

I'm also pursuing a “PhD” degree in Baking😋. Please don't hesitate to reach out to me if you want some sweet treat. [photos]