In order to meet their stringent dependability requirements, most modern packet-switched
communication networks support fast-recovery mechanisms in the data plane. While …

Software-defined networking (SDN) plays a crucial role in the enterprise and wide-area
networking. The increasing demand for strict service-level agreement applications on the …

The classical formulation of the program-synthesis problem is to find a program that meets a
correctness specification given as a logical formula. Recent work on program synthesis and …

We present the first large-scale analysis of failures in a data center network. Through our
analysis, we seek to answer several fundamental questions: which devices/links are most …

Maintaining the highest levels of availability for content providers is challenging in the face
of scale, network evolution and complexity. Little, however, is known about failures large …

By decoupling control plane and data plane, Software-Defined Networking (SDN) approach
simplifies network management and speeds up network innovations. These benefits have …

In Named Data Networking (NDN) architecture, packets carry data names rather than source
or destination addresses. This change of paradigm leads to a new data plane: data …

Networks are getting larger and more complex; yet administrators rely on rudimentary tools
such as ** and traceroute to debug problems. We propose an automated and systematic …

Networks are expected to provide reliable performance under a wide range of operating
conditions, but existing traffic engineering (TE) solutions optimize for performance or …

To minimize network latency and remain online during server failures and network partitions,
many modern distributed data storage systems eschew transactional functionality, which …