Skip to main content

Publications

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

A general approach to network configuration verification

Ryan Beckett, Aarti Gupta, Ratul Mahajan, and David Walker

To appear in ACM SIGCOMM 2017

Network Configuration Synthesis with Abstract Topologies

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

To appear in 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 Analysis

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

Understanding BGP Misconfiguration

Ratul Mahajan, David Wetherall, Tom Anderson

ACM SIGCOMM 2002