Jing Gong

Level 2, Melbourne Connect

700 Swanston St, Carlton

VIC 3053, Australia

I am a PhD student in computer science in the University of Melbourne, supervised by Prof. Bach Le and Prof. Cezary Kaliszyk. Before that, I completed my B.E. in Software Engineering at Sun Yat-sen University in June 2025, supervised by Prof. Yanlin Wang and Prof. Zibin Zheng.

My research interests lie in AI for Software Engineering (AI4SE). In particular, I work on specification generation for verifying agentic AI systems.

Collaborations are very welcome.

Awards

Baosteel Outstanding Student Scholarship (top 1, 2023-2024)
1st Class Scholarship for Outstanding Student (top 5%, 2023-2024)
Kingdomcares Scholarship (top 5, 2022-2023)
1st Class Scholarship for Outstanding Student (top 5%, 2022-2023)
3rd Class Scholarship for Outstanding Student (top 30%, 2021-2022)
Mathematical Contest in Modeling (MCM), Meritorious Winner (2024)
Sun Yat-sen University Programming Design Novice Competition, Second Prize (04/2023)

news

Jul 21, 2026	I began my PhD at the University of Melbourne.

selected publications

TSE

CoSQA+: Pioneering the Multi-Choice Code Search Benchmark with Test-Driven Agents

Jing Gong, Yanghui Wu^*, Linxi Liang^*, and 4 more authors

IEEE Transactions on Software Engineering, Jan 2026

DOI Bib HTML

@article{gong2026cosqa,
  title = {{CoSQA+}: Pioneering the Multi-Choice Code Search Benchmark with Test-Driven Agents},
  author = {Gong, Jing and Wu, Yanghui and Liang, Linxi and Wang, Yanlin and Chen, Jiachi and Liu, Mingwei and Zheng, Zibin},
  journal = {IEEE Transactions on Software Engineering},
  volume = {52},
  number = {1},
  pages = {206--220},
  year = {2026},
  month = jan,
  doi = {10.1109/TSE.2025.3631886},
  url = {https://doi.org/10.1109/TSE.2025.3631886},
}

arXiv

RustEvo²: An Evolving Benchmark for API Evolution in LLM-based Rust Code Generation

Linxi Liang, Jing Gong^*, Mingwei Liu, and 5 more authors

arXiv preprint arXiv:2503.16922, 2025

arXiv Bib HTML

@article{liang2025rustevo2,
  title = {RustEvo²: An Evolving Benchmark for {API} Evolution in {LLM}-based {Rust} Code Generation},
  author = {Liang, Linxi and Gong, Jing and Liu, Mingwei and Wang, Chong and Ou, Guangsheng and Wang, Yanlin and Peng, Xin and Zheng, Zibin},
  journal = {arXiv preprint arXiv:2503.16922},
  year = {2025},
  url = {https://arxiv.org/abs/2503.16922},
}