Published multiple papers in top-tier conferences including ISSTA 2025, IPDPS 2025, TOSEM 2025, VMCAI 2025, OOPSLA 2024. One paper received the ACM SIGSOFT Distinguished Paper Award. Developed several software tools such as Apron, AutoRNP, F-IKOS.
Research Experience
Program Committee Member for multiple international conferences such as ASE 2025, SAS 2025, SETTA 2025. Guest Editor for journals like Automated Software Engineering Journal and Journal of Systems Architecture.
Background
Full Professor (and PhD Supervisor) in the College of Computer Science and Technology at the National University of Defense Technology (NUDT), Changsha, China. Research Interests: Program analysis/verification, Abstract interpretation, Automated program repair.
Miscellany
Links to personal website, Google Scholar, ORCID, ResearchGate, DBLP, GitHub, etc.