Haoyang Ma

31 papers A* 2A 2B 3C 1Misc 1Journal 15Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
Design and performance verification of an intelligent pollination robot for facility tomatoes.
Comput. Electron. Agric.
Mingyong Li, Xiaowu Zhu, Qianwen Li, Xin Jin, Xiaolin Xie, Haoyang Ma, Kaikang Chen
2025 A* conf
A Tale of Two DL Cities: When Library Tests Meet Compiler.
ICSE
Qingchao Shen, Yongqiang Tian, Haoyang Ma, Junjie Chen, Lili Huang, Ruifeng Fu, Shing-Chi Cheung, Zan Wang
2025 J jnl
An Empirical Study of Bugs in Data Visualization Libraries.
CoRR
Weiqi Lu, Yongqiang Tian, Xiaohan Zhong, Haoyang Ma, Zhenyang Xu, Shing-Chi Cheung, Chengnian Sun
2025 J jnl
An Empirical Study of Bugs in Data Visualization Libraries.
Proc. ACM Softw. Eng.
Weiqi Lu, Yongqiang Tian, Xiaohan Zhong, Haoyang Ma, Zhenyang Xu, Shing-Chi Cheung, Chengnian Sun
2025 J jnl
Bounded Exhaustive Random Program Generation for Testing Solidity Compilers and Analyzers.
CoRR
Haoyang Ma, Alastair F. Donaldson, Qingchao Shen, Yongqiang Tian, Junjie Chen, Shing-Chi Cheung
2025 — conf
From Informal to Formal - Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs.
ACL (1)
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 J jnl
From Informal to Formal - Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs.
CoRR
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 J jnl
Memorizing Long-tail Data Can Help Generalization Through Composition.
CoRR
Mo Zhou, Haoyang Ma, Rong Ge
2025 J jnl
MultiFormer: A Multi-Person Pose Estimation System Based on CSI and Attention Mechanism.
CoRR
Yanyi Qu, Haoyang Ma, Wenhui Xiong
2025 J jnl
Optimization-Aware Test Generation for Deep Learning Compilers.
CoRR
Qingchao Shen, Zan Wang, Haoyang Ma, Yongqiang Tian, Lili Huang, Zibo Xiao, Junjie Chen, Shing-Chi Cheung
2024 J jnl
A Tale of Two DL Cities: When Library Tests Meet Compiler.
CoRR
Qingchao Shen, Yongqiang Tian, Haoyang Ma, Junjie Chen, Lili Huang, Ruifeng Fu, Shing-Chi Cheung, Zan Wang
2024 A conf
Towards Understanding the Bugs in Solidity Compiler.
ISSTA
Haoyang Ma, Wuqi Zhang, Qingchao Shen, Yongqiang Tian, Junjie Chen, Shing-Chi Cheung
2024 J jnl
Towards Understanding the Bugs in Solidity Compiler.
CoRR
Haoyang Ma, Wuqi Zhang, Qingchao Shen, Yongqiang Tian, Junjie Chen, Shing-Chi Cheung
2023 Misc conf
A Contrastive Framework to Enhance Unsupervised Sentence Representation Learning.
ICASSP
Haoyang Ma, Zeyu Li, Hongyu Guo
2023 B conf
A Hybrid Model Based on Multi-level External Knowledge for Chinese Semantic Matching.
IEEE Big Data
Haoyang Ma, Hongyu Guo
2023 J jnl
A Survey of Modern Compiler Fuzzing.
CoRR
Haoyang Ma
2023 A conf
Fuzzing Deep Learning Compilers with HirGen.
ISSTA
Haoyang Ma, Qingchao Shen, Yongqiang Tian, Junjie Chen, Shing-Chi Cheung
2022 — conf
External Knowledge and Data Augmentation Enhanced Model for Chinese Short Text Matching.
ICONIP (6)
Haoyang Ma, Hongyu Guo
2022 J jnl
HirFuzz: Detecting High-Level Optimization Bugs in DL Compilers via Computational Graph Generation.
CoRR
Haoyang Ma, Qingchao Shen, Yongqiang Tian, Junjie Chen, Shing-Chi Cheung
2022 — conf
Joint Extraction of Entities and Relations in the News Domain.
ADMA (1)
Zeyu Li, Haoyang Ma, Yingying Lv, Hao Shen
2022 — conf
OTE: An Optimized Chinese Short Text Matching Algorithm Based on External Knowledge.
KSEM (1)
Haoyang Ma, Zhaoyun Ding, Zeyu Li, Hongyu Guo
2022 B conf
Pre-training Fine-tuning data Enhancement method based on active learning.
TrustCom
Deqi Cao, Zhaoyun Ding, Fei Wang, Haoyang Ma
2022 B conf
Using Noise and External Knowledge to Enhance Chinese Pre-trained Model.
ICTAI
Haoyang Ma, Zeyu Li, Hongyu Guo
2021 — conf
A Method for Discovering Hidden Patterns of Cybersecurity Knowledge Based on Hierarchical Clustering.
DSC
Zhaoyun Ding, Deqi Cao, Lina Liu, Donghua Yu, Haoyang Ma, Fei Wang
2021 — conf
A comprehensive study of deep learning compiler bugs.
ESEC/SIGSOFT FSE
Qingchao Shen, Haoyang Ma, Junjie Chen, Yongqiang Tian, Shing-Chi Cheung, Xiang Chen
2021 J jnl
Effective Metaheuristic Algorithms for Bag-of-Tasks Scheduling Problems Under Budget Constraints on Hybrid Clouds.
J. Circuits Syst. Comput.
Linhua Ma, Chunshan Xu, Haoyang Ma, Yujie Li, Jiali Wang, Jin Sun
2020 A* conf
Enhanced Compiler Bug Isolation via Memoized Search.
ASE
Junjie Chen, Haoyang Ma, Lingming Zhang
2020 C conf
Multi-GPU Parallel Implementation of Spatial-Spectral Kernel Sparse Representation for Hyperspectral Image Classification.
IGARSS
Weishi Deng, Zebin Wu, Haoyang Ma, Qicong Wang, Jin Sun, Yang Xu, Jiandong Yang, Zhihui Wei, Hongyi Liu
2020 J jnl
Sequence Generation Network Based on Hierarchical Attention for Multi-Charge Prediction.
IEEE Access
Kongfan Zhu, Baosen Ma, Tianhuan Huang, Zeqiang Li, Haoyang Ma, Yujun Li
2020 — conf
Water Quality Prediction Approach Based on t-SNE and SA-BiLSTM.
HPCC/DSS/SmartCity
Jian Zhou, Feifei Chu, Xin Li, Haoyang Ma, Fu Xiao, Lijuan Sun
2019 J jnl
MsCoa: Multi-Step Co-Attention Model for Multi-Label Classification.
IEEE Access
Haoyang Ma, Yujun Li, Xianpeng Ji, Junlei Han, Zeqiang Li