An assertion language for debugging SDN applications. - Ryan Beckett; Xuan Kelvin Zou; Shuyuan Zhang; Sharad Malik; Jennifer Rexford; David Walker 001 (HotSDN, 2014)

Temporal NetKAT. - Ryan Beckett; Michael Greenberg 002; David Walker 001 (PLDI, 2016)

Don't Mind the Gap: Bridging Network-wide Objectives and Device-level Configurations. - Ryan Beckett; Ratul Mahajan; Todd D. Millstein; Jitendra Padhye; David Walker 001 (SIGCOMM, 2016)

Network configuration synthesis with abstract topologies. - Ryan Beckett; Ratul Mahajan; Todd D. Millstein; Jitendra Padhye; David Walker 001 (PLDI, 2017)

A General Approach to Network Configuration Verification. - Ryan Beckett; Aarti Gupta; Ratul Mahajan; David Walker 001 (SIGCOMM, 2017)

Programming Distributed Control Planes: Invited Demo: Demo. - Ryan Beckett; Ratul Mahajan; Jitendra Padhye; Todd D. Millstein; David Walker 001 (SOSR, 2017)

Kleene Algebra Modulo Theories. - Ryan Beckett; Eric Hayden Campbell; Michael Greenberg 002 (CoRR, 2017)

Control plane compression. - Ryan Beckett; Aarti Gupta; Ratul Mahajan; David Walker 001 (SIGCOMM, 2018)

Network Control Plane Synthesis and Verification - Ryan Beckett (2018)

Efficient Verification of Network Fault Tolerance via Counterexample-Guided Refinement. - Nick Giannarakis; Ryan Beckett; Ratul Mahajan; David Walker 001 (CAV (2), 2019)

Putting network verification to good use. - Ryan Beckett; Ratul Mahajan (HotNets, 2019)

NV: An intermediate language for network verification. - Ryan Beckett; Nick Giannarakis; Devon Loehr; David Walker 001 (NetPL@SIGCOMM, 2019)

Don't mind the gap: Bridging network-wide objectives and device-level configurations: brief reflections on abstractions for network programming. - Ryan Beckett; Ratul Mahajan; Todd D. Millstein; Jitendra Padhye; David Walker 001 (Comput. Commun. Rev., 2019)

Contra: A Programmable System for Performance-aware Routing. - Kuo-Feng Hsu; Ryan Beckett; Ang Chen 001; Jennifer Rexford; Praveen Tammana; David Walker 001 (CoRR, 2019)

A General Framework for Compositional Network Modeling. - Ryan Beckett; Ratul Mahajan (HotNets, 2020)

Contra: A Programmable System for Performance-aware Routing. - Kuo-Feng Hsu; Ryan Beckett; Ang Chen 001; Jennifer Rexford; David Walker 001 (NSDI, 2020)

Finding Network Misconfigurations by Automatic Template Inference. - Siva Kesava Reddy K.; Alan Tang; Ryan Beckett; Karthick Jayaraman; Todd D. Millstein; Yuval Tamir; George Varghese (NSDI, 2020)

Aragog: Scalable Runtime Verification of Shardable Networked Systems. - Nofel Yaseen; Behnaz Arzani; Ryan Beckett; Selim Ciraci; Vincent Liu 001 (OSDI, 2020)

NV: an intermediate language for verification of network control planes. - Nick Giannarakis; Devon Loehr; Ryan Beckett; David Walker 001 (PLDI, 2020)

GRooT: Proactive Verification of DNS Configurations. - Siva Kesava Reddy Kakarla; Ryan Beckett; Behnaz Arzani; Todd D. Millstein; George Varghese (SIGCOMM, 2020)

Adaptive Weighted Traffic Splitting in Programmable Data Planes. - Kuo-Feng Hsu; Praveen Tammana; Ryan Beckett; Ang Chen 001; Jennifer Rexford; David Walker 001 (SOSR, 2020)

Abstract interpretation of distributed network control planes. - Ryan Beckett; Aarti Gupta; Ratul Mahajan; David Walker 001 (Proc. ACM Program. Lang., 2020)

How Complex is DNS? - Siva Kesava Reddy Kakarla; Ryan Beckett; Todd D. Millstein; George Varghese (HotNets, 2021)

Campion: debugging router configuration differences. - Alan Tang; Siva Kesava Reddy Kakarla; Ryan Beckett; Ennan Zhai; Matt Brown; Todd D. Millstein; Yuval Tamir; George Varghese (SIGCOMM, 2021)

Test coverage metrics for the network. - Xieyang Xu; Ryan Beckett; Karthick Jayaraman; Ratul Mahajan; David Walker 001 (SIGCOMM, 2021)

ACORN: Network Control Plane Abstraction using Route Nondeterminism. - Divya Raghunathan; Ryan Beckett; Aarti Gupta; David Walker 001 (FMCAD, 2022)

Minding the gap between fast heuristics and their optimal counterparts. - Pooria Namyar; Behnaz Arzani; Ryan Beckett; Santiago Segarra; Himanshu Raj; Srikanth Kandula (HotNets, 2022)

Katra: Realtime Verification for Multilayer Networks. - Ryan Beckett; Aarti Gupta (NSDI, 2022)

