Publications
Genesis: Synthesizing Forwarding Tables in Multi-tenant Networks [pdf] [ppt] [Artifact]
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
In Proc. of ACM SIGMETRICS 2018, June 18-22, 2018, Irvine, California, USA