Ryan Beckett

65 papers A* 16A 1B 2Misc 18Journal 21Unranked 6
YearRankTypeTitle / Venue / Authors
2026 A conf
Concord: Learning Network Configuration Contracts.
EuroSys
Ryan Beckett, Francis Y. Yan, Raghunadha Reddy Pocha, Vineesh V. Raj, Ayyub Shaik, Siva Kesava Reddy Kakarla
2025 J jnl
A Performance Analyzer for a Public Cloud's ML-Augmented VM Allocator.
CoRR
Roozbeh Bostandoost, Pooria Namyar, Siva Kesava Reddy Kakarla, Ryan Beckett, Santiago Segarra, Eli Cortez, Ankur Mallick, Kevin Hsieh, Rodrigo Fonseca, Mohammad Hajiesmaili, Behnaz Arzani
2025 Misc conf
Efficient Multi-WAN Transport for 5G with OTTER.
NSDI
Mary Hogan, Gerry Wan, Yiming Qiu, Sharad Agarwal, Ryan Beckett, Rachee Singh, Paramvir Bahl
2025 J jnl
Extremal Testing for Network Software using LLMs.
CoRR
Rathin Singha, Harry Qian, Srinath Saikrishnan, Tracy Zhao, Ryan Beckett, Siva Kesava Reddy Kakarla, George Varghese
2025 A* conf
Raha: A General Tool to Analyze WAN Degradation.
SIGCOMM
Behnaz Arzani, Sina Taheri, Pooria Namyar, Ryan Beckett, Siva Kesava Reddy Kakarla, Elnaz Jalilipour
2024 J jnl
Diffy: Data-Driven Bug Finding for Configurations.
Proc. ACM Program. Lang.
Siva Kesava Reddy Kakarla, Francis Y. Yan, Ryan Beckett
2024 Misc conf
End-to-End Performance Analysis of Learning-enabled Systems.
HotNets
Pooria Namyar, Michael Schapira, Ramesh Govindan, Santiago Segarra, Ryan Beckett, Siva Kesava Reddy Kakarla, Behnaz Arzani
2024 Misc conf
Finding Adversarial Inputs for Heuristics using Multi-level Optimization.
NSDI
Pooria Namyar, Behnaz Arzani, Ryan Beckett, Santiago Segarra, Himanshu Raj, Umesh Krishnaswamy, Ramesh Govindan, Srikanth Kandula
2024 J jnl
Kirigami, the Verifiable Art of Network Cutting.
IEEE/ACM Trans. Netw.
Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker
2024 — conf
Kivi: Verification for Cluster Management.
USENIX ATC
Bingzhe Liu, Gangmuk Lim, Ryan Beckett, Philip Brighten Godfrey
2024 Misc conf
MESSI: Behavioral Testing of BGP Implementations.
NSDI
Rathin Singha, Rajdeep Mondal, Ryan Beckett, Siva Kesava Reddy Kakarla, Todd D. Millstein, George Varghese
2024 Misc conf
Sequence Abstractions for Flexible, Line-Rate Network Monitoring.
NSDI
Andrew Johnson, Ryan Beckett, Xiaoqi Chen, Ratul Mahajan, David Walker
2024 Misc conf
Towards Safer Heuristics With XPlain.
HotNets
Pantea Karimi, Solal Pirelli, Siva Kesava Reddy Kakarla, Ryan Beckett, Santiago Segarra, Beibin Li, Pooria Namyar, Behnaz Arzani
2024 J jnl
Towards Safer Heuristics With XPlain.
CoRR
Pantea Karimi, Solal Pirelli, Siva Kesava Reddy Kakarla, Ryan Beckett, Santiago Segarra, Beibin Li, Pooria Namyar, Behnaz Arzani
2024 A* conf
Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs.
SOSP
Yiming Qiu, Patrick Tser Jern Kon, Ryan Beckett, Ang Chen
2023 J jnl
Finding Adversarial Inputs for Heuristics using Multi-level Optimization.
CoRR
Pooria Namyar, Behnaz Arzani, Ryan Beckett, Santiago Segarra, Himanshu Raj, Umesh Krishnaswamy, Ramesh Govindan, Srikanth Kandula
2023 Misc conf
Formal Methods for Network Performance Analysis.
NSDI
Mina Tahmasbi Arashloo, Ryan Beckett, Rachit Agarwal
2023 J jnl
Kivi: Verification for Cluster Management.
CoRR
Bingzhe Liu, Gangmuk Lim, Ryan Beckett, Philip Brighten Godfrey
2023 A* conf
Lightyear: Using Modularity to Scale BGP Control Plane Verification.
SIGCOMM
Alan Tang, Ryan Beckett, Steven Benaloh, Karthick Jayaraman, Tejas Patil, Todd D. Millstein, George Varghese
2023 J jnl
Modular Control Plane Verification via Temporal Invariants.
Proc. ACM Program. Lang.
Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker
2023 J jnl
Oracle-based Protocol Testing with Eywa.
CoRR
Siva Kesava Reddy Kakarla, Ryan Beckett
2023 A* conf
PAINTER: Ingress Traffic Engineering and Routing for Enterprise Cloud Networks.
SIGCOMM
Thomas Koch, Shuyue Yu, Sharad Agarwal, Ethan Katz-Bassett, Ryan Beckett
2023 Misc conf
Synthesizing Runtime Programmable Switch Updates.
NSDI
Yiming Qiu, Ryan Beckett, Ang Chen
2023 Misc conf
Test Coverage for Network Configurations.
NSDI
Xieyang Xu, Weixin Deng, Ryan Beckett, Ratul Mahajan, David Walker
2023 Misc conf
What do LLMs need to Synthesize Correct Router Configurations?
HotNets
Rajdeep Mondal, Alan Tang, Ryan Beckett, Todd D. Millstein, George Varghese
2023 J jnl
What do LLMs need to Synthesize Correct Router Configurations?
CoRR
Rajdeep Mondal, Alan Tang, Ryan Beckett, Todd D. Millstein, George Varghese
2022 B conf
ACORN: Network Control Plane Abstraction using Route Nondeterminism.
FMCAD
Divya Raghunathan, Ryan Beckett, Aarti Gupta, David Walker
2022 J jnl
ACORN: Network Control Plane Abstraction using Route Nondeterminism.
CoRR
Divya Raghunathan, Ryan Beckett, Aarti Gupta, David Walker
2022 J jnl
FP4: Line-rate Greybox Fuzz Testing for P4 Switches.
CoRR
Nofel Yaseen, Liangcheng Yu, Caleb Stanford, Ryan Beckett, Vincent Liu
2022 Misc conf
Katra: Realtime Verification for Multilayer Networks.
NSDI
Ryan Beckett, Aarti Gupta
2022 B conf
Kirigami, the Verifiable Art of Network Cutting.
ICNP
Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker
2022 J jnl
Kirigami, the Verifiable Art of Network Cutting.
CoRR
Tim Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker
2022 A* conf
Kleene algebra modulo theories: a framework for concrete KATs.
PLDI
Michael Greenberg, Ryan Beckett, Eric Hayden Campbell
2022 J jnl
LIGHTYEAR: Using Modularity to Scale BGP Control Plane Verification.
CoRR
Alan Tang, Ryan Beckett, Karthick Jayaraman, Todd D. Millstein, George Varghese
2022 Misc conf
Minding the gap between fast heuristics and their optimal counterparts.
HotNets
Pooria Namyar, Behnaz Arzani, Ryan Beckett, Santiago Segarra, Himanshu Raj, Srikanth Kandula
2022 J jnl
Modular Control Plane Verification via Temporal Invariants.
CoRR
Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker
2022 Misc conf
SCALE: Automatically Finding RFC Compliance Bugs in DNS Nameservers.
NSDI
Siva Kesava Reddy Kakarla, Ryan Beckett, Todd D. Millstein, George Varghese
2022 A* conf
TIPSY: predicting where traffic will ingress a WAN.
SIGCOMM
Michael Markovitch, Sharad Agarwal, Rodrigo Fonseca, Ryan Beckett, Chuanji Zhang, Irena Atov, Somesh Chaturmohta
2022 J jnl
Test Coverage for Network Configurations.
CoRR
Xieyang Xu, Weixin Deng, Ryan Beckett, Ratul Mahajan, David Walker
2021 A* conf
Campion: debugging router configuration differences.
SIGCOMM
Alan Tang, Siva Kesava Reddy Kakarla, Ryan Beckett, Ennan Zhai, Matt Brown, Todd D. Millstein, Yuval Tamir, George Varghese
2021 Misc conf
How Complex is DNS?
HotNets
Siva Kesava Reddy Kakarla, Ryan Beckett, Todd D. Millstein, George Varghese
2021 A* conf
Test coverage metrics for the network.
SIGCOMM
Xieyang Xu, Ryan Beckett, Karthick Jayaraman, Ratul Mahajan, David Walker
2020 Misc conf
A General Framework for Compositional Network Modeling.
HotNets
Ryan Beckett, Ratul Mahajan
2020 J jnl
Abstract interpretation of distributed network control planes.
Proc. ACM Program. Lang.
Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
2020 — conf
Adaptive Weighted Traffic Splitting in Programmable Data Planes.
SOSR
Kuo-Feng Hsu, Praveen Tammana, Ryan Beckett, Ang Chen, Jennifer Rexford, David Walker
2020 A* conf
Aragog: Scalable Runtime Verification of Shardable Networked Systems.
OSDI
Nofel Yaseen, Behnaz Arzani, Ryan Beckett, Selim Ciraci, Vincent Liu
2020 Misc conf
Contra: A Programmable System for Performance-aware Routing.
NSDI
Kuo-Feng Hsu, Ryan Beckett, Ang Chen, Jennifer Rexford, David Walker
2020 Misc conf
Finding Network Misconfigurations by Automatic Template Inference.
NSDI
Siva Kesava Reddy K., Alan Tang, Ryan Beckett, Karthick Jayaraman, Todd D. Millstein, Yuval Tamir, George Varghese
2020 A* conf
GRooT: Proactive Verification of DNS Configurations.
SIGCOMM
Siva Kesava Reddy Kakarla, Ryan Beckett, Behnaz Arzani, Todd D. Millstein, George Varghese
2020 A* conf
NV: an intermediate language for verification of network control planes.
PLDI
Nick Giannarakis, Devon Loehr, Ryan Beckett, David Walker
2019 J jnl
Contra: A Programmable System for Performance-aware Routing.
CoRR
Kuo-Feng Hsu, Ryan Beckett, Ang Chen, Jennifer Rexford, Praveen Tammana, David Walker
2019 J jnl
Don't mind the gap: Bridging network-wide objectives and device-level configurations: brief reflections on abstractions for network programming.
Comput. Commun. Rev.
Ryan Beckett, Ratul Mahajan, Todd D. Millstein, Jitendra Padhye, David Walker
2019 — conf
Efficient Verification of Network Fault Tolerance via Counterexample-Guided Refinement.
CAV (2)
Nick Giannarakis, Ryan Beckett, Ratul Mahajan, David Walker
2019 — conf
NV: An intermediate language for network verification.
NetPL@SIGCOMM
Ryan Beckett, Nick Giannarakis, Devon Loehr, David Walker
2019 Misc conf
Putting network verification to good use.
HotNets
Ryan Beckett, Ratul Mahajan
2018 J jnl
Control Plane Compression.
CoRR
Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
2018 A* conf
Control plane compression.
SIGCOMM
Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
2018 — —
Network Control Plane Synthesis and Verification
Ryan Beckett
2017 A* conf
A General Approach to Network Configuration Verification.
SIGCOMM
Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
2017 J jnl
Kleene Algebra Modulo Theories.
CoRR
Ryan Beckett, Eric Hayden Campbell, Michael Greenberg
2017 A* conf
Network configuration synthesis with abstract topologies.
PLDI
Ryan Beckett, Ratul Mahajan, Todd D. Millstein, Jitendra Padhye, David Walker
2017 — conf
Programming Distributed Control Planes: Invited Demo: Demo.
SOSR
Ryan Beckett, Ratul Mahajan, Jitendra Padhye, Todd D. Millstein, David Walker
2016 A* conf
Don't Mind the Gap: Bridging Network-wide Objectives and Device-level Configurations.
SIGCOMM
Ryan Beckett, Ratul Mahajan, Todd D. Millstein, Jitendra Padhye, David Walker
2016 A* conf
Temporal NetKAT.
PLDI
Ryan Beckett, Michael Greenberg, David Walker
2014 — conf
An assertion language for debugging SDN applications.
HotSDN
Ryan Beckett, Xuan Kelvin Zou, Shuyuan Zhang, Sharad Malik, Jennifer Rexford, David Walker