PhD candidate at Hong Kong University of Science and Technology, Castle group.
Visiting researcher at Imperial College London, fastPL group.
My research spans the areas of software engineering, programming languages, and their intersection with AI, including
bug analysis, bug detection, bug localization and LLM-empowered programming.
I'm also interested in translation validation and automated reasoning.
Until now, my collaborator and I have studied over 1000 compiler bugs (including 603 deep learning compiler bugs and 533 Solidity compiler bugs) and detected more than 300 compiler bugs (For instance, Solidity compiler bugs: , ; deep learning compiler bugs: , ).
* indicates co-first authorship.