Qiuhan Gu 顾秋涵

Welcome! I am Master of Science in Computer Science (MSCS) student at the University of Illinois Urbana Champaign, advised by Prof. Gagandeep Singh. Previously, I obtained my B.S. in Computer Science from Nanjing University, supervised by Prof. Linzhang Wang and Prof. Yu Wang at Software Engineering Group.

My research interests lie in the intersection of Formal Methods and Machine Learning. Currently I’m focusing on abstract-interpretation-based trustworthy AI systems. I’m also broadly interested in Neural Network Verification, Probabilistic Programming, and Differential Privacy.

News

Apr 02, 2026	⛵️SAIL got accpeted 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

@misc{gu2025costdrivensynthesissoundabstract,
  title = {SAIL: Sound Abstract Interpreters with LLMs},
  author = {Gu, Qiuhan and Singh, Avaljot and Singh, Gagandeep},
  year = {2026},
  eprint = {2511.13663},
  archiveprefix = {arXiv},
  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), San Francisco, CA, USA, 2023

Bib HTML PDF

@inproceedings{10.1145/3611643.3617850,
  title = {LLM-Based Code Generation Method for Golang Compiler Testing},
  author = {Gu, Qiuhan},
  booktitle = {SRC@FSE (1st place)},
  location = {San Francisco, CA, USA},
  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]