Ryan Beckett
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
43
Venues
11
Active years
2014–2026
Best venue rank
A*
Where they publish
Papers
43 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | EuroSys | Concord: Learning Network Configuration Contracts. | Ryan Beckett, Francis Y. Yan, Raghunadha Reddy Pocha, Vineesh V. Raj, Ayyub Shaik, Siva Kesava Reddy Kakarla |
| 2026 | NSDI | Heuristic Analysis from Source Code via Symbolic-Guided Optimization. | Pantea Karimi, Siva Kesava Reddy Kakarla, Ryan Beckett, Santiago Segarra, Pooria Namyar, Mohammad Alizadeh, Behnaz Arzani |
| 2026 | NSDI | Eywa: Automating Model-Based Testing using LLMs. | Rajdeep Mondal, Rathin Singha, Todd D. Millstein, George Varghese, Ryan Beckett, Siva Kesava Reddy Kakarla |
| 2025 | NSDI | Efficient Multi-WAN Transport for 5G with OTTER. | Mary Hogan, Gerry Wan, Yiming Qiu, Sharad Agarwal, Ryan Beckett, Rachee Singh, Paramvir Bahl |
| 2025 | SIGCOMM | Raha: A General Tool to Analyze WAN Degradation. | Behnaz Arzani, Sina Taheri, Pooria Namyar, Ryan Beckett, Siva Kesava Reddy Kakarla, Elnaz Jalilipour |
| 2024 | HOTNETS | Towards Safer Heuristics With XPlain. | Pantea Karimi, Solal Pirelli, Siva Kesava Reddy Kakarla, Ryan Beckett, Santiago Segarra, Beibin Li, Pooria Namyar, Behnaz Arzani |
| 2024 | HOTNETS | 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 |
| 2024 | NSDI | Sequence Abstractions for Flexible, Line-Rate Network Monitoring. | Andrew Johnson, Ryan Beckett, Xiaoqi Chen, Ratul Mahajan, David Walker |
| 2024 | NSDI | 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 |
| 2024 | NSDI | MESSI: Behavioral Testing of BGP Implementations. | Rathin Singha, Rajdeep Mondal, Ryan Beckett, Siva Kesava Reddy Kakarla, Todd D. Millstein, George Varghese |
| 2024 | USENIX | Kivi: Verification for Cluster Management. | Bingzhe Liu, Gangmuk Lim, Ryan Beckett, Philip Brighten Godfrey |
| 2024 | SOSP | Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs. | Yiming Qiu, Patrick Tser Jern Kon, Ryan Beckett, Ang Chen |
| 2023 | HOTNETS | What do LLMs need to Synthesize Correct Router Configurations? | Rajdeep Mondal, Alan Tang, Ryan Beckett, Todd D. Millstein, George Varghese |
| 2023 | NSDI | Formal Methods for Network Performance Analysis. | Mina Tahmasbi Arashloo, Ryan Beckett, Rachit Agarwal |
| 2023 | NSDI | Synthesizing Runtime Programmable Switch Updates. | Yiming Qiu, Ryan Beckett, Ang Chen |
| 2023 | NSDI | Test Coverage for Network Configurations. | Xieyang Xu, Weixin Deng, Ryan Beckett, Ratul Mahajan, David Walker |
| 2023 | SIGCOMM | PAINTER: Ingress Traffic Engineering and Routing for Enterprise Cloud Networks. | Thomas Koch, Shuyue Yu, Sharad Agarwal, Ethan Katz-Bassett, Ryan Beckett |
| 2023 | SIGCOMM | Lightyear: Using Modularity to Scale BGP Control Plane Verification. | Alan Tang, Ryan Beckett, Steven Benaloh, Karthick Jayaraman, Tejas Patil, Todd D. Millstein, George Varghese |
| 2022 | FMCAD | ACORN: Network Control Plane Abstraction using Route Nondeterminism. | Divya Raghunathan, Ryan Beckett, Aarti Gupta, David Walker |
| 2022 | HOTNETS | Minding the gap between fast heuristics and their optimal counterparts. | Pooria Namyar, Behnaz Arzani, Ryan Beckett, Santiago Segarra, Himanshu Raj, Srikanth Kandula |
| 2022 | ICNP | Kirigami, the Verifiable Art of Network Cutting. | Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker |
| 2022 | NSDI | Katra: Realtime Verification for Multilayer Networks. | Ryan Beckett, Aarti Gupta |
| 2022 | NSDI | SCALE: Automatically Finding RFC Compliance Bugs in DNS Nameservers. | Siva Kesava Reddy Kakarla, Ryan Beckett, Todd D. Millstein, George Varghese |
| 2022 | PLDI | Kleene algebra modulo theories: a framework for concrete KATs. | Michael Greenberg, Ryan Beckett, Eric Hayden Campbell |
| 2022 | SIGCOMM | TIPSY: predicting where traffic will ingress a WAN. | Michael Markovitch, Sharad Agarwal, Rodrigo Fonseca, Ryan Beckett, Chuanji Zhang, Irena Atov, Somesh Chaturmohta |
| 2021 | HOTNETS | How Complex is DNS? | Siva Kesava Reddy Kakarla, Ryan Beckett, Todd D. Millstein, George Varghese |
| 2021 | SIGCOMM | Campion: debugging router configuration differences. | Alan Tang, Siva Kesava Reddy Kakarla, Ryan Beckett, Ennan Zhai, Matt Brown, Todd D. Millstein, Yuval Tamir, George Varghese |
| 2021 | SIGCOMM | Test coverage metrics for the network. | Xieyang Xu, Ryan Beckett, Karthick Jayaraman, Ratul Mahajan, David Walker |
| 2020 | HOTNETS | A General Framework for Compositional Network Modeling. | Ryan Beckett, Ratul Mahajan |
| 2020 | NSDI | Contra: A Programmable System for Performance-aware Routing. | Kuo-Feng Hsu, Ryan Beckett, Ang Chen, Jennifer Rexford, David Walker |
| 2020 | NSDI | Finding Network Misconfigurations by Automatic Template Inference. | Siva Kesava Reddy K., Alan Tang, Ryan Beckett, Karthick Jayaraman, Todd D. Millstein, Yuval Tamir, George Varghese |
| 2020 | OSDI | Aragog: Scalable Runtime Verification of Shardable Networked Systems. | Nofel Yaseen, Behnaz Arzani, Ryan Beckett, Selim Ciraci, Vincent Liu |
| 2020 | PLDI | NV: an intermediate language for verification of network control planes. | Nick Giannarakis, Devon Loehr, Ryan Beckett, David Walker |
| 2020 | SIGCOMM | GRooT: Proactive Verification of DNS Configurations. | Siva Kesava Reddy Kakarla, Ryan Beckett, Behnaz Arzani, Todd D. Millstein, George Varghese |
| 2019 | CAV | Efficient Verification of Network Fault Tolerance via Counterexample-Guided Refinement. | Nick Giannarakis, Ryan Beckett, Ratul Mahajan, David Walker |
| 2019 | HOTNETS | Putting network verification to good use. | Ryan Beckett, Ratul Mahajan |
| 2019 | SIGCOMM | NV: An intermediate language for network verification. | Ryan Beckett, Nick Giannarakis, Devon Loehr, David Walker |
| 2018 | SIGCOMM | Control plane compression. | Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker |
| 2017 | PLDI | Network configuration synthesis with abstract topologies. | Ryan Beckett, Ratul Mahajan, Todd D. Millstein, Jitendra Padhye, David Walker |
| 2017 | SIGCOMM | A General Approach to Network Configuration Verification. | Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker |
| 2016 | PLDI | Temporal NetKAT. | Ryan Beckett, Michael Greenberg, David Walker |
| 2016 | SIGCOMM | Don't Mind the Gap: Bridging Network-wide Objectives and Device-level Configurations. | Ryan Beckett, Ratul Mahajan, Todd D. Millstein, Jitendra Padhye, David Walker |
| 2014 | SIGCOMM | An assertion language for debugging SDN applications. | Ryan Beckett, Xuan Kelvin Zou, Shuyuan Zhang, Sharad Malik, Jennifer Rexford, David Walker |