S2: A Distributed Configuration Verifier for Hyper-Scale Networks#
SIGCOMM 2025 digest Program Adjacent pick Coimbra · 8–11 September 2025
Dan Wang et al. (Xi'an Jiaotong, Northwest U., ByteDance)
Why: Config verification is operationally adjacent; single-box verifiers stall past ~10K switches / 1000M routes that large providers actually run.
What: A scale-out verifier reaching 10K routers and 1000M routes within 2 hours by distributing across servers.
How: Partitions the network model and distributes control-plane simulation + data-plane verification across machines, with prefix sharding to cut per-server memory; built on Batfish.
Where applicable: Large service-provider/DC networks that outgrew single-server Batfish; general approach.