Computer networks have become a critical infrastructure. In fact, networks should not only
meet strict requirements in terms of correctness, availability, and performance but they …

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

We present Dionysus, a system for fast, consistent network updates in software-defined
networks. Dionysus encodes as a graph the consistency-related dependencies among …

Configuration changes are a common source of instability in networks, leading to outages,
performance disruptions, and security vulnerabilities. Even when the initial and final …

The complexity of network management is widely recognized as one of the biggest
challenges facing the Internet today. Point solutions for individual problems further increase …

Configuration changes are a common source of instability in networks, leading to broken
connectivity, forwarding loops, and access control violations. Even when the initial and final …

Software-defined networking (SDN) is revolutionizing the networking industry, but current
SDN programming platforms do not provide automated mechanisms for updating global …

As the Internet takes an increasingly central role in our communications infrastructure, the
slow convergence of routing protocols after a network failure becomes a growing problem …

When using link-state protocols such as OSPF or IS-IS, forwarding loops can occur
transiently when the routers adapt their forwarding tables as a response to a topological …

Large-scale reconfiguration campaigns tend to be nerve-racking for network operators as
they can lead to significant network downtimes, decreased performance, and policy …