Haoyu Wang (王 昊宇)
Email : haoyu.wang.2024@phdcs.smu.edu.sg
Github : https://github.com/haoyuwang99
LinkedIn : https://www.linkedin.com/in/haoyu-wang-898003239/
Wechat : StanWang_142
I am currently a PhD student at the Singapore Management University co-advised by Prof. C.M. Poskitt and Prof. Jun Sun, where I am part of the Center for Research on Intelligent Software Engineering (RISE). My current research interest mainly focus on AI safety and security. Besides, I am also interested in compiler testing.
EDUCATION
2024.8 to now > PhD in Computer Science, Singapore Management University
2021.9 to 2024.1 > Master in Software Engineering, Tianjin University
2017.9 to 2021.7 > Bachelor in Software Engineering, Tianjin University
WORK EXPERIENCES
2024.4 to present > Research Engineer, Singapore Management University
2020.5 to 2020.10 > Backend Developer Intern, ByteDance
PUBLICATIONS
Pro2Guard: Proactive Runtime Enforcement of LLM Agent Safety via Probabilistic Model Checking (arxiv)
Haoyu Wang, C.M. Poskitt, Jun Sun and Jiali Wei.
AgentSpec: Customizable Runtime Enforcement for Safe and Reliable LLM Agents (ICSE '26)
Haoyu Wang, C.M. Poskitt and Jun Sun.
Evaluating and Mitigating Linguistic Discrimination in Large Language Models: Perspectives on Safety Equity and Knowledge Equity (IJCAI '25)
Guoliang Dong, Haoyu Wang, Jun Sun and Xinyu Wang.
Exploring JVM Garbage Collector Testing with Event-Coverage (TOSEM '24)
Kai Zheng, Zan Wang, Yingquan Zhao, Junjie Chen, Hanmo You, Haoyu Wang, Yiheng Du, Tianchang Gao
MLIRSmith: Random Program Generation for Fuzzing MLIR Compiler Infrastructure (ASE '23)
Haoyu Wang, Junjie Chen, Chuyue Xie, Shuang Liu, Zan Wang, Qingchao Shen and Yingquan Zhao.
The compiler fuzzing tool MLIRSmith detected 100+ previously unknown bugs in MLIR .
sFuzz2.0: Storage-Access Pattern Guided Smart Contract Fuzzing (JSEP '23)
Haoyu Wang, Zan Wang, Shuang Liu, Jun Sun, Yingquan Zhao, Yan Wan and Tai D. Nguyen.
Natural Test Generation for Precise Testing of Question Answering Software (ASE '22)
Qingchao Shen, Junjie Chen, Jie M Zhang, Haoyu Wang, Shuang Liu and Menghan Tian.
GC-MCR:有向图约束指导的并发缺陷检测方法 (软件学报 '22)
李硕川, 王赞, 马明旭, 陈翔, 赵英全, 王海弛, 王昊宇。
IFIX: Fixing Concurrency Bugs While They Are Introduced (ICECCS '20)
Zan Wang, Haichi Wang, Shuang Liu, Jun Sun, Haoyu Wang and Junjie Chen.
INVITED TALKS
[April. 2025] I gave a talk to AI security group of MSD inc. about enforcing safe and reliable agent via AgentSpec. [Virtual]
[Sep. 2023] I gave a talk at ASE about the fuzzing the MLIR infrastructure with MLIRSmith. [Luxemburg]
[Dec. 2022] I gave a talk at ChinaSoft about the smart contract fuzzing. [Virtual]