Qiuhan Gu 顾秋涵

Welcome! I am an incoming 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. Currently I’m focusing on Abstract Interpretation for Artificial Intelligence (AI^2). I’m also broadly interested in Probability Theory and Applied Analysis.

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

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

@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://arxiv.org/abs/2511.13663},
}

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]