Haoyu Wang's HomePage

PUBLICATIONS

1. Pro2Guard: Proactive Runtime Enforcement of LLM Agent Safety via Probabilistic Model Checking  (arxiv)

Haoyu Wang, C.M. Poskitt, Jun Sun and Jiali Wei.

2. AgentSpec: Customizable Runtime Enforcement for Safe and Reliable LLM Agents (ICSE '26)

Haoyu Wang, C.M. Poskitt and Jun Sun.

3. Evaluating and Mitigating Linguistic Discrimination in Large Language Models: Perspectives on Safety Equity and Knowledge Equity (IJCAI '25)

Guoliang Dong, Haoyu Wang, Jun Sun and Xinyu Wang. 

4. Exploring JVM Garbage Collector Testing with Event-Coverage (TOSEM '24)

Kai Zheng, Zan Wang, Yingquan Zhao, Junjie Chen, Hanmo You, Haoyu Wang, Yiheng Du, Tianchang Gao

5.  MLIRSmith: Random Program Generation for Fuzzing MLIR Compiler Infrastructure (ASE '23)

Haoyu Wang, Junjie Chen, Chuyue Xie, Shuang Liu, Zan Wang, Qingchao Shen and Yingquan Zhao. 

The compiler fuzzing tool MLIRSmith detected 100+ previously unknown bugs in MLIR .

6. sFuzz2.0: Storage-Access Pattern Guided Smart Contract Fuzzing (JSEP '23)

Haoyu Wang, Zan Wang, Shuang Liu, Jun Sun, Yingquan Zhao, Yan Wan and Tai D. Nguyen. 

7. Natural Test Generation for Precise Testing of Question Answering Software (ASE '22)

Qingchao Shen, Junjie Chen, Jie M Zhang, Haoyu Wang, Shuang Liu and Menghan Tian.  

8. GC-MCR:有向图约束指导的并发缺陷检测方法 (软件学报 '22)

李硕川, 王赞, 马明旭, 陈翔, 赵英全, 王海弛, 王昊宇。

9. IFIX: Fixing Concurrency Bugs While They Are Introduced (ICECCS '20)

Zan Wang, Haichi Wang, Shuang Liu, Jun Sun, Haoyu Wang and Junjie Chen.