Biblio

Export 5 results:
Filters: Author is Brighten Godfrey  [Clear All Filters]
2020
Prabhu S, Chou KYen, Kheradmand A, Godfrey B, Caesar M.  2020.  Plankton: Scalable network configuration verification through model checking . 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20). :953--967.
Jyothi SAbdu, Hashemi SHadi, Campbell R, Godfrey B.  2020.  Towards An Application Objective-Aware Network Interface. 12th USENIX Workshop on Hot Topics in Cloud Computing (HotCloud 20).
2018
Dong M, Meng T, Zarchy D, Arslan E, Gilad Y, Godfrey B, Schapira M.  2018.  PCC Vivace: Online-Learning Congestion Control. 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI 18). :343--356.
2014
Wang A, Zhou W, Godfrey B, Caesar M.  2014.  Software-Deļ¬ned Networks as Databases. Open Networking Summit 2014 (ONS 2014).
2013
Liu J, Panda A, Singla A, Godfrey B, Schapira M, Shenker S.  2013.  Ensuring Connectivity via Data Plane Mechanisms. 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13). :113--126.