∈ PhD candidate at Hong Kong University of Science and Technology (HKUST).
∈ Visiting researcher at Imperial College London.
∈ Compiler enginner intern in SiliconFlow, Intel, and Huawei HK.
My research focuses on maintaining compiler correctness. Until now, I have worked on the following topics:
😅Bug analysis. (Good way to gain citations:))
😋Bug Detection. (Pleasurable to write random program generators and design mutators.)
😮Bug localization. (Old topic. I have done a work on it for practice.)
I am also interested in translation validation and automated reasoning
(Very interested to be honest).
| [ICSE '25] A Tale of Two DL Cities: When Library Tests Meet Compiler | arXiv |
| [ISSTA '24] Towards Understanding Solidity Compiler Bugs | arXiv |
| [ISSTA '23] Fuzzing Deep Learning Compilers with HirGen | arXiv |
| [FSE '21] A Comprehensive Study of Deep Learning Compiler Bugs | |
| [ASE '20] Enhanced Compiler Bug Isolation via Memoized Search | A Survey of Modern Compiler Fuzzing (Ongoing Work, rubbish for now😅) | arxiv |