conftrace_

control plane synthesis

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

counter-example guided (1) inductive synthesis (1) network heterogeneity (1) counterexample guided inductive synthesis (1) data plane (1) control plane (1) software-defined networking (1) program synthesis (1)

Papers

Avenir: Managing Data Plane Diversity with Control Plane Synthesis NSDI 2021