We present a new method for scaling automatic configuration of computer networks. The key
idea is to relax the computationally hard search problem of finding a configuration that …

This paper presents Aquila, the first practically usable verification system for Alibaba's
production-scale programmable data planes. Aquila addresses four challenges in building a …

Networks are constantly changing. To avoid outages, operators need to know whether
prospective changes in a network's control plane will cause undesired changes in end-to …

Network verification often requires analyzing properties across different spaces (header
space, failure space, or their product) under different failure models (deterministic and/or …

Cellular service providers add carriers in the network in order to support the increasing
demand in voice and data traffic and provide good quality of service to the users. Addition of …

Boosted by deep learning, natural language processing (NLP) techniques have recently
seen spectacular progress, mainly fueled by breakthroughs both in representation learning …

Centralized data plane verification (DPV) faces significant scalability issues in large
networks (ie, the verifier being a performance bottleneck and single point of failure and …

This paper presents Jingubang, the first reported system for checking network traffic load
properties (eg, if any link's utilization would exceed 80% during a network change) in a …

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

Recently, there is a flurry of projects that develop data plane systems in programmable
switches, and these systems perform far more sophisticated processing than simply deciding …