@inproceedings {246484, author = {Santhosh Prabhu and Kuan Yen Chou and Ali Kheradmand and Brighten Godfrey and Matthew Caesar}, title = {Plankton: Scalable network configuration verification through model checking }, booktitle = {17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20)}, year = {2020}, isbn = {978-1-939133-13-7}, address = {Santa Clara, CA}, pages = {953--967}, url = {https://www.usenix.org/conference/nsdi20/presentation/prabhu}, publisher = {USENIX Association}, month = feb } @inproceedings {254146, author = {Sangeetha Abdu Jyothi and Sayed Hadi Hashemi and Roy Campbell and Brighten Godfrey}, title = {Towards An Application {Objective-Aware} Network Interface}, booktitle = {12th USENIX Workshop on Hot Topics in Cloud Computing (HotCloud 20)}, year = {2020}, url = {https://www.usenix.org/conference/hotcloud20/presentation/jyothi}, publisher = {USENIX Association}, month = jul } @inproceedings {211245, author = {Mo Dong and Tong Meng and Doron Zarchy and Engin Arslan and Yossi Gilad and Brighten Godfrey and Michael Schapira}, title = {{PCC} Vivace: {Online-Learning} Congestion Control}, booktitle = {15th USENIX Symposium on Networked Systems Design and Implementation (NSDI 18)}, year = {2018}, isbn = {978-1-939133-01-4}, address = {Renton, WA}, pages = {343--356}, url = {https://www.usenix.org/conference/nsdi18/presentation/dong}, publisher = {USENIX Association}, month = apr } @inproceedings {182308, author = {Anduo Wang and Wenchao Zhou and Brighten Godfrey and Matthew Caesar}, title = {{Software-Defined} Networks as Databases}, booktitle = {Open Networking Summit 2014 (ONS 2014)}, year = {2014}, address = {Santa Clara, CA}, url = {https://www.usenix.org/conference/ons2014/technical-sessions/presentation/wang}, publisher = {USENIX Association}, month = mar } @inproceedings {180299, author = {Junda Liu and Aurojit Panda and Ankit Singla and Brighten Godfrey and Michael Schapira and Scott Shenker}, title = {Ensuring Connectivity via Data Plane Mechanisms}, booktitle = {10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13)}, year = {2013}, isbn = {978-1-931971-00-3}, address = {Lombard, IL}, pages = {113--126}, url = {https://www.usenix.org/conference/nsdi13/technical-sessions/presentation/liu_junda}, publisher = {USENIX Association}, month = apr }