Biblio

Export 8 results:
Filters: Author is Ryan Beckett  [Clear All Filters]
2023
Arashloo MTahmasbi, Beckett R, Agarwal R.  2023.  Formal Methods for Network Performance Analysis. 20th USENIX Symposium on Networked Systems Design and Implementation (NSDI 23). :645--661.
Qiu Y, Beckett R, Chen A.  2023.  Synthesizing Runtime Programmable Switch Updates. 20th USENIX Symposium on Networked Systems Design and Implementation (NSDI 23). :613--628.
Xu X, Deng W, Beckett R, Mahajan R, Walker D.  2023.  Test Coverage for Network Configurations. 20th USENIX Symposium on Networked Systems Design and Implementation (NSDI 23). :1717--1732.
2022
Beckett R, Gupta A.  2022.  Katra: Realtime Verification for Multilayer Networks. 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22). :617--634.
Kakarla SKesava Red, Beckett R, Millstein T, Varghese G.  2022.  SCALE: Automatically Finding RFC Compliance Bugs in DNS Nameservers. 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22). :307--323.
2020
Yaseen N, Arzani B, Beckett R, Ciraci S, Liu V.  2020.  Aragog: Scalable Runtime Verification of Shardable Networked Systems. 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :701--718.
Hsu K-F, Beckett R, Chen A, Rexford J, Walker D.  2020.  Contra: A Programmable System for Performance-aware Routing . 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20). :701--721.
Kakarla SKesava Red, Tang A, Beckett R, Jayaraman K, Millstein T, Tamir Y, Varghese G.  2020.  Finding Network Misconfigurations by Automatic Template Inference . 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20). :999--1013.