SDN

Presentations:

Kinetic: Verifiable Dynamic Network Control

Enforcing Customizable Consistency Properties in Software-Defined Networks

CoVisor: A Compositional Hypervisor for Software-Defined Networks

Compiling Packet Programs to Reconfigurable Switches