ConstraintFlow: A Declarative DSL for Easy Development of DNN Certifiers
Abstract elided by the publisher.
Related papers
- Automated Verification of Soundness of DNN Certifiers OOPSLA 2025
- Forge: generating a high performance DSL implementation from a declarative specification GPCE 2013
- DNNV: A Framework for Deep Neural Network Verification CAV 2021
- Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems CAV 2024
- Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes PLDI 2021
- Orchestrating masses of sensors: a design-driven development Approach GPCE 2015
- Xdiagram: a declarative textual DSL for describing diagram editors (tool demo) SLE 2016
- MimIR: An Extensible and Type-Safe Intermediate Representation for the DSL Age POPL 2025