research
∙
07/11/2023
What do LLMs need to Synthesize Correct Router Configurations?
We investigate whether Large Language Models (e.g., GPT-4) can synthesiz...
share
research
∙
09/26/2022
Test Coverage for Network Configurations
We develop NetCov, the first tool to reveal which network configuration ...
research
∙
07/26/2022
FP4: Line-rate Greybox Fuzz Testing for P4 Switches
Compared to fixed-function switches, the flexibility of programmable swi...
research
∙
06/05/2022
ACORN: Network Control Plane Abstraction using Route Nondeterminism
Networks are hard to configure correctly, and misconfigurations occur fr...
research
∙
04/21/2022
Modular Control Plane Verification via Temporal Invariants
Satisfiability Modulo Theory (SMT)-based tools for network control plane...
research
∙
04/20/2022
LIGHTYEAR: Using Modularity to Scale BGP Control Plane Verification
Current network control plane verification tools cannot scale to large n...
research
∙
02/12/2022
Kirigami, the Verifiable Art of Network Cutting
We introduce a modular verification approach to network control plane ve...
research
∙
02/03/2019
Contra: A Programmable System for Performance-aware Routing
We present Contra, a system for performance-aware routing that can adapt...
research
∙
06/22/2018
Control Plane Compression
We develop an algorithm capable of compressing large networks into a sma...
research
∙
07/10/2017