I am a postdoctoral researcher at HKUST, working with Prof. Yuan Xie. My research interests are automated code generation, with focuses on hardware and software code generation. I obtained Ph.D at Peking University, under the supervision of Tao Xie and Ying Li, master degree from Peking University, and bachelor from Tianjin Normal University.

News

Our SAFE is accepted by ICLR 2025. Congrats to Tianyu and all coauthors!

Rewards and Honors

Selected for the Young Talents Doctoral Program of the China Association for Science and Technology

Peking University Merit Student

Peking University Academic Excellence Award

PKU PhD President Scholarship

Service

TSE Reviewer

TOSEM Reviewer

Selected Publications

Hao Yu, Bo Shen, Jiaxin Zhang, Lin Li, Shaoxin Lin, Guangtai Liang, Ying Li, Qianxiang Wang. and Tao Xie: Toward Effectively Generating Code Beyond Standalone Functions via Generative Pre-trained Models. (TOSEM’2024, Accepted)

Hao Yu, Bo Shen, Jiaxin Zhang, Dezhi Ran, Qi Zhang, Yuchi Ma, Guangtai Liang, Ying Li, Qianxiang Wang, and Tao Xie. CoderEval: A Benchmark of Pragmatic Code Generation with Generative Pre-trained Model. (ICSE’2024)

Hao Yu, Xing Hu, Ge Li, Ying Li, Qianxiang Wang, and Tao Xie. Assessing and Improving an Evaluation Dataset for Detecting Semantic Code Clones via Deep Learning. (TOSEM’2022)

Hao Yu, Yiling Lou, Ke Sun, Dezhi Ran, Tao Xie, Dan Hao, Ying Li, Ge Li, and Qianxiang Wang. Automated Assertion Generation via Information Retrieval and Its Integration with Deep Learning. (ICSE’2022)

Hao Yu, Wing Lam, Long Chen, Ge Li, Tao Xie, and Qianxiang Wang. Neural Detection of Semantic Code Clones via Tree-Based Convolution. (ICPC’2019)

Hao Yu, Tianyu Chen, Jiaming Huang, Zongyang Li, Dezhi Ran, Xinyu Wang, Ying Li, Assaf Marron, David Harel, Yuan Xie, Tao Xie. DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model. (Arxiv2025)

Tianyu Chen, Shuai Lu, Shan Lu, Yeyun Gong, Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Hao Yu, Nan Duan, Peng CHENG, Fan Yang, Shuvendu K Lahiri, Tao Xie, Lidong Zhou, Automated Proof Generation for Rust Code via Self-Evolution, `ICLR’25)

Fenia Christopoulou, Gerasimos Lampouras, … , Hao Yu, … Xin Jiang, Qianxiang Wang, and Qun Liu. PanGu-Coder: Program Synthesis with Function-Level Language Modeling. (Technique Report, Arxiv2022)

Dong Chen, … , Hao Yu, …, and Qianxiang Wang. CodeR: Issue Resolving with Multi-Agent and Task Graphs. (Arxiv2024)

Yibo He, Jiaming Huang, Hao Yu, Tao Xie. An Empirical Study on Focal Methods in Deep-Learning-Based Approaches for Assertion Generation. (FSE2024)