Segui
Haoyang Ma
Haoyang Ma
HKUST
Email verificata su connect.ust.hk - Home page
Titolo
Citata da
Citata da
Anno
A comprehensive study of deep learning compiler bugs
Q Shen, H Ma, J Chen, Y Tian, SC Cheung, X Chen
Proceedings of the 29th ACM Joint meeting on european software engineering …, 2021
982021
Enhanced compiler bug isolation via memoized search
J Chen, H Ma, L Zhang
Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020
352020
Fuzzing deep learning compilers with hirgen
H Ma, Q Shen, Y Tian, J Chen, SC Cheung
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software …, 2023
172023
A survey of modern compiler fuzzing
H Ma
arXiv preprint arXiv:2306.06884, 2023
82023
A Tale of Two DL Cities: When Library Tests Meet Compiler
Q Shen, Y Tian, H Ma, J Chen, L Huang, R Fu, SC Cheung, Z Wang
arXiv preprint arXiv:2407.16626, 2024
22024
From Informal to Formal--Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs
J Cao, Y Lu, M Li, H Ma, H Li, M He, C Wen, L Sun, H Zhang, S Qin, ...
arXiv preprint arXiv:2501.16207, 2025
2025
Towards Understanding the Bugs in Solidity Compiler
H Ma, W Zhang, Q Shen, Y Tian, J Chen, SC Cheung
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software …, 2024
2024
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–7