FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Gagandeep Singh
Affiliation: University of Illinois at Urbana-Champaign
Web page: https://ggndpsngh.github.io/
Pages in this Program
All Proceedings Papers
CAV 2022 All Papers
CAV 2022 All Papers: Papers with Abstracts
CAV on Sunday, August 7th
CAV Program
FoMLAS on Monday, August 1st
FoMLAS Program
FoMLAS2022 CameraReady
FoMLAS2022 CameraReady: Papers with Abstracts
Paper: Scalable Verification of GNN-based Job Schedulers
Paper: Shared Certificates for Neural Network Verification
Program
Program for Monday, August 1st
Program for Sunday, August 7th
Slides
Slides