Genesis: Synthesizing Forwarding Tables in Multi-tenant Networks [pdf] [ppt]
Kausik Subramanian, Loris D'Antoni, Aditya Akella
In Proc. of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017), January 18-20, 2017, Paris, France

Synthesis of Fault-Tolerant Distributed Router Configurations [pdf] [ppt]
Kausik Subramanian, Loris D'Antoni, Aditya Akella
To appear in ACM SIGMETRICS 2018, June 18-22, 2018, Irvine, California, USA
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.