IFIX: Fixing Concurrency Bugs While They Are Introduced. - Zan Wang; Haichi Wang; Shuang Liu 007; Jun Sun 001; Haoyu Wang 017; Junjie Chen 003 (ICECCS, 2020)

Natural Test Generation for Precise Testing of Question Answering Software. - Qingchao Shen; Junjie Chen 003; Jie M. Zhang; Haoyu Wang 017; Shuang Liu 007; Menghan Tian (ASE, 2022)

MLIRSmith: Random Program Generation for Fuzzing MLIR Compiler Infrastructure. - Haoyu Wang 017; Junjie Chen 003; Chuyue Xie; Shuang Liu 007; Zan Wang; Qingchao Shen; Yingquan Zhao (ASE, 2023)

GC-MCR: Directed Graph Constraint-guided Concurrent Bug Detection Method. - Shuochuan Li; Zan Wang; Mingxu Ma; Xiang Chen 005; Yingquan Zhao; Haichi Wang; Haoyu Wang 017 (Int. J. Softw. Informatics, 2023)

Evaluating and Mitigating Linguistic Discrimination in Large Language Models. - Guoliang Dong; Haoyu Wang 017; Jun Sun 001; Xinyu Wang 001 (CoRR, 2024)

sFuzz2.0: Storage-access pattern guided smart contract fuzzing. - Haoyu Wang 017; Zan Wang; Shuang Liu 007; Jun Sun 001; Yingquan Zhao; Yan Wan; Tai D. Nguyen (J. Softw. Evol. Process., 2024)

AgentSpec: Customizable Runtime Enforcement for Safe and Reliable LLM Agents. - Haoyu Wang 017; Christopher M. Poskitt; Jun Sun 001 (CoRR, 2025)