FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Scalable Verification of GNN-based Job Schedulers

Authors: Haoze Wu, Clark Barrett, Mahmood Sharif, Nina Narodytska and Gagandeep Singh

Paper Information

Title:Scalable Verification of GNN-based Job Schedulers
Authors:Haoze Wu, Clark Barrett, Mahmood Sharif, Nina Narodytska and Gagandeep Singh
Proceedings:FoMLAS2022 CameraReady
Editors: Nina Narodytska, Omri Isac and Guy Katz
Keywords:Neural Network Verification, Abstract Interpretation, Graph Neural Networks, Schedulers
Pages:31
Talk:Aug 01 09:00 (Session 26A)
Paper: