BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Debugging and Repairing P4 Programs - Costin Raiciu (University Po
 litehnica of Bucharest)
DTSTART:20190320T150000Z
DTEND:20190320T160000Z
UID:TALK120634@talks.cam.ac.uk
CONTACT:Marco Caballero
DESCRIPTION:Abstract: \nP4 programs exhibit many types of bugs which can l
 ead to incorrect packet processing or potentially malicious exploitation. 
 In this talk I will discuss work on automatically discovering such bugs wi
 th as little user input as possible. In the talk\, I shall be covering two
  tools we have developed to solve this problem: Vera (Sigcomm 2018) and af
 4\, our ongoing work. The two tools take different approaches to solving t
 he same problem\, each finding numerous bugs in existing P4 programs. af4 
 can also automatically repair certain types of bugs. \n\nBio: \nCostin Rai
 ciu is Associate Professor at University Politehnica of Bucharest where he
  leads the Netsys group. Costin finished his PhD at UCL in 2011. His curre
 nt research focus is on network verification. In his past work\, Costin wa
 s one of the main people behind the development\, implementation and stand
 ardization of Multipath TCP\, a protocol that is now deployed by Apple and
  Samsung on their mobile devices. Recently\, Costin worked on NDP\, which 
 is a radical redesign of the datacenter networking stack (Sigcomm 2017).  
            
LOCATION:FW26\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR