External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Scalable verification of GNN-based job schedulers

Haoze Wu 0001, Clark W. Barrett, Mahmood Sharif, Nina Narodytska, Gagandeep Singh. Scalable verification of GNN-based job schedulers. Proceedings of the ACM on Programming Languages, 6(OOPSLA2):1036-1065, 2022. [doi]

Authors

Haoze Wu 0001

This author has not been identified. Look up 'Haoze Wu 0001' in Google

Clark W. Barrett

This author has not been identified. Look up 'Clark W. Barrett' in Google

Mahmood Sharif

This author has not been identified. Look up 'Mahmood Sharif' in Google

Nina Narodytska

This author has not been identified. Look up 'Nina Narodytska' in Google

Gagandeep Singh

This author has not been identified. Look up 'Gagandeep Singh' in Google
runs on