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 Verification, and Constrained Generation Optimization.

News

Nov 17, 2025	⛵️Preprint of our latest work on Abstract Interpreters Synthesis is now available on arXiv.
Apr 15, 2024	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

arXiv

Cost-Driven Synthesis of Sound Abstract Interpreters

Qiuhan Gu, Avaljot Singh, and Gagandeep Singh

2025

Bib HTML PDF

@misc{gu2025costdrivensynthesissoundabstract,
  title = {Cost-Driven Synthesis of Sound Abstract Interpreters},
  author = {Gu, Qiuhan and Singh, Avaljot and Singh, Gagandeep},
  year = {2025},
  eprint = {2511.13663},
  archiveprefix = {arXiv},
  primaryclass = {cs.PL},
  url = {https://arxiv.org/abs/2511.13663},
}

FSE

LLM-Based Code Generation Method for Golang Compiler Testing

Qiuhan Gu

In ESEC/FSE, 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 = {ESEC/FSE},
  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]