This page lists my awards, grants, deployments, and other important achievements.
NSFC/国家自然科学基金 Key Research Project/重大研究计划
For the proposal "Neurosymbolic High-Confidence Code Generation and Optimization" 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
For the proposal "Counterfactual inference for detecting and repairing hallucinations of code LLMs" with Prof. Dongsun Kim.
NSFC/国家自然科学基金 Excellent Young Scientists Fund (Overseas)/优秀青年科学基金项目（海外）
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.
ACM ICPC NEERC Northern Subregional Contest Honorable Mention
For my participation in ACM ICPC programming competition.