Network Simulation for Large Datacenters
Event details
| Date | 08.06.2018 |
| Hour | 09:15 › 10:00 |
| Location | |
| Category | Conferences - Seminars |
By Dr. Andrey Rybalchenko
Abstract
Azure needs a reliable network for successful operation. Network verification gives network designers and operators tools to automatically catch misconfigurations and avoid outages.
Our vision is that every network configuration change is validated before deployment.
In this talk we present Network Logic Solver, an efficient control plane simulator that provides a quick turn-around/low latency response when checking config changes. NLS builds upon a high fidelity model of router firmware and BGP, which is executed by an efficient centralized algorithm.
Joint work with Nuno Lopes.
Bio
Andrey Rybalchenko is a researcher in the Programming Principles and Tools group at Microsoft Research, currently working on network verification.
Previously he was a full professor at Technical University Munich, a tenure-track faculty at the Max-Planck Institute for Software Systems,
a post-doctoral researcher with Prof. Thomas Henzinger at EPFL, and PhD student of Prof. Andreas Podelski. In addition to network verification,
he is known for his work on termination analysis, constraint-based analysis, analysis and synthesis based on Horn clauses.
He received an ERC starting grant in 2012. He was listed as one of the 35 Innovators Under 35 by the MIT Technology Review in 2010,
was a Microsoft Research faculty fellow, and is a recipient of Otto Hahn Medal and Günter-Hotz-Preis.
More information
Abstract
Azure needs a reliable network for successful operation. Network verification gives network designers and operators tools to automatically catch misconfigurations and avoid outages.
Our vision is that every network configuration change is validated before deployment.
In this talk we present Network Logic Solver, an efficient control plane simulator that provides a quick turn-around/low latency response when checking config changes. NLS builds upon a high fidelity model of router firmware and BGP, which is executed by an efficient centralized algorithm.
Joint work with Nuno Lopes.
Bio
Andrey Rybalchenko is a researcher in the Programming Principles and Tools group at Microsoft Research, currently working on network verification.
Previously he was a full professor at Technical University Munich, a tenure-track faculty at the Max-Planck Institute for Software Systems,
a post-doctoral researcher with Prof. Thomas Henzinger at EPFL, and PhD student of Prof. Andreas Podelski. In addition to network verification,
he is known for his work on termination analysis, constraint-based analysis, analysis and synthesis based on Horn clauses.
He received an ERC starting grant in 2012. He was listed as one of the 35 Innovators Under 35 by the MIT Technology Review in 2010,
was a Microsoft Research faculty fellow, and is a recipient of Otto Hahn Medal and Günter-Hotz-Preis.
More information
Practical information
- General public
- Free
Contact
- Host: Laboratory for Automated Reasoning and Analysis, http://lara.epfl.ch