BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Software Synthesis for Networks
DTSTART:20191108T160000
DTEND:20191108T170000
DTSTAMP:20260407T043555Z
UID:c3ed2592f4cc56f0fbd197d171f44d46bdfcc6aec6939ea76dadfb35
CATEGORIES:Conferences - Seminars
DESCRIPTION:by Hossein Hojjat\nRochester Institute of Technology (RIT) and
  Tehran Institute for Advanced Studies (TeIAS)\n\nBio\nHossein Hojjat is a
 n assistant professor at the Tehran Institute for Advanced Studies (TeIAS)
  and the Rochester Institute of Technology (RIT). He has held visiting ass
 istant professorship at the Cornell University. He earned a PhD in Compute
 r Science from EPFL under the supervision of Prof. Viktor Kuncak. He is on
  the editorial board of Information Processing Letters and also co-chairs 
 the international conference on Fundamentals of Software Engineering (FSEN
 ). His research interests center on program synthesis and verification.\n\
 nAbstract\nSoftware synthesis is a powerful technique that can dramaticall
 y increase the productivity of programmers by automating the construction 
 of complex code. One area where synthesis seems particularly promising is 
 in computer networks. Although Software-Defined Networking (SDN) makes it 
 possible to build rich applications in software\, programmers nowadays are
  forced to deal with numerous low-level details such as encoding high-leve
 l policies using low-level hardware primitives\, dealing with unexpected f
 ailures\, debugging a buggy network configurations\, etc.\n\nThis talk wil
 l present highlights from recent work using synthesis to generate correct-
 by-construction network programs. In the first part of the talk\, I will d
 escribe an approach for generating configuration updates that are guarante
 ed to preserve specified invariants. In the second part of the talk\, I wi
 ll present a technique based on Horn clause solving to help network operat
 ors fix buggy configurations.\n\n(Joint work with Nate Foster and Eric Cam
 pbell (Cornell University)\, Pavol Cerny (Vienna University of Technology)
 \, Jedidiah McClurg (Colorado School of Mines)\, Philipp Ruemmer (Uppsala 
 University)\n\nMore information
LOCATION:BC 420 https://plan.epfl.ch/?room==BC%20420
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR