Ryan Beckett

Principal Researcher

论文与出版物

查看方式：

- Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs
  
  Yiming Qiu, Patrick Kon, Ryan Beckett, Ang Chen
  
  Symposium on Operating Systems Principles | November 2024
  
  Publication
- Sequence Abstractions for Flexible, Line-Rate Network Monitoring
  
  Ryan Beckett
  
  2024 Networked Systems Design and Implementation | April 2024
  
  Publication
- Finding Adversarial Inputs for Heuristics using Multi-level Optimization
  
  Pooria Namyar, Ryan Beckett, Santiago Segarra, Himanshu Raj, Umesh Krishnaswamy, Ramesh Govindan, Srikanth Kandula, Behnaz Arzani
  
  NSDI | February 2024
  
  Publication Github 项目
- What do llms need to synthesize correct router configurations?
  
  Rajdeep Mondal, Ryan Beckett, Alan Tang, Todd Millstein, George Varghese
  
  HotNets | November 2023
  
  PDF
- Modular control plane verification via temporal invariants
  
  Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker
  
  Programming Language Design and Implementation | June 2023
  
  Publication
- Lightyear: Using Modularity to Scale BGP Control Plane Verification
  
  Alan Tang, Ryan Beckett, Steven Benaloh, Karthick Jayaraman, Tejas Patil, Todd Millstein, George Varghese
  
  SIGCOMM 2023 | April 2023
  
  Publication PDF 项目项目
- Synthesizing runtime programmable switch updates
  
  Yiming Qiu, Ryan Beckett, Ang Chen
  
  Network System Design and Implementation | April 2023
  
  Publication
- Test Coverage for Network Configurations
  
  Xieyang Xu, Weixin Deng, Ryan Beckett, Ratul Mahajan, David Walker
  
  Networked Systems Design and Implementation | April 2023
  
  Publication
- Minding the gap between Fast Heuristics and their Optimal Counterparts
  
  Pooria Namyar, Behnaz Arzani, Ryan Beckett, Santiago Segarra, Srikanth Kandula
  
  Hot Topics in Networking | November 2022
  
  Publication 项目项目
- ACORN: Network Control Plane Abstraction using Route Nondeterminism.
  
  Divya Raghunathan, Ryan Beckett, Aarti Gupta, David Walker
  
  Formal Methods in Computer-Aided Design | October 2022
  
  Publication
- Kleene Algebra Modulo Theories: A Framework for Concrete KATs
  
  Michael Greenberg, Ryan Beckett, Eric Campbell
  
  PLDI 2022 | June 2022
  
  Distinguished Paper Award at PLDI'22
  
  Publication 项目项目
- Katra: Realtime Verification for Multilayer Networks
  
  Ryan Beckett, Aarti Gupta
  
  NSDI 2022 | March 2022
  
  Publication 项目
- SCALE: Automatically Finding RFC Compliance Bugs in DNS Nameservers
  
  Siva Kesava Reddy Kakarla, Ryan Beckett, Todd Millstein, George Varghese
  
  NSDI 2022 | March 2022
  
  IRTF Applied Networking Research Prize
  
  Publication
- How Complex is DNS?
  
  Siva Kesava Reddy Kakarla, Ryan Beckett, Todd Millstein, George Varghese
  
  HotNets 2021 | November 2021
  
  DOI
- Campion: Debugging Router Configuration Differences
  
  Alan Tang, Siva Kesava Reddy Kakarla, Ryan Beckett, Ennan Zhai, Matt Brown, Todd Millstein, Yuval Tamir, George Varghese
  
  ACM SIGCOMM 2021 | August 2021
  
  Publication
- Test Coverage Metrics for the Network
  
  Xieyang Xu, Ryan Beckett, Karthick Jayaraman, Ratul Mahajan, David Walker
  
  ACM SIGCOMM 2021 | August 2021
  
  Publication
- A General Framework for Compositional Network Modeling
  
  Ryan Beckett, Ratul Mahajan
  
  HotNets | November 2020
  
  编辑: Association for Computing Machinery
  
  Publication
- Aragog: Scalable Runtime Verification of Shardable Networked Systems
  
  Nofel Yaseen, Behnaz Arzani, Ryan Beckett, Selim Ciraci, Vincent Liu
  
  Operating systems and implementations (OSDI) | October 2020
  
  Publication
- GRoot: Proactive Verification of DNS Configurations
  
  Siva Kesava Reddy Kakarla, Ryan Beckett, Behnaz Arzani, Todd Millstein, George Varghese
  
  SIGCOMM 2020 | August 2020
  
  SIGCOMM 2020 Best Student Paper
  
  Publication
- NV: An Intermediate Language for Verification of Network Control Planes
  
  Nick Giannarakis, Devon Loehr, Ryan Beckett, David Walker
  
  Programming Language Design and Implementation | June 2020
  
  Publication
- Contra: A programmable system for performance-aware routing
  
  Kuo-Feng Hsu, Ryan Beckett, Ang Chen, Jennifer Rexford, Praveen Tammana, David Walker
  
  NSDI | April 2020
  
  Publication
- Finding Network Misconfigurations by Automatic Template Inference
  
  Siva Kesava Reddy Kakarla, Alan Tang, Ryan Beckett, Karthick Jayaraman, Todd Millstein, Yuval Tamir, George Varghese
  
  NSDI 2020 | February 2020
  
  Publication
- Abstract interpretation of distributed network control planes
  
  Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
  
  POPL | December 2019
  
  Publication
- Putting network verification to good use
  
  Ryan Beckett, Ratul Mahajan
  
  HotNets | November 2019
  
  Publication
- Control plane compression
  
  Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
  
  SIGCOMM | August 2018
  
  Publication
- Don’t Mind the Gap: Bridging Network-wide Objectives and Device-level Configurations
  
  Ryan Beckett, Ratul Mahajan, Todd Millstein, Jitu Padhye, David Walker
  
  SIGCOMM 2016 | August 2016
  
  SIGCOMM 2016 Best Paper Award
  
  Publication

- Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs
  
  Yiming Qiu, Patrick Kon, Ryan Beckett, Ang Chen
  
  Symposium on Operating Systems Principles | November 2024
  
  Publication
- Sequence Abstractions for Flexible, Line-Rate Network Monitoring
  
  Ryan Beckett
  
  2024 Networked Systems Design and Implementation | April 2024
  
  Publication
- Finding Adversarial Inputs for Heuristics using Multi-level Optimization
  
  Pooria Namyar, Ryan Beckett, Santiago Segarra, Himanshu Raj, Umesh Krishnaswamy, Ramesh Govindan, Srikanth Kandula, Behnaz Arzani
  
  NSDI | February 2024
  
  Publication Github 项目
- What do llms need to synthesize correct router configurations?
  
  Rajdeep Mondal, Ryan Beckett, Alan Tang, Todd Millstein, George Varghese
  
  HotNets | November 2023
  
  PDF
- Modular control plane verification via temporal invariants
  
  Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker
  
  Programming Language Design and Implementation | June 2023
  
  Publication
- Lightyear: Using Modularity to Scale BGP Control Plane Verification
  
  Alan Tang, Ryan Beckett, Steven Benaloh, Karthick Jayaraman, Tejas Patil, Todd Millstein, George Varghese
  
  SIGCOMM 2023 | April 2023
  
  Publication PDF 项目项目
- Synthesizing runtime programmable switch updates
  
  Yiming Qiu, Ryan Beckett, Ang Chen
  
  Network System Design and Implementation | April 2023
  
  Publication
- Test Coverage for Network Configurations
  
  Xieyang Xu, Weixin Deng, Ryan Beckett, Ratul Mahajan, David Walker
  
  Networked Systems Design and Implementation | April 2023
  
  Publication
- Minding the gap between Fast Heuristics and their Optimal Counterparts
  
  Pooria Namyar, Behnaz Arzani, Ryan Beckett, Santiago Segarra, Srikanth Kandula
  
  Hot Topics in Networking | November 2022
  
  Publication 项目项目
- ACORN: Network Control Plane Abstraction using Route Nondeterminism.
  
  Divya Raghunathan, Ryan Beckett, Aarti Gupta, David Walker
  
  Formal Methods in Computer-Aided Design | October 2022
  
  Publication
- Katra: Realtime Verification for Multilayer Networks
  
  Ryan Beckett, Aarti Gupta
  
  NSDI 2022 | March 2022
  
  Publication 项目
- SCALE: Automatically Finding RFC Compliance Bugs in DNS Nameservers
  
  Siva Kesava Reddy Kakarla, Ryan Beckett, Todd Millstein, George Varghese
  
  NSDI 2022 | March 2022
  
  IRTF Applied Networking Research Prize
  
  Publication
- How Complex is DNS?
  
  Siva Kesava Reddy Kakarla, Ryan Beckett, Todd Millstein, George Varghese
  
  HotNets 2021 | November 2021
  
  DOI
- Test Coverage Metrics for the Network
  
  Xieyang Xu, Ryan Beckett, Karthick Jayaraman, Ratul Mahajan, David Walker
  
  ACM SIGCOMM 2021 | August 2021
  
  Publication
- Campion: Debugging Router Configuration Differences
  
  Alan Tang, Siva Kesava Reddy Kakarla, Ryan Beckett, Ennan Zhai, Matt Brown, Todd Millstein, Yuval Tamir, George Varghese
  
  ACM SIGCOMM 2021 | August 2021
  
  Publication
- A General Framework for Compositional Network Modeling
  
  Ryan Beckett, Ratul Mahajan
  
  HotNets | November 2020
  
  编辑: Association for Computing Machinery
  
  Publication
- Aragog: Scalable Runtime Verification of Shardable Networked Systems
  
  Nofel Yaseen, Behnaz Arzani, Ryan Beckett, Selim Ciraci, Vincent Liu
  
  Operating systems and implementations (OSDI) | October 2020
  
  Publication
- GRoot: Proactive Verification of DNS Configurations
  
  Siva Kesava Reddy Kakarla, Ryan Beckett, Behnaz Arzani, Todd Millstein, George Varghese
  
  SIGCOMM 2020 | August 2020
  
  SIGCOMM 2020 Best Student Paper
  
  Publication
- NV: An Intermediate Language for Verification of Network Control Planes
  
  Nick Giannarakis, Devon Loehr, Ryan Beckett, David Walker
  
  Programming Language Design and Implementation | June 2020
  
  Publication
- Contra: A programmable system for performance-aware routing
  
  Kuo-Feng Hsu, Ryan Beckett, Ang Chen, Jennifer Rexford, Praveen Tammana, David Walker
  
  NSDI | April 2020
  
  Publication
- Finding Network Misconfigurations by Automatic Template Inference
  
  Siva Kesava Reddy Kakarla, Alan Tang, Ryan Beckett, Karthick Jayaraman, Todd Millstein, Yuval Tamir, George Varghese
  
  NSDI 2020 | February 2020
  
  Publication
- Abstract interpretation of distributed network control planes
  
  Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
  
  POPL | December 2019
  
  Publication
- Putting network verification to good use
  
  Ryan Beckett, Ratul Mahajan
  
  HotNets | November 2019
  
  Publication
- Control plane compression
  
  Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
  
  SIGCOMM | August 2018
  
  Publication
- Don’t Mind the Gap: Bridging Network-wide Objectives and Device-level Configurations
  
  Ryan Beckett, Ratul Mahajan, Todd Millstein, Jitu Padhye, David Walker
  
  SIGCOMM 2016 | August 2016
  
  SIGCOMM 2016 Best Paper Award
  
  Publication
- Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs
  
  Yiming Qiu, Patrick Kon, Ryan Beckett, Ang Chen
  
  Symposium on Operating Systems Principles | November 2024
  
  Publication
- Modular control plane verification via temporal invariants
  
  Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker
  
  Programming Language Design and Implementation | June 2023
  
  Publication
- Lightyear: Using Modularity to Scale BGP Control Plane Verification
  
  Alan Tang, Ryan Beckett, Steven Benaloh, Karthick Jayaraman, Tejas Patil, Todd Millstein, George Varghese
  
  SIGCOMM 2023 | April 2023
  
  Publication PDF 项目项目
- Synthesizing runtime programmable switch updates
  
  Yiming Qiu, Ryan Beckett, Ang Chen
  
  Network System Design and Implementation | April 2023
  
  Publication
- ACORN: Network Control Plane Abstraction using Route Nondeterminism.
  
  Divya Raghunathan, Ryan Beckett, Aarti Gupta, David Walker
  
  Formal Methods in Computer-Aided Design | October 2022
  
  Publication
- Kleene Algebra Modulo Theories: A Framework for Concrete KATs
  
  Michael Greenberg, Ryan Beckett, Eric Campbell
  
  PLDI 2022 | June 2022
  
  Distinguished Paper Award at PLDI'22
  
  Publication 项目项目
- A General Framework for Compositional Network Modeling
  
  Ryan Beckett, Ratul Mahajan
  
  HotNets | November 2020
  
  编辑: Association for Computing Machinery
  
  Publication
- NV: An Intermediate Language for Verification of Network Control Planes
  
  Nick Giannarakis, Devon Loehr, Ryan Beckett, David Walker
  
  Programming Language Design and Implementation | June 2020
  
  Publication
- Abstract interpretation of distributed network control planes
  
  Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
  
  POPL | December 2019
  
  Publication

- Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs
  
  Yiming Qiu, Patrick Kon, Ryan Beckett, Ang Chen
  
  Symposium on Operating Systems Principles | November 2024
  
  Publication
- Sequence Abstractions for Flexible, Line-Rate Network Monitoring
  
  Ryan Beckett
  
  2024 Networked Systems Design and Implementation | April 2024
  
  Publication
- Finding Adversarial Inputs for Heuristics using Multi-level Optimization
  
  Pooria Namyar, Ryan Beckett, Santiago Segarra, Himanshu Raj, Umesh Krishnaswamy, Ramesh Govindan, Srikanth Kandula, Behnaz Arzani
  
  NSDI | February 2024
  
  Publication Github 项目
- What do llms need to synthesize correct router configurations?
  
  Rajdeep Mondal, Ryan Beckett, Alan Tang, Todd Millstein, George Varghese
  
  HotNets | November 2023
  
  PDF
- Modular control plane verification via temporal invariants
  
  Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker
  
  Programming Language Design and Implementation | June 2023
  
  Publication
- Lightyear: Using Modularity to Scale BGP Control Plane Verification
  
  Alan Tang, Ryan Beckett, Steven Benaloh, Karthick Jayaraman, Tejas Patil, Todd Millstein, George Varghese
  
  SIGCOMM 2023 | April 2023
  
  Publication PDF 项目项目
- Synthesizing runtime programmable switch updates
  
  Yiming Qiu, Ryan Beckett, Ang Chen
  
  Network System Design and Implementation | April 2023
  
  Publication
- Test Coverage for Network Configurations
  
  Xieyang Xu, Weixin Deng, Ryan Beckett, Ratul Mahajan, David Walker
  
  Networked Systems Design and Implementation | April 2023
  
  Publication
- Minding the gap between Fast Heuristics and their Optimal Counterparts
  
  Pooria Namyar, Behnaz Arzani, Ryan Beckett, Santiago Segarra, Srikanth Kandula
  
  Hot Topics in Networking | November 2022
  
  Publication 项目项目
- ACORN: Network Control Plane Abstraction using Route Nondeterminism.
  
  Divya Raghunathan, Ryan Beckett, Aarti Gupta, David Walker
  
  Formal Methods in Computer-Aided Design | October 2022
  
  Publication
