PAINTER: Ingress Traffic Engineering and Routing for Enterprise Cloud Networks
Thomas Koch, Shuyue Yu, Sharad Agarwal, Ryan Beckett, Ethan Katz-Bassett
SIGCOMM | September 2023
Publications
Publications by Year
-
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
-
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
-
Cost-Effective Cloud Edge Traffic Engineering with CASCARA
Rachee Singh, Sharad Agarwal, Matt Calder, Victor Bahl
USENIX NSDI | April 2021
Publications by Research Area
-
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, Steven Benaloh, Karthick Jayaraman, Tejas Patil, 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
Cost-Effective Cloud Edge Traffic Engineering with CASCARA
Rachee Singh, Sharad Agarwal, Matt Calder, Victor Bahl
USENIX NSDI | April 2021
-
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
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
Publications by Type
-
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, Steven Benaloh, Karthick Jayaraman, Tejas Patil, 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
Cost-Effective Cloud Edge Traffic Engineering with CASCARA
Rachee Singh, Sharad Agarwal, Matt Calder, Victor Bahl
USENIX NSDI | April 2021