∈ 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. (Just bug surveys. Publishing them is easy for both graduation and gaining citation.)
😋Bug Detection. (It's always pleasurable to write random program generators based on some type theory and design mutators.)
😮Bug localization. (Old topic, possibly already dead? 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 |