Scalable Verification of GNN-Based Job Schedulers
Published in OOPSLA, 2022
Recommended citation: Haoze Wu, Clark Barrett, Mahmood Sharif, Nina Narodytska, Gagandeep Singh, OOPSLA 2022. /files/vegas.pdf
Published in OOPSLA, 2022
Recommended citation: Haoze Wu, Clark Barrett, Mahmood Sharif, Nina Narodytska, Gagandeep Singh, OOPSLA 2022. /files/vegas.pdf