Haoyu Wang

Orcid: 0000-0002-9985-8693

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


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

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
AgentSpec: Customizable Runtime Enforcement for Safe and Reliable LLM Agents.
CoRR, March, 2025

2024
sFuzz2.0: Storage-access pattern guided smart contract fuzzing.
J. Softw. Evol. Process., April, 2024

Evaluating and Mitigating Linguistic Discrimination in Large Language Models.
CoRR, 2024

2023
GC-MCR: Directed Graph Constraint-guided Concurrent Bug Detection Method.
Int. J. Softw. Informatics, 2023

MLIRSmith: Random Program Generation for Fuzzing MLIR Compiler Infrastructure.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

2022
Natural Test Generation for Precise Testing of Question Answering Software.
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

2020
IFIX: Fixing Concurrency Bugs While They Are Introduced.
Proceedings of the 25th International Conference on Engineering of Complex Computer Systems, 2020


  Loading...