Ryan Beckett
12 papers · 2020–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
π Interdisciplinary Bridge π Academic Marathon (5) π Cross-Pollinator (4) πΊοΈ Taxonomy Completionist (12) π§ Keyword Pioneer
π
Conference Polyglot
(2)
π
Keyword Champion
(2)
ποΈ
Keyword Collector
(84)
π
Century Club
(12)
Conferences
NSDI (11)
OSDI (1)
Top co-authors
Keywords
program synthesis
(3)
data plane
(2)
automated testing
(2)
traffic engineering
(2)
network verification
(2)
p4 programming
(2)
outlier detection
(1)
software testing
(1)
network monitoring
(1)
test generation
(1)
vulnerability detection
(1)
adversarial input
(1)
formal verification
(1)
bug detection
(1)
network routing
(1)
throughput optimization
(1)
control plane
(1)
border gateway protocol
(1)
programmable network
(1)
network optimization
(1)
Papers
Efficient Multi-WAN Transport for 5G with OTTER
NSDI 2025
Sequence Abstractions for Flexible, Line-Rate Network Monitoring
NSDI 2024
Finding Adversarial Inputs for Heuristics using Multi-level Optimization
NSDI 2024
MESSI: Behavioral Testing of BGP Implementations
NSDI 2024
Synthesizing Runtime Programmable Switch Updates
NSDI 2023
Formal Methods for Network Performance Analysis
NSDI 2023
Test Coverage for Network Configurations
NSDI 2023
SCALE: Automatically Finding RFC Compliance Bugs in DNS Nameservers
NSDI 2022
Katra: Realtime Verification for Multilayer Networks
NSDI 2022
Aragog: Scalable Runtime Verification of Shardable Networked Systems
OSDI 2020
Finding Network Misconfigurations by Automatic Template Inference
NSDI 2020
Contra: A Programmable System for Performance-aware Routing
NSDI 2020