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