Gehao Zhang | University of Massachusetts Amherst

About Me

I am a CS PhD student at the University of Massachusetts Amherst (started in fall 2024), advised by Prof. Juan Zhai. During summer 2026, I joined NEC Laboratories America as a Research Intern, reporting to Dr. Shengyu Chen. Before joining UMass, I was a senior Machine Learning Engineer on the AI-powered R&D Efficiency Team at Ant Group (formerly known as Alipay). Previously, I received my B.E. in Software Engineering from Northeastern University, Shenyang in 2020. My research focuses on Formal Methods, LLMs for Software Engineering, and Coding Agents. Check my CV here.

Publications

ACL 2026 Findings

POSTCONDBENCH: Benchmarking Correctness and Completeness in Formal Postcondition Inference

Gehao Zhang and Juan Zhai

PDF Code BibTex

FSE 2026 Industry

RepoFuse: A Dual-Context Approach to Repository-Level Code Completion at Industrial Scale

Ming Liang, Xiaoheng Xie, Gehao Zhang, Xunjin Zheng, Wei Jiang, Chengpeng Wang, Gang Fan, Peng Di

PDF BibTex

TSE 2025

FlexFL: Flexible and Effective Fault Localization With Open-Source Large Language Models

Chuyang Xu, Zhongxin Liu, Xiaoxue Ren, Gehao Zhang, Ming Liang, David Lo

PDF BibTex

ICSE-SEIP'24

CodeFuse-13B: A Pretrained Multi-lingual Code Large Language Model

Peng Di, Jianguo Li, Hang Yu, Wei Jiang, ..., Gehao Zhang, et al.

PDF BibTex