Co-occurring keywords · papers mentioning both
Papers
CrossCheck: Input Validation for WAN Control Systems
NSDI 2026
Express Lane to Efficiency and Reliability: Multi-Dimensional Control in Meta’s Express Backbone Network
NSDI 2026
Resiliency at Scale: Managing Google’s TPUv4 Machine Learning Supercomputer
NSDI 2024
Building Flexible, Low-Cost Wireless Access Networks With Magma
NSDI 2023
OneWAN is better than two: Unifying a split WAN architecture
NSDI 2023
Bluebird: High-performance SDN for Bare-metal Cloud Services
NSDI 2022
Decentralized cloud wide-area network traffic engineering with BLASTSHIELD
NSDI 2022
Yeti: Stateless and Generalized Multicast Forwarding
NSDI 2022
Accessing Cloud with Disaggregated Software-Defined Router
NSDI 2021
Avenir: Managing Data Plane Diversity with Control Plane Synthesis
NSDI 2021
Orion: Google's Software-Defined Networking Control Plane
NSDI 2021
Constraint Games for Stable and Optimal Allocation of Demands in SDN
IJCAI 2019
Automatically Correcting Networks with NEAt
NSDI 2018
Automated Bug Removal for Software-Defined Networks
NSDI 2017
Correct by Construction Networks Using Stepwise Refinement
NSDI 2017
Delta-net: Real-time Network Verification Using Atoms
NSDI 2017
VFP: A Virtual Switch Platform for Host SDN in the Public Cloud
NSDI 2017