The cloud gateway is essential in the public cloud as the central hub of cloud traffic. We
show that horizontal scaling of software gateways, once sustainable for years, is no longer …

At-scale evaluation of new data center network innovations is becoming increasingly
intractable. This is true for testbeds, where few, if any, can afford a dedicated, full-scale …

Ensuring the correctness of programmable data planes is important. Testing offers
comprehensive correctness checking, including detecting both code bugs and non-code …

-1emAutomated Verification of Network Function Binaries Page 1 Open access to the
Proceedings of the 19th USENIX Symposium on Networked Systems Design and …

It is notoriously difficult to verify that a network is behaving as intended, especially at scale.
This paper presents Hydra, a system that uses ideas from runtime verification to check that …

Distributed systems today offer rich features with numerous semantics that users depend on.
Bugs can cause a system to silently violate its semantics without apparent anomalies. Such …

We present Zoonet, a proactive virtual network telemetry system for multi-tenant clouds. The
requirements are to (1) cover hyper-scale virtual networks with millions of tenants and …

Distributed snapshots are a classic class of protocols used for capturing a causally
consistent view of states across machines. Although effective, existing protocols presume an …

We develop FLM, a high-level language that enables network operators to write programs
that recognize and react to specific packet sequences. To be able to examine every packet …

At present, public clouds have served millions of tenants. To provide reliable services, cloud
vendors need to perceive health status of the cloud network by building a telemetry system …