Synthesizing Switching Logic Using Constraint Solving
Abstract elided by the publisher.
Related papers
- Genesis: synthesizing forwarding tables in multi-tenant networks POPL 2017
- Synthesizing MILP Constraints for Efficient and Robust Optimization PLDI 2023
- Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification POPL 2023
- Synthesizing coupling proofs of differential privacy POPL 2018
- Synthesizing Fair Decision Trees via Iterative Constraint Solving CAV 2022
- Relational Synthesis of Recursive Programs via Constraint Annotated Tree Automata CAV 2024
- Synthesizing Invariants for Polynomial Programs by Semidefinite Programming TOPLAS 2025
- Synthesis of layout engines from relational constraints OOPSLA 2015