Ryan Beckett

Principal Researcher

Publications

View by:

- CornerCase: Automated Extremal Testing of Protocol Implementations using LLMs
  
  Rathin Singha, Kuan Qian, S. Saikrishnan, Tracy Zhao, Soheil Abbasloo, Ryan Beckett, Siva Kesava Reddy Kakarla, Todd D. Millstein, George Varghese
  
  June 2026
  
  arXiv | June 2026
  
  Publication
- Eywa: Automating Model Based Testing using LLMs
  
  Rajdeep Mondal, Rathin Singha, Todd D. Millstein, George Varghese, Ryan Beckett, Siva Kesava Reddy Kakarla
  
  NSDI | May 2026
  
  Publication
- 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
  
  NSDI | May 2026
  
  Publication Project
- A Performance Analyzer for a Public Cloud’s ML-Augmented VM Allocator
  
  Roozbeh Bostandoost, Pooria Namyar, Siva Kesava Reddy Kakarla, Ryan Beckett, Santiago Segarra, Eli Cortez, Ankur Mallick, Kevin Hsieh, Rodrigo Fonseca, M. Hajiesmaili, Behnaz Arzani
  
  December 2025
  
  arXiv | December 2025
  
  Publication Project
- 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
  
  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 Project
- 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 Project Project
- 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 Project Project
- 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 Project Project
- Katra: Realtime Verification for Multilayer Networks
  
  Ryan Beckett, Aarti Gupta
  
  NSDI 2022 | March 2022
  
  Publication Project
- 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
  
  Editor(s): 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

- CornerCase: Automated Extremal Testing of Protocol Implementations using LLMs
  
  Rathin Singha, Kuan Qian, S. Saikrishnan, Tracy Zhao, Soheil Abbasloo, Ryan Beckett, Siva Kesava Reddy Kakarla, Todd D. Millstein, George Varghese
  
  June 2026
  
  arXiv | June 2026
  
  Publication
- 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
  
  NSDI | May 2026
  
  Publication Project
- Eywa: Automating Model Based Testing using LLMs
  
  Rajdeep Mondal, Rathin Singha, Todd D. Millstein, George Varghese, Ryan Beckett, Siva Kesava Reddy Kakarla
  
  NSDI | May 2026
  
  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
  
  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 Project
- 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 Project Project
- 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 Project Project
- 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 Project
- 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
  
  Editor(s): 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
- A Performance Analyzer for a Public Cloud’s ML-Augmented VM Allocator
  
  Roozbeh Bostandoost, Pooria Namyar, Siva Kesava Reddy Kakarla, Ryan Beckett, Santiago Segarra, Eli Cortez, Ankur Mallick, Kevin Hsieh, Rodrigo Fonseca, M. Hajiesmaili, Behnaz Arzani
  
  December 2025
  
  arXiv | December 2025
  
  Publication Project
- 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 Project Project
- 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 Project Project
- A General Framework for Compositional Network Modeling
  
  Ryan Beckett, Ratul Mahajan
  
  HotNets | November 2020
  
  Editor(s): 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

- CornerCase: Automated Extremal Testing of Protocol Implementations using LLMs
  
  Rathin Singha, Kuan Qian, S. Saikrishnan, Tracy Zhao, Soheil Abbasloo, Ryan Beckett, Siva Kesava Reddy Kakarla, Todd D. Millstein, George Varghese
  
  June 2026
  
  arXiv | June 2026
  
  Publication
- A Performance Analyzer for a Public Cloud’s ML-Augmented VM Allocator
  
  Roozbeh Bostandoost, Pooria Namyar, Siva Kesava Reddy Kakarla, Ryan Beckett, Santiago Segarra, Eli Cortez, Ankur Mallick, Kevin Hsieh, Rodrigo Fonseca, M. Hajiesmaili, Behnaz Arzani
  
  December 2025
  
  arXiv | December 2025
  
  Publication Project
- 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
  
  NSDI | May 2026
  
  Publication Project
- Eywa: Automating Model Based Testing using LLMs
  
  Rajdeep Mondal, Rathin Singha, Todd D. Millstein, George Varghese, Ryan Beckett, Siva Kesava Reddy Kakarla
  
  NSDI | May 2026
  
  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
  
  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 Project
- 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 Project Project
- 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 Project Project
- 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 Project Project
- Katra: Realtime Verification for Multilayer Networks
  
  Ryan Beckett, Aarti Gupta
  
  NSDI 2022 | March 2022
  
  Publication Project
- 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
  
  Editor(s): 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

Publications

CornerCase: Automated Extremal Testing of Protocol Implementations using LLMs

Eywa: Automating Model Based Testing using LLMs

Heuristic Analysis from Source Code via Symbolic-Guided Optimization

A Performance Analyzer for a Public Cloud’s ML-Augmented VM Allocator

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

CornerCase: Automated Extremal Testing of Protocol Implementations using LLMs

Heuristic Analysis from Source Code via Symbolic-Guided Optimization

Eywa: Automating Model Based Testing using LLMs

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

A Performance Analyzer for a Public Cloud’s ML-Augmented VM Allocator

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

CornerCase: Automated Extremal Testing of Protocol Implementations using LLMs

A Performance Analyzer for a Public Cloud’s ML-Augmented VM Allocator

Heuristic Analysis from Source Code via Symbolic-Guided Optimization

Eywa: Automating Model Based Testing using LLMs

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