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) | June 2024
Ryan Beckett
Principal Researcher
Publications
Publications by Year
-
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
-
PAINTER: Ingress Traffic Engineering and Routing for Enterprise Cloud Networks
Thomas Koch, Shuyue Yu, Sharad Agarwal, Ryan Beckett, Ethan Katz-Bassett
SIGCOMM | September 2023
Lightyear: Using Modularity to Scale BGP Control Plane Verification
Alan Tang, Ryan Beckett, Karthick Jayaraman, Todd Millstein, George Varghese
SIGCOMM 2023 | 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
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
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
-
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
-
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) | 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
PAINTER: Ingress Traffic Engineering and Routing for Enterprise Cloud Networks
Thomas Koch, Shuyue Yu, Sharad Agarwal, Ryan Beckett, Ethan Katz-Bassett
SIGCOMM | September 2023
Lightyear: Using Modularity to Scale BGP Control Plane Verification
Alan Tang, Ryan Beckett, Karthick Jayaraman, Todd Millstein, George Varghese
SIGCOMM 2023 | 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
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
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
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
-
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
Publications by Type
-
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) | 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
PAINTER: Ingress Traffic Engineering and Routing for Enterprise Cloud Networks
Thomas Koch, Shuyue Yu, Sharad Agarwal, Ryan Beckett, Ethan Katz-Bassett
SIGCOMM | September 2023
Lightyear: Using Modularity to Scale BGP Control Plane Verification
Alan Tang, Ryan Beckett, Karthick Jayaraman, Todd Millstein, George Varghese
SIGCOMM 2023 | 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
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
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
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