Aaron Gember-Jacobson, Wenfei Wu, Xiujun Li, Aditya Akella, and Ratul Mahajan.

Fast Control Plane Analysis Using an Abstract Representation.

Aaron Gember-Jacobson, Raajay Viswanathan, Aditya Akella, and Ratul Mahajan.

In Proceedings of the 2016 ACM SIGCOMM Conference (Florianopolis, Brazil) (SIGCOMM ’16). In Proceedings of the 26th Symposium on Operating Systems Principles. Automatically repairing network control planes using an abstract representation.

Aaron Gember-Jacobson, Aditya Akella, Ratul Mahajan, and Hongqiang Harry Liu.

In European Symposium on Programming Languages and Systems.

Nate Foster, Dexter Kozen, Konstantinos Mamouras, Mark Reitblatt, and Alexandra Silva.

Nineteenth annual joint conference of the IEEE computer and communications societies. Internet traffic engineering by optimizing OSPF weights. In 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15). A general approach to network configuration analysis.

Ari Fogel, Stanley Fung, Luis Pedrosa, Meg Walraed-Sullivan, Ramesh Govindan, Ratul Mahajan, and Todd Millstein.

In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16). Efficient Network Reachability Analysis using a Succinct Control Plane Representation.

Seyed K Fayaz, Tushar Sharma, Ari Fogel, Ratul Mahajan, Todd Millstein, Vyas Sekar, and George Varghese.

nsdi18/presentation/el-hassany Google Scholar

In 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI 18). NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion. Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, and Martin Vechev.In 29th International Conference on Computer Aided Verification, Heidelberg, Germany, 2017 (CAV’17). In Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 14th International Conference. Leonardo Mendonça de Moura and Nikolaj Bjørner.USENIX Association, Boston, MA, 347– 362. In 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI 17). Robust Validation of Network Designs under Uncertain Demands and Failures. Yiyang Chang, Sanjay Rao, and Mohit Tawarmalani.In Proceedings of the ACM SIGCOMM 2011 Conference (Toronto, Ontario, Canada) (SIGCOMM ’11). Demystifying Configuration Challenges and Trade-offs in Network-based ISP Services. Theophilus Benson, Aditya Akella, and Aman Shaikh.USENIX Association, Berkeley, CA, USA, 335–348. In Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation (Boston, Massachusetts) (NSDI’09). Unraveling the Complexity of Network Management. Theophilus Benson, Aditya Akella, and David Maltz.In Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation. Network configuration synthesis with abstract topologies. Ryan Beckett, Ratul Mahajan, Todd Millstein, Jitendra Padhye, and David Walker.In Proceedings of the ACM SIGCOMM 2016 Conference on SIGCOMM (SIGCOMM ’16). Don’t Mind the Gap: Bridging Network-wide Objectives and Device-level Configurations. Ryan Beckett, Ratul Mahajan, Todd Millstein, Jitu Padhye, and David Walker.In Proceedings of the Conference of the ACM Special Interest Group on Data Communication (Los Angeles, CA, USA) (SIGCOMM ’17). A General Approach to Network Configuration Verification. Ryan Beckett, Aarti Gupta, Ratul Mahajan, and David Walker.In ACM SIGCOMM Computer Communication Review, Vol. A scalable, commodity data center network architecture. Mohammad Al-Fares, Alexander Loukissas, and Amin Vahdat.USENIX Association, Santa Clara, CA, 201–219. In 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20).

Tiramisu: Fast Multilayer Network Verification. Anubhavnidhi Abhashkumar, Aaron Gember-Jacobson, and Aditya Akella.Cisco IOS Configuration Fundamentals Command Reference.

Qarc funding