Genesis: synthesizing forwarding tables in multi-tenant networks

Operators in multi-tenant cloud datacenters require support for diverse and complex end-to-end policies, such as, reachability, middlebox traversals, isolation, traffic engineering, and network res...