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
Karthick Jayaraman
Publications
-
-
-
Invisinets: Removing Networking from Cloud Networks
Sara McClure, Zeke Medley, D. Bansal, Karthick Jayaraman, Ashok Narayanan, Jitendra Padhye, Sylvia Ratnasamy, Anees Shaikh, Rishabh Tewari
NSDI 2023 | April 2023
-
-
-
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
-
-
-
Validating datacenters at scale
Karthick Jayaraman, Nikolaj Bjørner, Jitu Padhye, Amar Agrawal, Ashish Bhargava, Paul-Andre C. Bissonnette, Shane Foster, Andrew Helwer, M. Kasten, I. Lee, Anup Namdhari, Haseeb Niaz, Aniruddha Parkhi, Hanukumar Pinnamraju, Adrian Power, N. Raje, Parag Sharma
SIGCOMM 2019 | August 2019
-
-
-
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
-
Invisinets: Removing Networking from Cloud Networks
Sara McClure, Zeke Medley, D. Bansal, Karthick Jayaraman, Ashok Narayanan, Jitendra Padhye, Sylvia Ratnasamy, Anees Shaikh, Rishabh Tewari
NSDI 2023 | April 2023
-
Validating datacenters at scale
Karthick Jayaraman, Nikolaj Bjørner, Jitu Padhye, Amar Agrawal, Ashish Bhargava, Paul-Andre C. Bissonnette, Shane Foster, Andrew Helwer, M. Kasten, I. Lee, Anup Namdhari, Haseeb Niaz, Aniruddha Parkhi, Hanukumar Pinnamraju, Adrian Power, N. Raje, Parag Sharma
SIGCOMM 2019 | August 2019
-
-
-
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
-
Invisinets: Removing Networking from Cloud Networks
Sara McClure, Zeke Medley, D. Bansal, Karthick Jayaraman, Ashok Narayanan, Jitendra Padhye, Sylvia Ratnasamy, Anees Shaikh, Rishabh Tewari
NSDI 2023 | April 2023
-
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
-
Validating datacenters at scale
Karthick Jayaraman, Nikolaj Bjørner, Jitu Padhye, Amar Agrawal, Ashish Bhargava, Paul-Andre C. Bissonnette, Shane Foster, Andrew Helwer, M. Kasten, I. Lee, Anup Namdhari, Haseeb Niaz, Aniruddha Parkhi, Hanukumar Pinnamraju, Adrian Power, N. Raje, Parag Sharma
SIGCOMM 2019 | August 2019
-
-
-
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
-
Invisinets: Removing Networking from Cloud Networks
Sara McClure, Zeke Medley, D. Bansal, Karthick Jayaraman, Ashok Narayanan, Jitendra Padhye, Sylvia Ratnasamy, Anees Shaikh, Rishabh Tewari
NSDI 2023 | April 2023
-
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
-
Validating datacenters at scale
Karthick Jayaraman, Nikolaj Bjørner, Jitu Padhye, Amar Agrawal, Ashish Bhargava, Paul-Andre C. Bissonnette, Shane Foster, Andrew Helwer, M. Kasten, I. Lee, Anup Namdhari, Haseeb Niaz, Aniruddha Parkhi, Hanukumar Pinnamraju, Adrian Power, N. Raje, Parag Sharma
SIGCOMM 2019 | August 2019
-