Tierless Programming and Reasoning for Software-Defined Networks

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]

Authors

Timothy Nelson

This author has not been identified. Look up 'Timothy Nelson' in Google

Andrew D. Ferguson

This author has not been identified. Look up 'Andrew D. Ferguson' in Google

Michael J. G. Scheer

This author has not been identified. Look up 'Michael J. G. Scheer' in Google

Shriram Krishnamurthi

Identified as Shriram Krishnamurthi