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

Profile
ICSE '26
Optimization-Aware Test Generation for Deep Learning Compilers Qingchao Shen, Zan Wang, Haoyang Ma, Yongqiang Tian, Lili Huang, Zibo Xiao, Junjie Chen, Shing-Chi Cheung
ICSE '26
Bounded Exhaustive Random Program Generation for Testing Solidity Compilers
(Directly Accepted in Round 2, Acceptance Rate: 8%, 72/809)
Haoyang Ma, Alastair F. Donaldson, Qingchao Shen, Yongqiang Tian, Junjie Chen, Shing-Chi Cheung GitHub Repo stars Dynamic JSON Badge
ACL '25 Main
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
FSE '25
An Empirical Study of Bugs in Data Visualization Libraries Weiqi Lu, Yongqiang Tian, Xiaohan Zhong, Haoyang Ma, Zhenyang Xu, Chengnian Sun
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
preprint
A Survey of Modern Compiler Fuzzing Haoyang Ma

* indicates co-first authorship.

Ant Group: Research Intern at Skyward Lab, working on web3 security, August 2025 ~ November 2025
Huawei HK: Research Intern at Compiler Technologies Lab, June 2025 ~ August 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
Conference Paper (Co-) Reviewer: ISSTA '21 '23, AIWare '24, ISSRE' 24, ICSE' 25, FSE '25, ISSTA '25.
Journal Paper Reviewer: TSE
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)
Jindouyun (筋斗云) Talent Program from ByteDance (2025)
Ant Star Plan A (蚂蚁集团蚂蚁星Plan-A) (2025)
HKUST Postgraduate Studentship (2021-2025)
Research Travel Grant (2023, 2024)
Overseas Research Award (2024)