BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Network Simulation for Large Datacenters
DTSTART:20180608T091500
DTEND:20180608T100000
DTSTAMP:20260406T170131Z
UID:bb74ec366b147731e49b70f8a63ce9b99c313cc85d516b143a3e54c0
CATEGORIES:Conferences - Seminars
DESCRIPTION:By Dr. Andrey Rybalchenko\n\nAbstract     \nAzure needs a 
 reliable network for successful operation. Network verification gives netw
 ork designers and operators tools to automatically catch misconfigurations
  and avoid outages.\nOur vision is that every network configuration change
  is validated before deployment.\nIn this talk we present Network Logic So
 lver\, an efficient control plane simulator that provides a quick turn-aro
 und/low latency response when checking config changes. NLS builds upon a h
 igh fidelity model of router firmware and BGP\, which is executed by an ef
 ficient centralized algorithm.\n\nJoint work with Nuno Lopes.\n\nBio\nAndr
 ey Rybalchenko is a researcher in the Programming Principles and Tools gro
 up at Microsoft Research\, currently working on network verification.\nPre
 viously he was a full professor at Technical University Munich\, a tenure-
 track faculty at the Max-Planck Institute for Software Systems\,\na post-d
 octoral researcher with Prof. Thomas Henzinger at EPFL\, and PhD student o
 f Prof. Andreas Podelski. In addition to network verification\,\nhe is kno
 wn for his work on termination analysis\, constraint-based analysis\, anal
 ysis and synthesis based on Horn clauses.\nHe received an ERC starting gra
 nt in 2012. He was listed as one of the 35 Innovators Under 35 by the MIT 
 Technology Review in 2010\,\nwas a Microsoft Research faculty fellow\, and
  is a recipient of Otto Hahn Medal and Günter-Hotz-Preis.\n\nMore informa
 tion\n 
LOCATION:BC 410 https://plan.epfl.ch/?room==BC%20410
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR