P 5 : Policy-driven optimization of P 4 pipeline
Compiling packet programs to reconfigurable switches