Ryan Beckett
12 papers
· 2020–2025
· 2 conferences
· across top CS/AI conferences
Achievements
π
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
Test Coverage for Network Configurations
NSDI 2023