We stand with Ukraine  

Haoyu Wang

Orcid: 0000-0001-9377-7246

Affiliations:
  • Singapore Management University, School of Computing and Information System, Singapore


According to our database1, Haoyu Wang authored at least 9 papers between 2020 and 2025.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
Pro2Guard: Proactive Runtime Enforcement of LLM Agent Safety via Probabilistic Model Checking.
[BibTeX]
[DOI]
Haoyu Wang
,
Christopher M. Poskitt
,
Jun Sun
,
Jiali Wei
CoRR, August, 2025

AgentSpec: Customizable Runtime Enforcement for Safe and Reliable LLM Agents.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Guoliang Dong
,
Haoyu Wang
,
Jun Sun
,
Xinyu Wang
CoRR, 2024

2023
GC-MCR: Directed Graph Constraint-guided Concurrent Bug Detection Method.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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


  Loading...