Network Verification for Azure Reliability

Add to your list(s) Download to your calendar using vCal

• Andrey Rybalchenko (Microsoft (UK))
• Tuesday 05 July 2022, 11:00-12:00
• Seminar Room 1, Newton Institute.

If you have a question about this talk, please contact nobody.

VS2W01 - Vistas in Verified Software

Delivering a reliable network to customers is top business priority for Azure Networking. Network misconfigurations can be prevented from degrading reliability by verifying every network configuration change before its deployment. This is a hard problem to solve, given the scale and complexity of today’s networks. We will discuss progress in network verification research in Azure Networking and its applications in production. Joint work with Nuno Lopes, Karthick Jayaraman, Nuno Afonso, Ryan Beckett, Dragos Dumitrescu, Jitu Padhye 

This talk is part of the Isaac Newton Institute Seminar Series series.

This talk is included in these lists:

• All CMS events
• Featured lists
• INI info aggregator
• Isaac Newton Institute Seminar Series
• School of Physical Sciences
• Seminar Room 1, Newton Institute
• bld31

Note that ex-directory lists are not shown.