Publications

2026

1. 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},
   }

2023

1. SRC@FSE

   LLM-Based Code Generation Method for Golang Compiler Testing

   Qiuhan Gu

   In SRC@FSE (1st place), 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)},
     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},
   }