Ryan Beckett

According to our database, Ryan Beckett authored at least 45 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

MESSI: Behavioral Testing of BGP Implementations.

Rathin Singha, Rajdeep Mondal, Ryan Beckett, Siva Kesava Reddy Kakarla, Todd D. Millstein, George Varghese

Proceedings of the 21st USENIX Symposium on Networked Systems Design and Implementation, 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

Proceedings of the 21st USENIX Symposium on Networked Systems Design and Implementation, 2024

Sequence Abstractions for Flexible, Line-Rate Network Monitoring.

Andrew Johnson, Ryan Beckett, Xiaoqi Chen, Ratul Mahajan, David Walker

Proceedings of the 21st USENIX Symposium on Networked Systems Design and Implementation, 2024

2023

Modular Control Plane Verification via Temporal Invariants.

Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker

Proc. ACM Program. Lang., 2023

Oracle-based Protocol Testing with Eywa.

Siva Kesava Reddy Kakarla, Ryan Beckett

CoRR, 2023

Kivi: Verification for Cluster Management.

Bingzhe Liu, Gangmuk Lim, Ryan Beckett, Philip Brighten Godfrey

CoRR, 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

Proceedings of the ACM SIGCOMM 2023 Conference, 2023

PAINTER: Ingress Traffic Engineering and Routing for Enterprise Cloud Networks.

Thomas Koch, Shuyue Yu, Sharad Agarwal, Ethan Katz-Bassett, Ryan Beckett

Proceedings of the ACM SIGCOMM 2023 Conference, 2023

Test Coverage for Network Configurations.

Xieyang Xu, Weixin Deng, Ryan Beckett, Ratul Mahajan, David Walker

Proceedings of the 20th USENIX Symposium on Networked Systems Design and Implementation, 2023

Synthesizing Runtime Programmable Switch Updates.

Yiming Qiu, Ryan Beckett, Ang Chen

Proceedings of the 20th USENIX Symposium on Networked Systems Design and Implementation, 2023

Formal Methods for Network Performance Analysis.

Mina Tahmasbi Arashloo, Ryan Beckett, Rachit Agarwal

Proceedings of the 20th USENIX Symposium on Networked Systems Design and Implementation, 2023

What do LLMs need to Synthesize Correct Router Configurations?

Rajdeep Mondal, Alan Tang, Ryan Beckett, Todd D. Millstein, George Varghese

Proceedings of the 22nd ACM Workshop on Hot Topics in Networks, 2023

2022

FP4: Line-rate Greybox Fuzz Testing for P4 Switches.

Nofel Yaseen, Liangcheng Yu, Caleb Stanford, Ryan Beckett, Vincent Liu

CoRR, 2022

LIGHTYEAR: Using Modularity to Scale BGP Control Plane Verification.

Alan Tang, Ryan Beckett, Karthick Jayaraman, Todd D. Millstein, George Varghese

CoRR, 2022

TIPSY: predicting where traffic will ingress a WAN.

Michael Markovitch, Sharad Agarwal, Rodrigo Fonseca, Ryan Beckett, Chuanji Zhang, Irena Atov, Somesh Chaturmohta

Proceedings of the SIGCOMM '22: ACM SIGCOMM 2022 Conference, Amsterdam, The Netherlands, August 22, 2022

Kleene algebra modulo theories: a framework for concrete KATs.

Michael Greenberg, Ryan Beckett, Eric Hayden Campbell

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

SCALE: Automatically Finding RFC Compliance Bugs in DNS Nameservers.

Siva Kesava Reddy Kakarla, Ryan Beckett, Todd D. Millstein, George Varghese

Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation, 2022

Katra: Realtime Verification for Multilayer Networks.

Ryan Beckett, Aarti Gupta

Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation, 2022

Kirigami, the Verifiable Art of Network Cutting.

Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker

Proceedings of the 30th IEEE International Conference on Network Protocols, 2022

Minding the gap between fast heuristics and their optimal counterparts.

Pooria Namyar, Behnaz Arzani, Ryan Beckett, Santiago Segarra, Himanshu Raj, Srikanth Kandula

Proceedings of the 21st ACM Workshop on Hot Topics in Networks, 2022

ACORN: Network Control Plane Abstraction using Route Nondeterminism.

Divya Raghunathan, Ryan Beckett, Aarti Gupta, David Walker

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

