Scholar
Haoyang Ma
Google Scholar ID: 0-iO7hsAAAAJ
HKUST
random program generator
compiler testing
bug localization
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
250
H-index
5
i10-index
5
Publications
9
Co-authors
7
list available
Publications
8 items
When Is Graph Structure Worth Its Cost? The Case for Structure Pricing in Retrieval-Augmented Generation
2026
Cited
0
Coordinating Multiple Conditions for Trajectory-Controlled Human Motion Generation
2026
Cited
0
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
Co-authors
6 total
Shing-Chi Cheung
Chair Professor of Computer Science and Engineering, HKUST
Yongqiang Tian
Monash University
Junjie Chen
Professor, Tianjin University
Qingchao Shen
Tianjin University
Jialun Cao
The Hong Kong University of Science and Technology
Wuqi Zhang
Independent Researcher
