@article{wu2022scalable,
  title={Scalable verification of GNN-based job schedulers},
  author={Wu, Haoze and Barrett, Clark and Sharif, Mahmood and Narodytska, Nina and Singh, Gagandeep},
  journal={Proceedings of the ACM on Programming Languages},
  volume={6},
  number={OOPSLA2},
  pages={1036--1065},
  year={2022},
  publisher={ACM New York, NY, USA}
}