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