Haoyang Ma




∈ 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).

Publication

[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 pdf
[ASE '20] Enhanced Compiler Bug Isolation via Memoized Search pdf
A Survey of Modern Compiler Fuzzing (Ongoing Work, rubbish for now😅) 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, FSE '25, ISSTA '25.
Journal Paper Reviewer: TSE

Teaching

I was the TA of the following courses.
COMP 3111 Software Engineering (Spring 2021-22)
COMP 2011 Programming With C++ (Fall 2022-23) This genious course imposes writing C++ on papers in the final exam and let TAs cosplay as compilers😅
COMP 1021 Introduction to Computer Science (Fall 2023-2024)

Award

HKUST Postgraduate Studentship (2021-2025)
Research Travel Grant (2023, 2024)
Overseas Research Award (2024)