NASC Colloquium: The Verification-Synthesis Spectrum: Making Computer Networks More Reliable
Friday, April 2, 2021 3:30pm to 4:30pm
About this Event
Add to calendarAaron Gember-Jacobson, Computer Science Department, will present. Computer networks are essential infrastructure, especially in the midst of a pandemic. Unfortunately, computer networks are also fragile and prone to misconfiguration, as demonstrated by the campus network outage on March 24. My research focuses on designing systems for detecting and correcting misconfigurations before problems manifest. In this talk, I'll discuss the spectrum of systems that have been developed to mitigate network misconfigurations, and illustrate why systems that automatically "repair" configurations are often the most useful. I'll also discuss how these repair systems combine ideas from different areas of computer science to successfully address the challenges imposed by the scale and complexity of network configurations.
Event Details
See Who Is Interested
3 people are interested in this event
Dial-In Information
Virtual weblink: https://zoom.us/j/99595774508 The webinar requires the password: nasc (all lowercase). The NASC colloquium link also requires you to have a registered Zoom account but does not require you to have a Colgate account. We are hoping these restrictions will make the talks as widely accessible as possible, while minimizing security risks.
User Activity
No recent activity