- Kleene Algebra Modulo Theories: A Framework for Concrete KATs
  
  Michael Greenberg, Ryan Beckett, Eric Campbell
  
  PLDI 2022 | June 2022
  
  Distinguished Paper Award at PLDI'22
  
  Publication 项目项目
- Katra: Realtime Verification for Multilayer Networks
  
  Ryan Beckett, Aarti Gupta
  
  NSDI 2022 | March 2022
  
  Publication 项目
- SCALE: Automatically Finding RFC Compliance Bugs in DNS Nameservers
  
  Siva Kesava Reddy Kakarla, Ryan Beckett, Todd Millstein, George Varghese
  
  NSDI 2022 | March 2022
  
  IRTF Applied Networking Research Prize
  
  Publication
- How Complex is DNS?
  
  Siva Kesava Reddy Kakarla, Ryan Beckett, Todd Millstein, George Varghese
  
  HotNets 2021 | November 2021
  
  DOI
- Test Coverage Metrics for the Network
  
  Xieyang Xu, Ryan Beckett, Karthick Jayaraman, Ratul Mahajan, David Walker
  
  ACM SIGCOMM 2021 | August 2021
  
  Publication
- Campion: Debugging Router Configuration Differences
  
  Alan Tang, Siva Kesava Reddy Kakarla, Ryan Beckett, Ennan Zhai, Matt Brown, Todd Millstein, Yuval Tamir, George Varghese
  
  ACM SIGCOMM 2021 | August 2021
  
  Publication
- A General Framework for Compositional Network Modeling
  
  Ryan Beckett, Ratul Mahajan
  
  HotNets | November 2020
  
  编辑: Association for Computing Machinery
  
  Publication
- Aragog: Scalable Runtime Verification of Shardable Networked Systems
  
  Nofel Yaseen, Behnaz Arzani, Ryan Beckett, Selim Ciraci, Vincent Liu
  
  Operating systems and implementations (OSDI) | October 2020
  
  Publication
- GRoot: Proactive Verification of DNS Configurations
  
  Siva Kesava Reddy Kakarla, Ryan Beckett, Behnaz Arzani, Todd Millstein, George Varghese
  
  SIGCOMM 2020 | August 2020
  
  SIGCOMM 2020 Best Student Paper
  
  Publication
- NV: An Intermediate Language for Verification of Network Control Planes
  
  Nick Giannarakis, Devon Loehr, Ryan Beckett, David Walker
  
  Programming Language Design and Implementation | June 2020
  
  Publication
- Contra: A programmable system for performance-aware routing
  
  Kuo-Feng Hsu, Ryan Beckett, Ang Chen, Jennifer Rexford, Praveen Tammana, David Walker
  
  NSDI | April 2020
  
  Publication
- Finding Network Misconfigurations by Automatic Template Inference
  
  Siva Kesava Reddy Kakarla, Alan Tang, Ryan Beckett, Karthick Jayaraman, Todd Millstein, Yuval Tamir, George Varghese
  
  NSDI 2020 | February 2020
  
  Publication
- Abstract interpretation of distributed network control planes
  
  Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
  
  POPL | December 2019
  
  Publication
- Putting network verification to good use
  
  Ryan Beckett, Ratul Mahajan
  
  HotNets | November 2019
  
  Publication
- Control plane compression
  
  Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
  
  SIGCOMM | August 2018
  
  Publication
- Don’t Mind the Gap: Bridging Network-wide Objectives and Device-level Configurations
  
  Ryan Beckett, Ratul Mahajan, Todd Millstein, Jitu Padhye, David Walker
  
  SIGCOMM 2016 | August 2016
  
  SIGCOMM 2016 Best Paper Award
  
  Publication

Ryan Beckett

论文与出版物

Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs

Sequence Abstractions for Flexible, Line-Rate Network Monitoring

