Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs
Yiming Qiu, Patrick Kon, Ryan Beckett, Ang Chen
Symposium on Operating Systems Principles | November 2024
Ryan Beckett
Principal Researcher
Publications
Publications by Year
-
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 | November 2024
Towards Safer Heuristics With XPlain
Pantea Karimi, Solal Pirelli, Siva Kesava Reddy Kakarla, Ryan Beckett, Santiago Segarra, Beibin Li, Pooria Namyar, Behnaz Arzani
HotNets | November 2024
Diffy: Data-Driven Bug Finding for Configurations
Siva Kesava Reddy Kakarla, Francis Y. Yan, Ryan Beckett
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI ’24) | June 2024
MESSI: Behavioral Testing of BGP Implementations
Rathin Singha, Rajdeep Mondal, Ryan Beckett, Siva Kesava Reddy Kakarla, Todd Millstein, George Varghese
NSDI 2024 | April 2024
Sequence Abstractions for Flexible, Line-Rate Network Monitoring
2024 Networked Systems Design and Implementation | April 2024
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
-
What do llms need to synthesize correct router configurations?
Rajdeep Mondal, Ryan Beckett, Alan Tang, Todd Millstein, George Varghese
HotNets | November 2023
PAINTER: Ingress Traffic Engineering and Routing for Enterprise Cloud Networks
Thomas Koch, Shuyue Yu, Sharad Agarwal, Ryan Beckett, Ethan Katz-Bassett
SIGCOMM | September 2023
Modular control plane verification via temporal invariants
Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker
Programming Language Design and Implementation | June 2023
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
Synthesizing runtime programmable switch updates
Yiming Qiu, Ryan Beckett, Ang Chen
Network System Design and Implementation | April 2023
Test Coverage for Network Configurations
Xieyang Xu, Weixin Deng, Ryan Beckett, Ratul Mahajan, David Walker
Networked Systems Design and Implementation | April 2023
-
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
ACORN: Network Control Plane Abstraction using Route Nondeterminism.
Divya Raghunathan, Ryan Beckett, Aarti Gupta, David Walker
Formal Methods in Computer-Aided Design | October 2022
TIPSY: Predicting Where Traffic Will Ingress a WAN
Michael Markovitch, Sharad Agarwal, Rodrigo Fonseca, Ryan Beckett, Chuanji Zhang, Irena Atov, Somesh Chaturmohta
ACM SIGCOMM | August 2022
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
Katra: Realtime Verification for Multilayer Networks
Ryan Beckett, Aarti Gupta
NSDI 2022 | March 2022
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
-
How Complex is DNS?
Siva Kesava Reddy Kakarla, Ryan Beckett, Todd Millstein, George Varghese
HotNets 2021 | November 2021
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
Test Coverage Metrics for the Network
Xieyang Xu, Ryan Beckett, Karthick Jayaraman, Ratul Mahajan, David Walker
ACM SIGCOMM 2021 | August 2021
-
A General Framework for Compositional Network Modeling
Ryan Beckett, Ratul Mahajan
HotNets | November 2020
Editor(s): Association for Computing Machinery
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
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
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
Contra: A programmable system for performance-aware routing
Kuo-Feng Hsu, Ryan Beckett, Ang Chen, Jennifer Rexford, Praveen Tammana, David Walker
NSDI | April 2020
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
-
Abstract interpretation of distributed network control planes
Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
POPL | December 2019
Putting network verification to good use
Ryan Beckett, Ratul Mahajan
HotNets | November 2019
-
Control plane compression
Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
SIGCOMM | August 2018
-
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
Publications by Research Area
-
Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs
Yiming Qiu, Patrick Kon, Ryan Beckett, Ang Chen
Symposium on Operating Systems Principles | November 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 | November 2024
Towards Safer Heuristics With XPlain
Pantea Karimi, Solal Pirelli, Siva Kesava Reddy Kakarla, Ryan Beckett, Santiago Segarra, Beibin Li, Pooria Namyar, Behnaz Arzani
HotNets | November 2024
Diffy: Data-Driven Bug Finding for Configurations
Siva Kesava Reddy Kakarla, Francis Y. Yan, Ryan Beckett
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI ’24) | June 2024
Sequence Abstractions for Flexible, Line-Rate Network Monitoring
2024 Networked Systems Design and Implementation | April 2024
MESSI: Behavioral Testing of BGP Implementations
Rathin Singha, Rajdeep Mondal, Ryan Beckett, Siva Kesava Reddy Kakarla, Todd Millstein, George Varghese
NSDI 2024 | April 2024
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
What do llms need to synthesize correct router configurations?
Rajdeep Mondal, Ryan Beckett, Alan Tang, Todd Millstein, George Varghese
HotNets | November 2023
PAINTER: Ingress Traffic Engineering and Routing for Enterprise Cloud Networks
Thomas Koch, Shuyue Yu, Sharad Agarwal, Ryan Beckett, Ethan Katz-Bassett
SIGCOMM | September 2023
Modular control plane verification via temporal invariants
Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker
Programming Language Design and Implementation | June 2023
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
Synthesizing runtime programmable switch updates
Yiming Qiu, Ryan Beckett, Ang Chen
Network System Design and Implementation | April 2023
Test Coverage for Network Configurations
Xieyang Xu, Weixin Deng, Ryan Beckett, Ratul Mahajan, David Walker
Networked Systems Design and Implementation | April 2023
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
ACORN: Network Control Plane Abstraction using Route Nondeterminism.
Divya Raghunathan, Ryan Beckett, Aarti Gupta, David Walker
Formal Methods in Computer-Aided Design | October 2022
TIPSY: Predicting Where Traffic Will Ingress a WAN
Michael Markovitch, Sharad Agarwal, Rodrigo Fonseca, Ryan Beckett, Chuanji Zhang, Irena Atov, Somesh Chaturmohta
ACM SIGCOMM | August 2022
Katra: Realtime Verification for Multilayer Networks
Ryan Beckett, Aarti Gupta
NSDI 2022 | March 2022
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
How Complex is DNS?
Siva Kesava Reddy Kakarla, Ryan Beckett, Todd Millstein, George Varghese
HotNets 2021 | November 2021
Test Coverage Metrics for the Network
Xieyang Xu, Ryan Beckett, Karthick Jayaraman, Ratul Mahajan, David Walker
ACM SIGCOMM 2021 | August 2021
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
A General Framework for Compositional Network Modeling
Ryan Beckett, Ratul Mahajan
HotNets | November 2020
Editor(s): Association for Computing Machinery
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
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
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
Contra: A programmable system for performance-aware routing
Kuo-Feng Hsu, Ryan Beckett, Ang Chen, Jennifer Rexford, Praveen Tammana, David Walker
NSDI | April 2020
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
Abstract interpretation of distributed network control planes
Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
POPL | December 2019
Putting network verification to good use
Ryan Beckett, Ratul Mahajan
HotNets | November 2019
Control plane compression
Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
SIGCOMM | August 2018
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
-
Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs
Yiming Qiu, Patrick Kon, Ryan Beckett, Ang Chen
Symposium on Operating Systems Principles | November 2024
Modular control plane verification via temporal invariants
Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker
Programming Language Design and Implementation | June 2023
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
Synthesizing runtime programmable switch updates
Yiming Qiu, Ryan Beckett, Ang Chen
Network System Design and Implementation | April 2023
ACORN: Network Control Plane Abstraction using Route Nondeterminism.
Divya Raghunathan, Ryan Beckett, Aarti Gupta, David Walker
Formal Methods in Computer-Aided Design | October 2022
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
A General Framework for Compositional Network Modeling
Ryan Beckett, Ratul Mahajan
HotNets | November 2020
Editor(s): Association for Computing Machinery
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
Abstract interpretation of distributed network control planes
Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
POPL | December 2019
Publications by Type
-
Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs
Yiming Qiu, Patrick Kon, Ryan Beckett, Ang Chen
Symposium on Operating Systems Principles | November 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 | November 2024
Towards Safer Heuristics With XPlain
Pantea Karimi, Solal Pirelli, Siva Kesava Reddy Kakarla, Ryan Beckett, Santiago Segarra, Beibin Li, Pooria Namyar, Behnaz Arzani
HotNets | November 2024
Diffy: Data-Driven Bug Finding for Configurations
Siva Kesava Reddy Kakarla, Francis Y. Yan, Ryan Beckett
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI ’24) | June 2024
Sequence Abstractions for Flexible, Line-Rate Network Monitoring
2024 Networked Systems Design and Implementation | April 2024
MESSI: Behavioral Testing of BGP Implementations
Rathin Singha, Rajdeep Mondal, Ryan Beckett, Siva Kesava Reddy Kakarla, Todd Millstein, George Varghese
NSDI 2024 | April 2024
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
What do llms need to synthesize correct router configurations?
Rajdeep Mondal, Ryan Beckett, Alan Tang, Todd Millstein, George Varghese
HotNets | November 2023
PAINTER: Ingress Traffic Engineering and Routing for Enterprise Cloud Networks
Thomas Koch, Shuyue Yu, Sharad Agarwal, Ryan Beckett, Ethan Katz-Bassett
SIGCOMM | September 2023
Modular control plane verification via temporal invariants
Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker
Programming Language Design and Implementation | June 2023
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
Synthesizing runtime programmable switch updates
Yiming Qiu, Ryan Beckett, Ang Chen
Network System Design and Implementation | April 2023
Test Coverage for Network Configurations
Xieyang Xu, Weixin Deng, Ryan Beckett, Ratul Mahajan, David Walker
Networked Systems Design and Implementation | April 2023
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
ACORN: Network Control Plane Abstraction using Route Nondeterminism.
Divya Raghunathan, Ryan Beckett, Aarti Gupta, David Walker
Formal Methods in Computer-Aided Design | October 2022
TIPSY: Predicting Where Traffic Will Ingress a WAN
Michael Markovitch, Sharad Agarwal, Rodrigo Fonseca, Ryan Beckett, Chuanji Zhang, Irena Atov, Somesh Chaturmohta
ACM SIGCOMM | August 2022
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
Katra: Realtime Verification for Multilayer Networks
Ryan Beckett, Aarti Gupta
NSDI 2022 | March 2022
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
How Complex is DNS?
Siva Kesava Reddy Kakarla, Ryan Beckett, Todd Millstein, George Varghese
HotNets 2021 | November 2021
Test Coverage Metrics for the Network
Xieyang Xu, Ryan Beckett, Karthick Jayaraman, Ratul Mahajan, David Walker
ACM SIGCOMM 2021 | August 2021
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
A General Framework for Compositional Network Modeling
Ryan Beckett, Ratul Mahajan
HotNets | November 2020
Editor(s): Association for Computing Machinery
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
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
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
Contra: A programmable system for performance-aware routing
Kuo-Feng Hsu, Ryan Beckett, Ang Chen, Jennifer Rexford, Praveen Tammana, David Walker
NSDI | April 2020
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
Abstract interpretation of distributed network control planes
Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
POPL | December 2019
Putting network verification to good use
Ryan Beckett, Ratul Mahajan
HotNets | November 2019
Control plane compression
Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
SIGCOMM | August 2018
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