Haoyang Ma
I am a PhD candidate at Hong Kong University of Science and Technology (HKUST).
I am also a visiting researcher at Imperial College London.
My research focuses on maintaining compiler correctness. Until now, I have been working on the following topics:
🤓☝Bug analysis: So many bugs in the repo, any interesting findings inside?
🤓☝Bug Detection: Dig out new bugs in the repo.
🤓☝Bug localization: Here is a bug, where is it located?
I am also interested in translation validation for compilers.
If you are interested in my research,
please feel free to drop me an email at haoyang.ma[AT]connect.ust.hk
Publication
* = first co-author
| 👉Bug Analysis |
| [ISSTA '24] Towards Understanding Solidity Compiler Bugs |
| Haoyang Ma, Wuqi Zhang, Qingchao Shen, Yongqiang Tian, Junjie Chen, Shing-Chi Cheung |
arXiv |
A study of 533 Solidity compiler bugs |
|
| [FSE '21] A Comprehensive Study of Deep Learning Compiler Bugs |
| Qingchao Shen, Haoyang Ma, Junjie Chen, Yongqiang Tian, Shing-Chi Cheung, Xiang Chen |
pdf |
A study of 603 AI compiler bugs |
|
| 👉Bug Detection |
| [ICSE '25] A Tale of Two DL Cities: When Library Tests Meet Compiler |
| Qingchao Shen, Yongqiang Tian, Haoyang Ma, Junjie Chen, Lili Huang, Ruifeng Fu, Shing-Chi Cheung, Zan Wang |
arXiv |
| Found 170 model loading bugs. |
|
| [ISSTA '23] Fuzzing Deep Learning Compilers with HirGen |
| Haoyang Ma, Qingchao Shen, Yongqiang Tian, Junjie Chen, Shing-Chi Cheung |
arXiv |
| Found 21 high-level optimization bugs. |
|
| 👉Bug Localization |
| [ASE '20] Enhanced Compiler Bug Isolation via Memoized Search |
| Junjie Chen, Haoyang Ma*, Lingming Zhang |
pdf |
|
| 👉Survey |
| A Survey of Modern Compiler Fuzzing |
| Haoyang Ma |
arxiv
|
|
Experience
👉Imperial College London : Visiting Researcher, Sep 2024 ~ Feb 2025
👉Intel : Compiler Enginner Intern, Feb 2024 ~ Jul 2024
👉SiliconFlow : AI Framework Development Intern, Dec 2023 ~ Feb 2024
👉HKUST : PhD Candidate, Sep 2021 ~ Feb 2025 (expected)
👉Tianjin University : Undergraduate, Aug 2016 ~ Aug 2020
Services
Conference Paper (Co-)Reviewer: ISSTA '21 '23, AIWare '24, ISSRE' 24, ICSE' 25.
Journal Paper Reviewer: TSE
Teaching
I was the TA of the following courses in HKUST.
COMP 3111 Software Engineering (Spring 2021-22)
COMP 2011 Programming With C++ (Fall 2022-23)
COMP 1021 Introduction to Computer Science (Fall 2023-2024)