Fast BGP Simulation of Large Datacenters
Nuno Lopes, Andrey Rybalchenko
VMCAI: Verification, Model Checking, and Abstract Interpretation | January 2019
Nuno Lopes, Andrey Rybalchenko
VMCAI: Verification, Model Checking, and Abstract Interpretation | January 2019
Nikolaj Bjørner, Garvit Juniwal, Ratul Mahajan, Sanjit A. Seshia, George Varghese
Haifa Verification Conference (HVC), 2016 | August 2016
Gordon D. Plotkin, Nikolaj Bjørner, Nuno Lopes, Andrey Rybalchenko, George Varghese
POPL | June 2016
Ari Fogel, Stanley Fung, Luis Pedrosa, Meg Walraed-Sullivan, Ramesh Govindan, Ratul Mahajan, Todd Millstein
USENIX - Advanced Computing Systems Association | April 2015
Karthick Jayaraman, Nikolaj Bjørner, Geoff Outhred, Charlie Kaufman
MSR-TR-2014-102 | July 2014
Published by Microsoft
Nuno Lopes, Nikolaj Bjørner, Patrice Godefroid, Karthick Jayaraman, George Varghese
MSR-TR-2014-58 | April 2014
Published by Microsoft
Nuno Lopes, Andrey Rybalchenko
VMCAI: Verification, Model Checking, and Abstract Interpretation | January 2019
Nikolaj Bjørner, Garvit Juniwal, Ratul Mahajan, Sanjit A. Seshia, George Varghese
Haifa Verification Conference (HVC), 2016 | August 2016
Gordon D. Plotkin, Nikolaj Bjørner, Nuno Lopes, Andrey Rybalchenko, George Varghese
POPL | June 2016
Karthick Jayaraman, Nikolaj Bjørner, Geoff Outhred, Charlie Kaufman
MSR-TR-2014-102 | July 2014
Published by Microsoft
Nuno Lopes, Nikolaj Bjørner, Patrice Godefroid, Karthick Jayaraman, George Varghese
MSR-TR-2014-58 | April 2014
Published by Microsoft
Nuno Lopes, Andrey Rybalchenko
VMCAI: Verification, Model Checking, and Abstract Interpretation | January 2019
Nikolaj Bjørner, Garvit Juniwal, Ratul Mahajan, Sanjit A. Seshia, George Varghese
Haifa Verification Conference (HVC), 2016 | August 2016
Gordon D. Plotkin, Nikolaj Bjørner, Nuno Lopes, Andrey Rybalchenko, George Varghese
POPL | June 2016
Ari Fogel, Stanley Fung, Luis Pedrosa, Meg Walraed-Sullivan, Ramesh Govindan, Ratul Mahajan, Todd Millstein
USENIX - Advanced Computing Systems Association | April 2015
Karthick Jayaraman, Nikolaj Bjørner, Geoff Outhred, Charlie Kaufman
MSR-TR-2014-102 | July 2014
Published by Microsoft
Nuno Lopes, Nikolaj Bjørner, Patrice Godefroid, Karthick Jayaraman, George Varghese
MSR-TR-2014-58 | April 2014
Published by Microsoft
Karthick Jayaraman, Nikolaj Bjørner, Geoff Outhred, Charlie Kaufman
MSR-TR-2014-102 | July 2014
Published by Microsoft
Nuno Lopes, Andrey Rybalchenko
VMCAI: Verification, Model Checking, and Abstract Interpretation | January 2019
Nikolaj Bjørner, Garvit Juniwal, Ratul Mahajan, Sanjit A. Seshia, George Varghese
Haifa Verification Conference (HVC), 2016 | August 2016
Gordon D. Plotkin, Nikolaj Bjørner, Nuno Lopes, Andrey Rybalchenko, George Varghese
POPL | June 2016
Ari Fogel, Stanley Fung, Luis Pedrosa, Meg Walraed-Sullivan, Ramesh Govindan, Ratul Mahajan, Todd Millstein
USENIX - Advanced Computing Systems Association | April 2015
Karthick Jayaraman, Nikolaj Bjørner, Geoff Outhred, Charlie Kaufman
MSR-TR-2014-102 | July 2014
Published by Microsoft
Nuno Lopes, Nikolaj Bjørner, Patrice Godefroid, Karthick Jayaraman, George Varghese
MSR-TR-2014-58 | April 2014
Published by Microsoft
Principal Researcher
Partner Researcher
Partner Development Lead
Senior Principal Researcher
Senior Researcher