2021

Test coverage metrics for the network.

Xieyang Xu, Ryan Beckett, Karthick Jayaraman, Ratul Mahajan, David Walker

Proceedings of the ACM SIGCOMM 2021 Conference, Virtual Event, USA, August 23-27, 2021., 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

Proceedings of the ACM SIGCOMM 2021 Conference, Virtual Event, USA, August 23-27, 2021., 2021

How Complex is DNS?

Siva Kesava Reddy Kakarla, Ryan Beckett, Todd D. Millstein, George Varghese

Proceedings of the HotNets '21: The 20th ACM Workshop on Hot Topics in Networks, 2021

2020

Abstract interpretation of distributed network control planes.

Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker

Proc. ACM Program. Lang., 2020

Adaptive Weighted Traffic Splitting in Programmable Data Planes.

Kuo-Feng Hsu, Praveen Tammana, Ryan Beckett, Ang Chen, Jennifer Rexford, David Walker

Proceedings of the SOSR '20: Symposium on SDN Research, San Jose, CA, USA, March 3, 2020, 2020

GRooT: Proactive Verification of DNS Configurations.

Siva Kesava Reddy Kakarla, Ryan Beckett, Behnaz Arzani, Todd D. Millstein, George Varghese

Proceedings of the SIGCOMM '20: Proceedings of the 2020 Annual conference of the ACM Special Interest Group on Data Communication on the applications, 2020

NV: an intermediate language for verification of network control planes.

Nick Giannarakis, Devon Loehr, Ryan Beckett, David Walker

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Aragog: Scalable Runtime Verification of Shardable Networked Systems.

Nofel Yaseen, Behnaz Arzani, Ryan Beckett, Selim Ciraci, Vincent Liu

Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 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

Proceedings of the 17th USENIX Symposium on Networked Systems Design and Implementation, 2020

Contra: A Programmable System for Performance-aware Routing.

Kuo-Feng Hsu, Ryan Beckett, Ang Chen, Jennifer Rexford, David Walker

Proceedings of the 17th USENIX Symposium on Networked Systems Design and Implementation, 2020

A General Framework for Compositional Network Modeling.

Ryan Beckett, Ratul Mahajan

Proceedings of the HotNets '20: The 19th ACM Workshop on Hot Topics in Networks, 2020

2019

Contra: A Programmable System for Performance-aware Routing.

Kuo-Feng Hsu, Ryan Beckett, Ang Chen, Jennifer Rexford, Praveen Tammana, David Walker

CoRR, 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

Comput. Commun. Rev., 2019

NV: An intermediate language for network verification.

Ryan Beckett, Nick Giannarakis, Devon Loehr, David Walker

Proceedings of the ACM SIGCOMM 2019 Workshop on Networking and Programming Languages, 2019

Putting network verification to good use.

Ryan Beckett, Ratul Mahajan

Proceedings of the 18th ACM Workshop on Hot Topics in Networks, 2019

Efficient Verification of Network Fault Tolerance via Counterexample-Guided Refinement.

Nick Giannarakis, Ryan Beckett, Ratul Mahajan, David Walker

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Control plane compression.

Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker

Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication, 2018

2017

Kleene Algebra Modulo Theories.

Ryan Beckett, Eric Hayden Campbell, Michael Greenberg

CoRR, 2017

Programming Distributed Control Planes: Invited Demo: Demo.

Ryan Beckett, Ratul Mahajan, Jitendra Padhye, Todd D. Millstein, David Walker

Proceedings of the Symposium on SDN Research, 2017

A General Approach to Network Configuration Verification.

Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker

Proceedings of the Conference of the ACM Special Interest Group on Data Communication, 2017

Network configuration synthesis with abstract topologies.

Ryan Beckett, Ratul Mahajan, Todd D. Millstein, Jitendra Padhye, David Walker

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

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

Proceedings of the ACM SIGCOMM 2016 Conference, Florianopolis, Brazil, August 22-26, 2016, 2016

Temporal NetKAT.

Ryan Beckett, Michael Greenberg, David Walker

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

2014

An assertion language for debugging SDN applications.

Ryan Beckett, Xuan Kelvin Zou, Shuyuan Zhang, Sharad Malik, Jennifer Rexford, David Walker

Proceedings of the third workshop on Hot topics in software defined networking, 2014