Achievements

ACM SIGSOFT Distinguished Paper Award

For ICSE'26 paper "HoarePrompt: Structural Reasoning About Program Correctness in Natural Language".

NSFC Research Fund for International Excellent Young Scientists (PI)

国家自然科学基金外国优秀青年学者研究基金项目

For my proposal "Quality Assurance in the Era of Natural Language Driven Programming".

Huawei Technology Development Contract (PI)

华为技术开发合同

For my proposal "Generation, Detection and Repair of Consistency Constraints in AI-Driven Development of Complex Tasks".

UCL-PKU Peking University-University College London Strategic Partner Funds (PI)

For the proposal "Prompt Compression for Efficient and Sustainable AI-Driven Software Engineering" with Prof. Federica Sarro.

NSFC Key Research Project (Co-I)

国家自然科学基金重大研究计划

For the proposal "Neurosymbolic High-Confidence Code Generation and Optimization" (NSFC 92582202) led by Prof. Yingfei Xiong in collaboration with Prof. Wen-Pin Jiao, Prof. Yanlin Wang, Prof. Yang Yu, Prof. Yang Liu, Prof. Wei Zhao, Prof. Siyuan Jiang.

PKU-KU Peking University-Korea University Joint Research Funding (PI)

For the proposal "Counterfactual inference for detecting and repairing hallucinations of code LLMs" with Prof. Dongsun Kim.

NSFC Excellent Young Scientists Fund (Overseas) (PI)

国家自然科学基金优秀青年科学基金项目（海外）

For my proposal "Symbolic Executon of Datalog for Program Repair".

ACM SIGSOFT Distinguished Paper Award

For ICSE'24 SEIP paper "User-Centric Deployment of Automated Program Repair at Bloomberg".

F1X won Functional Errors/C track of APR-COMP 2024

F1X, a program repair tool described in our TOSEM 2018 paper "Test-equivalence Analysis for Automatic Patch Generation" won the Functional Errors/C track of APR-COMP 2024.

B-Assist is deployed at Bloomberg

B-Assist, described in our ICSE SEIP'24 paper "User-Centric Deployment of Automated Program Repair at Bloomberg", was deployed at Bloomberg across 1000 repositories.

ACM SIGSOFT Distinguished Paper Award

For ICSE'23 paper "Rete: Learning Namespace Representation for Program Repair".

National University of Singapore IMDA Excellence Prize

For School of Computing's best PhD thesis "Semantic Program Repair".

ACM SIGSOFT Outstanding Doctoral Dissertation Award

For PhD thesis "Semantic Program Repair".

Angelix is deployed at IIT Kanpur

My program repair tool Angelix is deployed at IIT Kanpur for intelligent tutoring, as described in FSE'17 paper "A feasibility study of using automated program repair for introductory programming assignments".

National University of Singapore Research Achievement Award

For my research on automated program repair.