Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Haoze Wu
conf.researchr.org general profile
NASA Formal Methods 2024 profile
PLDI 2023 profile
SPLASH 2022 profile
Registered user since Thu 15 Sep 2022
Name:
Haoze Wu
Country:
United States
Affiliation:
Stanford University
Contributions
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 26 Oct 17:06
