Timothy Nelson, Andrew D. Ferguson, Michael J. G. Scheer, Shriram Krishnamurthi. Tierless Programming and Reasoning for Software-Defined Networks. In Ratul Mahajan, Ion Stoica, editors, Proceedings of the 11th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2014, Seattle, WA, USA, April 2-4, 2014. pages 519-531, USENIX Association, 2014. [doi]
Abstract is missing.