USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 12 results:
Filters: Author is Ryan Beckett [Clear All Filters]
Finding Adversarial Inputs for Heuristics using Multi-level Optimization. 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI 24). :927--949.
.
2024. Kivi: Verification for Cluster Management. 2024 USENIX Annual Technical Conference (USENIX ATC 24). :509--527.
.
2024. MESSI: Behavioral Testing of BGP Implementations. 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI 24). :1009--1023.
.
2024. Sequence Abstractions for Flexible, Line-Rate Network Monitoring. 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI 24). :1593--1620.
.
2024. Formal Methods for Network Performance Analysis. 20th USENIX Symposium on Networked Systems Design and Implementation (NSDI 23). :645--661.
.
2023. Synthesizing Runtime Programmable Switch Updates. 20th USENIX Symposium on Networked Systems Design and Implementation (NSDI 23). :613--628.
.
2023. Test Coverage for Network Configurations. 20th USENIX Symposium on Networked Systems Design and Implementation (NSDI 23). :1717--1732.
.
2023. Katra: Realtime Verification for Multilayer Networks. 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22). :617--634.
.
2022. SCALE: Automatically Finding RFC Compliance Bugs in DNS Nameservers. 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22). :307--323.
.
2022. Aragog: Scalable Runtime Verification of Shardable Networked Systems. 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :701--718.
.
2020. Contra: A Programmable System for Performance-aware Routing . 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20). :701--721.
.
2020. Finding Network Misconfigurations by Automatic Template Inference . 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20). :999--1013.
.
2020.