SCALE: Automatically Finding RFC Compliance Bugs in DNS Nameservers. - Siva Kesava Reddy Kakarla; Ryan Beckett; Todd D. Millstein; George Varghese (NSDI, 2022)

Kleene algebra modulo theories: a framework for concrete KATs. - Michael Greenberg 002; Ryan Beckett; Eric Hayden Campbell (PLDI, 2022)

TIPSY: predicting where traffic will ingress a WAN. - Michael Markovitch; Sharad Agarwal; Rodrigo Fonseca; Ryan Beckett; Chuanji Zhang; Irena Atov; Somesh Chaturmohta (SIGCOMM, 2022)

LIGHTYEAR: Using Modularity to Scale BGP Control Plane Verification. - Alan Tang; Ryan Beckett; Karthick Jayaraman; Todd D. Millstein; George Varghese (CoRR, 2022)

FP4: Line-rate Greybox Fuzz Testing for P4 Switches. - Nofel Yaseen; Liangcheng Yu; Caleb Stanford; Ryan Beckett; Vincent Liu 001 (CoRR, 2022)

What do LLMs need to Synthesize Correct Router Configurations? - Rajdeep Mondal; Alan Tang; Ryan Beckett; Todd D. Millstein; George Varghese (HotNets, 2023)

Formal Methods for Network Performance Analysis. - Mina Tahmasbi Arashloo; Ryan Beckett; Rachit Agarwal 001 (NSDI, 2023)

Synthesizing Runtime Programmable Switch Updates. - Yiming Qiu; Ryan Beckett; Ang Chen 001 (NSDI, 2023)

Test Coverage for Network Configurations. - Xieyang Xu; Weixin Deng; Ryan Beckett; Ratul Mahajan; David Walker 001 (NSDI, 2023)

PAINTER: Ingress Traffic Engineering and Routing for Enterprise Cloud Networks. - Thomas Koch; Shuyue Yu; Sharad Agarwal; Ethan Katz-Bassett; Ryan Beckett (SIGCOMM, 2023)

Lightyear: Using Modularity to Scale BGP Control Plane Verification. - Alan Tang; Ryan Beckett; Steven Benaloh; Karthick Jayaraman; Tejas Patil; Todd D. Millstein; George Varghese (SIGCOMM, 2023)

Oracle-based Protocol Testing with Eywa. - Siva Kesava Reddy Kakarla; Ryan Beckett (CoRR, 2023)

Modular Control Plane Verification via Temporal Invariants. - Timothy Alberdingk Thijm; Ryan Beckett; Aarti Gupta; David Walker 001 (Proc. ACM Program. Lang., 2023)

Towards Safer Heuristics With XPlain. - Pantea Karimi; Solal Pirelli; Siva Kesava Reddy Kakarla; Ryan Beckett; Santiago Segarra; Beibin Li; Pooria Namyar; Behnaz Arzani (HotNets, 2024)

End-to-End Performance Analysis of Learning-enabled Systems. - Pooria Namyar; Michael Schapira; Ramesh Govindan; Santiago Segarra; Ryan Beckett; Siva Kesava Reddy Kakarla; Behnaz Arzani (HotNets, 2024)

Sequence Abstractions for Flexible, Line-Rate Network Monitoring. - Andrew Johnson; Ryan Beckett; Xiaoqi Chen; Ratul Mahajan; David Walker 001 (NSDI, 2024)

Finding Adversarial Inputs for Heuristics using Multi-level Optimization. - Pooria Namyar; Behnaz Arzani; Ryan Beckett; Santiago Segarra; Himanshu Raj; Umesh Krishnaswamy; Ramesh Govindan; Srikanth Kandula (NSDI, 2024)

MESSI: Behavioral Testing of BGP Implementations. - Rathin Singha; Rajdeep Mondal; Ryan Beckett; Siva Kesava Reddy Kakarla; Todd D. Millstein; George Varghese (NSDI, 2024)

Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs. - Yiming Qiu; Patrick Tser Jern Kon; Ryan Beckett; Ang Chen 001 (SOSP, 2024)

Kivi: Verification for Cluster Management. - Bingzhe Liu; Gangmuk Lim; Ryan Beckett; Philip Brighten Godfrey (USENIX ATC, 2024)

Diffy: Data-Driven Bug Finding for Configurations. - Siva Kesava Reddy Kakarla; Francis Y. Yan; Ryan Beckett (Proc. ACM Program. Lang., 2024)

Kirigami, the Verifiable Art of Network Cutting. - Timothy Alberdingk Thijm; Ryan Beckett; Aarti Gupta; David Walker 001 (IEEE/ACM Trans. Netw., 2024)

Efficient Multi-WAN Transport for 5G with OTTER. - Mary Hogan; Gerry Wan; Yiming Qiu; Sharad Agarwal; Ryan Beckett; Rachee Singh; Paramvir Bahl (NSDI, 2025)

Extremal Testing for Network Software using LLMs. - Rathin Singha; Harry Qian; Srinath Saikrishnan; Tracy Zhao; Ryan Beckett; Siva Kesava Reddy Kakarla; George Varghese (CoRR, 2025)