Intentionet™ leverages its team's deep expertise in network design and validation.

• A General Approach To Network Configuration Verification

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

  USENIX Symposium on Networked Systems Design and Implementation (NSDI) 2015

• Network Configuration Synthesis With Abstract Topologies

  Ryan Beckett, Ratul Mahajan, Todd Millstein, Jitendra Padhye, David Walker

  ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) 2017

• Efficient Network Reachability Analysis Using A Succinct Control Plane Representation

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

  USENIX Symposium on Operating Systems Design and Implementation (OSDI) 2016

• Don't Mind The Gap: Bridging Network-Wide Objectives And Device-Level Configurations

  Ryan Beckett, Ratul Mahajan, Jitu Padhye, Todd Millstein, David Walker

  ACM SIGCOMM 2016

• Fast Control Plane Analysis Using An Abstract Representation

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

  ACM SIGCOMM 2016

• A General Approach To Network Configuration Verification

  Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker

  ACM SIGCOMM 2017 Proceedings of the Conference of the ACM Special Interest Group on Data Communication

• Understanding BGP Misconfiguration

  Ratul Mahajan, David Wetherall, Tom Anderson

  ACM SIGCOMM 2002