Software-defined networking (SDN) has emerged as a new network paradigm that promises
control/data plane separation and centralized network control. While these features simplify …

Measurement plays a key role in network operation and management. An important but
unaddressed practical requirement in high speed networks is supporting concurrent …

In the context of the emergent Software-Defined Networking (SDN) paradigm, the attention is
mostly directed to the evolution of control protocols and networking functionalities. However …

Ensuring the reliability and availability of cloud services necessitates efficient root cause
analysis (RCA) for cloud incidents. Traditional RCA methods, which rely on manual …

Datalog has witnessed promising applications in a variety of domains. We propose a
programming-by-example system, ALPS, to synthesize Datalog programs from input-output …

In large-scale online service systems, incidents occur frequently due to a variety of causes,
from updates of software and hardware to changes in operation environment. These …

Wireless networks ensure the unmanned aerial vehicles (UAVs) communicate and
cooperate with each other, which plays an indispensable role among UAVs. The two crucial …

Diagnosing network security issues in traditional networks is difficult. It is even more
frustrating in the emerging Software Defined Networks. The data/control plane decoupling of …

The forwarding behavior of computer networks is governed by the configuration of
distributed routing protocols and access filters---collectively known as the network control …

When diagnosing a problem in a distributed system, it is sometimes necessary to explain the
timing of an event—for instance, why a response has been delayed, or why the network …