Haoyu Wang

Orcid: 0000-0002-9985-8693

Affiliations:

Singapore Management University, School of Computing and Information System, Singapore

According to our database¹, Haoyu Wang authored at least 8 papers between 2020 and 2025.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2025

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

[BibT_eX]

[DOI]

Haoyu Wang

Christopher M. Poskitt

Jun Sun

Jiali Wei

CoRR, August, 2025

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

[BibT_eX]

[DOI]

Haoyu Wang

Christopher M. Poskitt

Jun Sun

CoRR, March, 2025

2024

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

[BibT_eX]

[DOI]

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

Evaluating and Mitigating Linguistic Discrimination in Large Language Models.

[BibT_eX]

[DOI]

CoRR, 2024

2023

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

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2023

MLIRSmith: Random Program Generation for Fuzzing MLIR Compiler Infrastructure.

[BibT_eX]

[DOI]

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

2022

Natural Test Generation for Precise Testing of Question Answering Software.

[BibT_eX]

[DOI]

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

2020

IFIX: Fixing Concurrency Bugs While They Are Introduced.

[BibT_eX]

[DOI]

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

Haoyu Wang

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...