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
Publications by Year
-
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
Publications by Research Area
-
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
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
Publications by Type
-
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