Haoyu Wang

12 papers A* 3B 1Journal 8
YearRankTypeTitle / Venue / Authors
2026 J jnl
Domain-Specialized Tree of Thought through Plug-and-Play Predictors.
CoRR
Xuanqi Gao, Haoyu Wang, Jun Sun, Shiqing Ma, Chao Shen
2026 J jnl
Exploring JVM Garbage Collector Testing with Event-Coverage.
ACM Trans. Softw. Eng. Methodol.
Kai Zheng, Zan Wang, Yingquan Zhao, Junjie Chen, Hanmo You, Haoyu Wang, Yiheng Du, Tianchang Gao
2026 J jnl
SafeClaw-R: Towards Safe and Secure Multi-Agent Personal Assistants.
CoRR
Haoyu Wang, Zibo Xiao, Yedi Zhang, Christopher M. Poskitt, Jun Sun
2025 J jnl
AgentSpec: Customizable Runtime Enforcement for Safe and Reliable LLM Agents.
CoRR
Haoyu Wang, Christopher M. Poskitt, Jun Sun
2025 A* conf
Evaluating and Mitigating Linguistic Discrimination in Large Language Models: Perspectives on Safety Equity and Knowledge Equity.
IJCAI
Guoliang Dong, Haoyu Wang, Jun Sun, Xinyu Wang
2025 J jnl
Pro2Guard: Proactive Runtime Enforcement of LLM Agent Safety via Probabilistic Model Checking.
CoRR
Haoyu Wang, Christopher M. Poskitt, Jun Sun, Jiali Wei
2024 J jnl
Evaluating and Mitigating Linguistic Discrimination in Large Language Models.
CoRR
Guoliang Dong, Haoyu Wang, Jun Sun, Xinyu Wang
2024 J jnl
sFuzz2.0: Storage-access pattern guided smart contract fuzzing.
J. Softw. Evol. Process.
Haoyu Wang, Zan Wang, Shuang Liu, Jun Sun, Yingquan Zhao, Yan Wan, Tai D. Nguyen
2023 J jnl
GC-MCR: Directed Graph Constraint-guided Concurrent Bug Detection Method.
Int. J. Softw. Informatics
Shuochuan Li, Zan Wang, Mingxu Ma, Xiang Chen, Yingquan Zhao, Haichi Wang, Haoyu Wang
2023 A* conf
MLIRSmith: Random Program Generation for Fuzzing MLIR Compiler Infrastructure.
ASE
Haoyu Wang, Junjie Chen, Chuyue Xie, Shuang Liu, Zan Wang, Qingchao Shen, Yingquan Zhao
2022 A* conf
Natural Test Generation for Precise Testing of Question Answering Software.
ASE
Qingchao Shen, Junjie Chen, Jie M. Zhang, Haoyu Wang, Shuang Liu, Menghan Tian
2020 B conf
IFIX: Fixing Concurrency Bugs While They Are Introduced.
ICECCS
Zan Wang, Haichi Wang, Shuang Liu, Jun Sun, Haoyu Wang, Junjie Chen