Publications
Detecting Network Load Violations for Distributed Control Planes [pdf]
Kausik Subramanian, Anubhavnidhi Abhashkumar, Loris D'Antoni, and Aditya Akella
In Proceedings of PLDI 2020, London, UK,

Liveness Verification of Stateful Network Functions [pdf]
Farnaz Yousefi, Anubhavnidhi Abhashkumar, Kausik Subramanian, Kartik Hans, Soudeh Ghorbani, Aditya Akella
In Proceedings of NSDI 2020, Santa Clara, California, USA

Synthesis of Fault-Tolerant Distributed Router Configurations [pdf] [ppt]
Kausik Subramanian, Loris D'Antoni, Aditya Akella
In Proceedings of ACM SIGMETRICS 2018, June 18-22, 2018, Irvine, California, USA

Genesis: Synthesizing Forwarding Tables in Multi-tenant Networks [pdf] [ppt] [Artifact]
Kausik Subramanian, Loris D'Antoni, Aditya Akella
In Proceedings of POPL 2017, January 18-20, 2017, Paris, France

D2R: Dataplane-Only Policy-Compliant Hierarchical Routing [pdf]
Kausik Subramanian, Anubhavnidhi Abhashkumar, Loris D'Antoni, and Aditya Akella
Under submission