S2: A Distributed Configuration Verifier for Hyper-Scale Networks.

Dan Wang, Peng Zhang, Wenbing Sun, Wenkai Li, Xing Feng, Hao Li, Jiawei Chen, Weirong Jiang, Yongping Tang

Browse the full SIGCOMM paper archive.