| 2025 | ACL | 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 |
| 2025 | ICSE | 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 |
| 2024 | ISSTA | Towards Understanding the Bugs in Solidity Compiler. | Haoyang Ma, Wuqi Zhang, Qingchao Shen, Yongqiang Tian, Junjie Chen, Shing-Chi Cheung |
| 2023 | ICASSP | A Contrastive Framework to Enhance Unsupervised Sentence Representation Learning. | Haoyang Ma, Zeyu Li, Hongyu Guo |
| 2023 | ISSTA | Fuzzing Deep Learning Compilers with HirGen. | Haoyang Ma, Qingchao Shen, Yongqiang Tian, Junjie Chen, Shing-Chi Cheung |
| 2022 | ADMA | Joint Extraction of Entities and Relations in the News Domain. | Zeyu Li, Haoyang Ma, Yingying Lv, Hao Shen |
| 2022 | ICONIP | External Knowledge and Data Augmentation Enhanced Model for Chinese Short Text Matching. | Haoyang Ma, Hongyu Guo |
| 2022 | ICTAI | Using Noise and External Knowledge to Enhance Chinese Pre-trained Model. | Haoyang Ma, Zeyu Li, Hongyu Guo |
| 2022 | KSEM | OTE: An Optimized Chinese Short Text Matching Algorithm Based on External Knowledge. | Haoyang Ma, Zhaoyun Ding, Zeyu Li, Hongyu Guo |
| 2022 | TrustCom | Pre-training Fine-tuning data Enhancement method based on active learning. | Deqi Cao, Zhaoyun Ding, Fei Wang, Haoyang Ma |
| 2020 | HPCC | Water Quality Prediction Approach Based on t-SNE and SA-BiLSTM. | Jian Zhou, Feifei Chu, Xin Li, Haoyang Ma, Fu Xiao, Lijuan Sun |
| 2020 | IGARSS | Multi-GPU Parallel Implementation of Spatial-Spectral Kernel Sparse Representation for Hyperspectral Image Classification. | Weishi Deng, Zebin Wu, Haoyang Ma, Qicong Wang, Jin Sun, Yang Xu, Jiandong Yang, Zhihui Wei, Hongyi Liu |