Scalable verification of GNN-based job schedulers

Date

December, 2022

Authors

• Mahmood Sharif
• Nina Narodytska
• Gagandeep Singh
• Haoze Wu
• Clark W. Barrett

Type

Article

Journal

Proc. {ACM} Program. Lang. (OOPSLA)