Finding Adversarial Inputs for Heuristics using Multi-level Optimization

What do llms need to synthesize correct router configurations?

Modular control plane verification via temporal invariants

Lightyear: Using Modularity to Scale BGP Control Plane Verification

Synthesizing runtime programmable switch updates

Test Coverage for Network Configurations

Minding the gap between Fast Heuristics and their Optimal Counterparts

ACORN: Network Control Plane Abstraction using Route Nondeterminism.

Kleene Algebra Modulo Theories: A Framework for Concrete KATs

Katra: Realtime Verification for Multilayer Networks

SCALE: Automatically Finding RFC Compliance Bugs in DNS Nameservers

How Complex is DNS?

Campion: Debugging Router Configuration Differences

Test Coverage Metrics for the Network

A General Framework for Compositional Network Modeling

Aragog: Scalable Runtime Verification of Shardable Networked Systems

GRoot: Proactive Verification of DNS Configurations

NV: An Intermediate Language for Verification of Network Control Planes

Contra: A programmable system for performance-aware routing

Finding Network Misconfigurations by Automatic Template Inference

Abstract interpretation of distributed network control planes

Putting network verification to good use

Control plane compression

Don’t Mind the Gap: Bridging Network-wide Objectives and Device-level Configurations

Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs

Sequence Abstractions for Flexible, Line-Rate Network Monitoring

Finding Adversarial Inputs for Heuristics using Multi-level Optimization

What do llms need to synthesize correct router configurations?

Modular control plane verification via temporal invariants

Lightyear: Using Modularity to Scale BGP Control Plane Verification

Synthesizing runtime programmable switch updates

Test Coverage for Network Configurations

Minding the gap between Fast Heuristics and their Optimal Counterparts

ACORN: Network Control Plane Abstraction using Route Nondeterminism.

Katra: Realtime Verification for Multilayer Networks

SCALE: Automatically Finding RFC Compliance Bugs in DNS Nameservers

How Complex is DNS?

Test Coverage Metrics for the Network

Campion: Debugging Router Configuration Differences

A General Framework for Compositional Network Modeling

Aragog: Scalable Runtime Verification of Shardable Networked Systems

GRoot: Proactive Verification of DNS Configurations

NV: An Intermediate Language for Verification of Network Control Planes

Contra: A programmable system for performance-aware routing

Finding Network Misconfigurations by Automatic Template Inference

Abstract interpretation of distributed network control planes

Putting network verification to good use

Control plane compression

Don’t Mind the Gap: Bridging Network-wide Objectives and Device-level Configurations

Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs

Modular control plane verification via temporal invariants

Lightyear: Using Modularity to Scale BGP Control Plane Verification

Synthesizing runtime programmable switch updates

ACORN: Network Control Plane Abstraction using Route Nondeterminism.

Kleene Algebra Modulo Theories: A Framework for Concrete KATs

A General Framework for Compositional Network Modeling

NV: An Intermediate Language for Verification of Network Control Planes

Abstract interpretation of distributed network control planes

Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs

Sequence Abstractions for Flexible, Line-Rate Network Monitoring

Finding Adversarial Inputs for Heuristics using Multi-level Optimization

What do llms need to synthesize correct router configurations?

Modular control plane verification via temporal invariants

Lightyear: Using Modularity to Scale BGP Control Plane Verification

Synthesizing runtime programmable switch updates

Test Coverage for Network Configurations

Minding the gap between Fast Heuristics and their Optimal Counterparts

ACORN: Network Control Plane Abstraction using Route Nondeterminism.

Kleene Algebra Modulo Theories: A Framework for Concrete KATs

Katra: Realtime Verification for Multilayer Networks

SCALE: Automatically Finding RFC Compliance Bugs in DNS Nameservers

How Complex is DNS?

Test Coverage Metrics for the Network

Campion: Debugging Router Configuration Differences

A General Framework for Compositional Network Modeling

Aragog: Scalable Runtime Verification of Shardable Networked Systems