Biblio

Export 12 results:
Filters: Author is Ryan Beckett  [Clear All Filters]
2024
Namyar P, Arzani B, Beckett R, Segarra S, Raj H, Krishnaswamy U, Govindan R, Kandula S.  2024.  Finding Adversarial Inputs for Heuristics using Multi-level Optimization. 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI 24). :927--949.
Liu B, Lim G, Beckett R, P. Godfrey B.  2024.  Kivi: Verification for Cluster Management. 2024 USENIX Annual Technical Conference (USENIX ATC 24). :509--527.
Singha R, Mondal R, Beckett R, Kakarla SKesava Red, Millstein T, Varghese G.  2024.  MESSI: Behavioral Testing of BGP Implementations. 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI 24). :1009--1023.
Johnson A, Beckett R, Chen X, Mahajan R, Walker D.  2024.  Sequence Abstractions for Flexible, Line-Rate Network Monitoring. 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI 24). :1593--1620.
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.