Publications

2025

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

2023

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