Jong Hun Han, Prashanth Mundkur, Charalampos Rotsos, Gianni Antichi, Nirav H. Dave, Andrew William Moore, Peter G. Neumann. Blueswitch: Enabling Provably Consistent Configuration of Network Switches. In Gordon J. Brebner, Alex Bachmutsky, Chita Das, editors, Proceedings of the Eleventh ACM/IEEE Symposium on Architectures for networking and communications systems, ANCS 2015, Oakland, CA, USA, May 7-8, 2015. pages 17-27, IEEE/ACM, 2015. [doi]
Abstract is missing.