Biblio

Export 5 results:
Filters: Author is Ryan Beckett  [Clear All Filters]
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.