conftrace_

control plane

10 papers

Explore in graph

Co-occurring keywords

data plane (18) network verification (18) software-defined networking (11) network configuration (12) distributed system (96) data plane analysis (2) multi-tenant controller (2) software defined networking (6) network virtualization (15) programmable data plane (8)

Papers

LuoShen: A Hyper-Converged Programmable Gateway for Multi-Tenant Multi-Service Edge Clouds NSDI 2024
Rearchitecting the TCP Stack for I/O-Offloaded Content Delivery NSDI 2023
Test Coverage for Network Configurations NSDI 2023
Differential Network Analysis NSDI 2022
Orion: Google's Software-Defined Networking Control Plane NSDI 2021
Avenir: Managing Data Plane Diversity with Control Plane Synthesis NSDI 2021
Tiramisu: Fast Multilayer Network Verification NSDI 2020
Config2Spec: Mining Network Specifications from Network Configurations NSDI 2020
Hydra: a federated resource manager for data-center scale analytics NSDI 2019
Efficient Network Reachability Analysis Using a Succinct Control Plane Representation OSDI 2016