Haoyang Ma
Scholar

Haoyang Ma

Google Scholar ID: 0-iO7hsAAAAJ
HKUST
random program generatorcompiler testingbug localization
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
250
 
H-index
5
 
i10-index
5
 
Publications
9
 
Co-authors
7
list available
Contact
No contact links provided.
Publications
6 items
Optimization-Aware Test Generation for Deep Learning Compilers
2025
Cited
0
Memorizing Long-tail Data Can Help Generalization Through Composition
2025
Cited
0
An Empirical Study of Bugs in Data Visualization Libraries
2025
Cited
0
MultiFormer: A Multi-Person Pose Estimation System Based on CSI and Attention Mechanism
2025
Cited
0
Bounded Exhaustive Random Program Generation for Testing Solidity Compilers and Analyzers
2025
Cited
0
From Informal to Formal -- Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs
2025
Cited
0
Resume (English only)
Co-authors
7 total
Shing-Chi Cheung
Shing-Chi Cheung
Chair Professor of Computer Science and Engineering, HKUST
Yongqiang Tian
Yongqiang Tian
Monash University
Junjie Chen
Junjie Chen
Professor, Tianjin University
Qingchao Shen
Qingchao Shen
Tianjin University
Co-author 5
Co-author 5
Jialun Cao
Jialun Cao
The Hong Kong University of Science and Technology
Co-author 7
Co-author 7