To guarantee network availability and security, operators must ensure that their reachability
policies (eg, A can or cannot talk to B) are correctly implemented. This is a difficult task due …

Despite its great importance, modern network infrastructure is remarkable for the lack of rigor
in its engineering. The Internet, which began as a research experiment, was never designed …

We present a new routing protocol, pathlet routing, in which networks advertise fragments of
paths, called pathlets, that sources concatenate into end-to-end source routes. Intuitively, the …

We present SymNet, a network static analysis tool based on symbolic execution. SymNet
injects symbolic packets and tracks their evolution through the network. Our key novelty is …

We present a new method for scaling automatic configuration of computer networks. The key
idea is to relax the computationally hard search problem of finding a configuration that …

Today's distributed network control planes are highly sophisticated, with multiple interacting
protocols operating at layers 2 and 3. The complexity makes network configurations highly …

We present Contra, a system for performance-aware routing that can adapt to traffic changes
at hardware speeds. While point solutions exist for a fixed topology (eg, a Fattree) with a …

An understanding of the topological structure of the Internet is needed for quite a number of
networking tasks, eg, making decisions about peering relationships, choice of upstream …

We develop an algorithm capable of compressing large networks into smaller ones with
similar control plane behavior: For every stable routing solution in the large, original …

Enterprise networks are important, with size and complexity even surpassing carrier
networks. Yet, the design of enterprise networks is ad-hoc and poorly understood. In this …