Haoyang Ma

1. A Survey of Modern Compiler Fuzzing
   2023/06/12 by Haoyang Ma, Ma, Haoyang · 1 voice · 2 citations
   Computer Science · #Advanced Malware Detection Techniques #Software System Performance and Reliability #Software Testing and Debugging Techniques #cs.SE
2. From Informal to Formal -- Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs
   2025/01/27 by Jialun Cao, Yaojie Lu, Cao, Jialun +21 · 12 citations
   Computer Science · #Natural Language Processing Techniques
3. A Tale of Two DL Cities: When Library Tests Meet Compiler
   2024/07/23 by Qingchao Shen, Shen, Qingchao, Yongqiang Tian +13 · 4 citations
   Computer Science · #Artificial Intelligence in Games #FOS: Computer and information sciences #Software Engineering (cs.SE)