In Proc. of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017), January 18-20, 2017, Paris, France

Genesis

Abstract:

We developed a network management system named Genesis with support for end-to-end
policies like reachability, middlebox traversals, isolation, traffic engineering and network resource management. Genesis synthesizes switch forwarding tables using the formal reasoning foundations of constraint solving in combination with fast off-the-shelf SMT solvers. To speed
up synthesis, Genesis incorporate domain-specific search strategies which leverage the structure
of datacenter topologies and policy interactions. Genesis is extended to support minimal
network repair to meet intents and synthesis of resilient data-planes using isolation. Artifact