University of Cambridge > > Isaac Newton Institute Seminar Series > Network Verification for Azure Reliability

Network Verification for Azure Reliability

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

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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.


© 2006-2024, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity