Fast BGP Simulation of Large Datacenters
Nuno Lopes, Andrey Rybalchenko
VMCAI: Verification, Model Checking, and Abstract Interpretation | January 2019
Network Verification
Publications
Publications
Publications by Year
-
-
ddNF: An Efficient Data Structure for Header Spaces
Nikolaj Bjørner, Garvit Juniwal, Ratul Mahajan, Sanjit A. Seshia, George Varghese
Haifa Verification Conference (HVC), 2016 | August 2016
Scaling Network Verification using Symmetry and Surgery
Gordon D. Plotkin, Nikolaj Bjørner, Nuno Lopes, Andrey Rybalchenko, George Varghese
POPL | June 2016
-
A General Approach to Network Configuration Analysis
Ari Fogel, Stanley Fung, Luis Pedrosa, Meg Walraed-Sullivan, Ramesh Govindan, Ratul Mahajan, Todd Millstein
USENIX - Advanced Computing Systems Association | April 2015
-
Automated Analysis and Debugging of Network Connectivity Policies
Karthick Jayaraman, Nikolaj Bjørner, Geoff Outhred, Charlie Kaufman
MSR-TR-2014-102 | July 2014
Published by Microsoft
Checking Beliefs in Dynamic Networks
Nuno Lopes, Nikolaj Bjørner, Patrice Godefroid, Karthick Jayaraman, George Varghese
MSR-TR-2014-58 | April 2014
Published by Microsoft
Publications by Research Area
-
Fast BGP Simulation of Large Datacenters
Nuno Lopes, Andrey Rybalchenko
VMCAI: Verification, Model Checking, and Abstract Interpretation | January 2019
ddNF: An Efficient Data Structure for Header Spaces
Nikolaj Bjørner, Garvit Juniwal, Ratul Mahajan, Sanjit A. Seshia, George Varghese
Haifa Verification Conference (HVC), 2016 | August 2016
Scaling Network Verification using Symmetry and Surgery
Gordon D. Plotkin, Nikolaj Bjørner, Nuno Lopes, Andrey Rybalchenko, George Varghese
POPL | June 2016
Automated Analysis and Debugging of Network Connectivity Policies
Karthick Jayaraman, Nikolaj Bjørner, Geoff Outhred, Charlie Kaufman
MSR-TR-2014-102 | July 2014
Published by Microsoft
Checking Beliefs in Dynamic Networks
Nuno Lopes, Nikolaj Bjørner, Patrice Godefroid, Karthick Jayaraman, George Varghese
MSR-TR-2014-58 | April 2014
Published by Microsoft
-
Fast BGP Simulation of Large Datacenters
Nuno Lopes, Andrey Rybalchenko
VMCAI: Verification, Model Checking, and Abstract Interpretation | January 2019
ddNF: An Efficient Data Structure for Header Spaces
Nikolaj Bjørner, Garvit Juniwal, Ratul Mahajan, Sanjit A. Seshia, George Varghese
Haifa Verification Conference (HVC), 2016 | August 2016
Scaling Network Verification using Symmetry and Surgery
Gordon D. Plotkin, Nikolaj Bjørner, Nuno Lopes, Andrey Rybalchenko, George Varghese
POPL | June 2016
A General Approach to Network Configuration Analysis
Ari Fogel, Stanley Fung, Luis Pedrosa, Meg Walraed-Sullivan, Ramesh Govindan, Ratul Mahajan, Todd Millstein
USENIX - Advanced Computing Systems Association | April 2015
Automated Analysis and Debugging of Network Connectivity Policies
Karthick Jayaraman, Nikolaj Bjørner, Geoff Outhred, Charlie Kaufman
MSR-TR-2014-102 | July 2014
Published by Microsoft
Checking Beliefs in Dynamic Networks
Nuno Lopes, Nikolaj Bjørner, Patrice Godefroid, Karthick Jayaraman, George Varghese
MSR-TR-2014-58 | April 2014
Published by Microsoft
-
Automated Analysis and Debugging of Network Connectivity Policies
Karthick Jayaraman, Nikolaj Bjørner, Geoff Outhred, Charlie Kaufman
MSR-TR-2014-102 | July 2014
Published by Microsoft
Publications by Type
-
Fast BGP Simulation of Large Datacenters
Nuno Lopes, Andrey Rybalchenko
VMCAI: Verification, Model Checking, and Abstract Interpretation | January 2019
ddNF: An Efficient Data Structure for Header Spaces
Nikolaj Bjørner, Garvit Juniwal, Ratul Mahajan, Sanjit A. Seshia, George Varghese
Haifa Verification Conference (HVC), 2016 | August 2016
Scaling Network Verification using Symmetry and Surgery
Gordon D. Plotkin, Nikolaj Bjørner, Nuno Lopes, Andrey Rybalchenko, George Varghese
POPL | June 2016
A General Approach to Network Configuration Analysis
Ari Fogel, Stanley Fung, Luis Pedrosa, Meg Walraed-Sullivan, Ramesh Govindan, Ratul Mahajan, Todd Millstein
USENIX - Advanced Computing Systems Association | April 2015
-
Automated Analysis and Debugging of Network Connectivity Policies
Karthick Jayaraman, Nikolaj Bjørner, Geoff Outhred, Charlie Kaufman
MSR-TR-2014-102 | July 2014
Published by Microsoft
Checking Beliefs in Dynamic Networks
Nuno Lopes, Nikolaj Bjørner, Patrice Godefroid, Karthick Jayaraman, George Varghese
MSR-TR-2014-58 | April 2014
Published by Microsoft
People
Ryan Beckett
Principal Researcher
Nikolaj Bjørner
Partner Researcher
Karthick Jayaraman
Principal Software Engineer
Microsoft
Jitu Padhye
Partner Development Lead
Andrey Rybalchenko
Senior Principal Researcher