Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Haoze Wu
conf.researchr.org general profile
NASA Formal Methods 2024 profile
PLDI 2023 profile
POPL 2026 profile
SPLASH 2022 profile
SPLASH/ISSTA 2026 profile
Registered user since Thu 15 Sep 2022
Name:
Haoze Wu
Country:
United States
Affiliation:
Stanford University
Contributions
2026
Static Analysis Symposium
Author of NEAT: The Luna Bound Propagator for Formal Analysis of Neural Networks within the SAS 2026-track
VMCAI
Author of Proof Minimization in Neural Network Verification within the VMCAI 2026-track
2024
NFM
Committee Member in Program Committee within the NFM 2024-track
2023
PLDI
Author of Scalable Verification of GNN-based Job Schedulers within the PLDI Research Papers-track
2022
SPLASH
Author of Scalable Verification of GNN-Based Job Schedulers within the OOPSLA-track
Share
x
Sun 9 Aug 06:19