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 …

Networks are complex and prone to bugs. Existing tools that check configuration files and
data-plane state operate offline at timescales of seconds to hours, and cannot detect or …

Computer networks lack a general control paradigm, as traditional networks do not provide
any networkwide management abstractions. As a result, each new function (such as routing) …

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

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

Software Defined Networks (SDN) give network designers freedom to refactor the network
control plane. One core benefit of SDN is that it enables the network control logic to be …

Network is dynamic and requires update in the operation. However, many confusions and
problems can be caused by careless schedule in the update process. Although the problem …

In general, the present invention relates to a virtual platform in which one or more distributed
virtual switches can be created for use in virtual networking. According to some aspects, the …

Datacenter networks (DCNs) are constantly evolving due to various updates such as switch
upgrades and VM migrations. Each update must be carefully planned and executed in order …

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 …