conftrace_

network heterogeneity

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

inductive synthesis (1) counter-example guided (1) control plane synthesis (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