Aaron Gember-Jacobson, Aditya Akella, Ratul Mahajan, Hongqiang Harry Liu. Automatically Repairing Network Control Planes Using an Abstract Representation. In Proceedings of the 26th Symposium on Operating Systems Principles, Shanghai, China, October 28-31, 2017. pages 359-373, ACM, 2017. [doi]
Abstract is missing.