Biblio

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