@inproceedings {188950, author = {Hyojoon Kim and Joshua Reich and Arpit Gupta and Muhammad Shahbaz and Nick Feamster and Russ Clark}, title = {Kinetic: Verifiable Dynamic Network Control}, booktitle = {12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15)}, year = {2015}, isbn = {978-1-931971-218}, address = {Oakland, CA}, pages = {59--72}, url = {https://www.usenix.org/conference/nsdi15/technical-sessions/presentation/kim}, publisher = {USENIX Association}, month = may } @inproceedings {180291, author = {Christopher Monsanto and Joshua Reich and Nate Foster and Jennifer Rexford and David Walker}, title = {Composing Software Defined Networks}, booktitle = {10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13)}, year = {2013}, isbn = {978-1-931971-00-3}, address = {Lombard, IL}, pages = {1--13}, url = {https://www.usenix.org/conference/nsdi13/technical-sessions/presentation/monsanto}, publisher = {USENIX Association}, month = apr } @inproceedings {267328, author = {Joshua Reich and Michel Goraczko and Aman Kansal}, title = {Sleepless in Seattle No Longer}, booktitle = {2010 USENIX Annual Technical Conference (USENIX ATC 10)}, year = {2010}, url = {https://www.usenix.org/conference/usenix-atc-10/sleepless-seattle-no-longer}, publisher = {USENIX Association}, month = jun }