Haoyu Wang

According to our database, Haoyu Wang authored at least 12 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

SafeClaw-R: Towards Safe and Secure Multi-Agent Personal Assistants.

Haoyu Wang, Zibo Xiao, Yedi Zhang, Christopher M. Poskitt, Jun Sun

CoRR, March, 2026

Domain-Specialized Tree of Thought through Plug-and-Play Predictors.

Xuanqi Gao, Haoyu Wang, Jun Sun, Shiqing Ma, Chao Shen

CoRR, March, 2026

Exploring JVM Garbage Collector Testing with Event-Coverage.

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

ACM Trans. Softw. Eng. Methodol., February, 2026

2025

Pro2Guard: Proactive Runtime Enforcement of LLM Agent Safety via Probabilistic Model Checking.

Haoyu Wang, Christopher M. Poskitt, Jun Sun, Jiali Wei

CoRR, August, 2025

AgentSpec: Customizable Runtime Enforcement for Safe and Reliable LLM Agents.

Haoyu Wang, Christopher M. Poskitt, Jun Sun

CoRR, March, 2025

Evaluating and Mitigating Linguistic Discrimination in Large Language Models: Perspectives on Safety Equity and Knowledge Equity.

Guoliang Dong, Haoyu Wang, Jun Sun, Xinyu Wang

Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, 2025

2024

sFuzz2.0: Storage-access pattern guided smart contract fuzzing.

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

J. Softw. Evol. Process., April, 2024

Evaluating and Mitigating Linguistic Discrimination in Large Language Models.

Guoliang Dong, Haoyu Wang, Jun Sun, Xinyu Wang

CoRR, 2024

2023

GC-MCR: Directed Graph Constraint-guided Concurrent Bug Detection Method.

Shuochuan Li, Zan Wang, Mingxu Ma, Xiang Chen, Yingquan Zhao, Haichi Wang, Haoyu Wang

Int. J. Softw. Informatics, 2023

MLIRSmith: Random Program Generation for Fuzzing MLIR Compiler Infrastructure.

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

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

2022

Natural Test Generation for Precise Testing of Question Answering Software.

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

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

2020

IFIX: Fixing Concurrency Bugs While They Are Introduced.

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

Proceedings of the 25th International Conference on Engineering of Complex Computer Systems, 2020