P 5 : Policy-driven optimization of P 4 pipeline
PGA: Using Graphs to Express and Automatically Reconcile Network Policies