research
∙
06/05/2022
ACORN: Network Control Plane Abstraction using Route Nondeterminism
Networks are hard to configure correctly, and misconfigurations occur fr...
share
research
∙
04/21/2022
Modular Control Plane Verification via Temporal Invariants
Satisfiability Modulo Theory (SMT)-based tools for network control plane...
research
∙
03/01/2022
Specialized Accelerators and Compiler Flows: Replacing Accelerator APIs with a Formal Software/Hardware Interface
Specialized accelerators are increasingly used to meet the power-perform...
research
∙
02/12/2022
Kirigami, the Verifiable Art of Network Cutting
We introduce a modular verification approach to network control plane ve...
research
∙
06/22/2018
Control Plane Compression
We develop an algorithm capable of compressing large networks into a sma...
research
∙
01/03/2018