Ma Haoyang


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: , ).

I'm now working on developing Erwin GitHub Repo stars Dynamic JSON Badge , a bounded exhausive Solidity program generator. It has found over 25 Solidity compiler bugs and it is still on the way to find more.

Publication

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
ISSTA '24
Towards Understanding Solidity Compiler Bugs Haoyang Ma, Wuqi Zhang, Qingchao Shen, Yongqiang Tian, Junjie Chen, Shing-Chi Cheung
ISSTA '23
Fuzzing Deep Learning Compilers with HirGen Haoyang Ma, Qingchao Shen, Yongqiang Tian, Junjie Chen, Shing-Chi Cheung
FSE '21
A Comprehensive Study of Deep Learning Compiler Bugs Qingchao Shen, Haoyang Ma, Junjie Chen, Yongqiang Tian, Shing-Chi Cheung, Xiang Chen
ASE '20
Enhanced Compiler Bug Isolation via Memoized Search Junjie Chen, Haoyang Ma*, Lingming Zhang
Pre-print
A Survey of Modern Compiler Fuzzing
Pre-print
From Informal to Formal--Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs Jialun Cao, Yaojie Lu, Meiziniu Li, Haoyang Ma, Haokun Li, Mengda He, Cheng Wen, Le Sun, Hongyu Zhang, Shengchao Qin, Shing-Chi Cheung, Cong Tian Dynamic JSON Badge

* indicates co-first authorship.

Experience

Huawei HK (upcoming): Research Intern, June 2025 ~
Imperial College London : Visiting Researcher, Sep 2024 ~ Feb 2025
Intel : Compiler Engineer Intern, Feb 2024 ~ Jul 2024
SiliconFlow : AI Framework Development Intern, Dec 2023 ~ Feb 2024
HKUST : PhD Candidate, Sep 2021 ~ Dec 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)
COMP 1021 Introduction to Computer Science (Fall 2023-24)
COMP 2011 Programming With C++ (Spring 2024-25)

Award

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