BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:P4Debug: A Framework for Debugging Programmable Data Planes - Piet
 ro Bressana
DTSTART:20180320T131500Z
DTEND:20180320T134500Z
UID:TALK102970@talks.cam.ac.uk
CONTACT:Gemma Gordon
DESCRIPTION:In-network computing is an emerging trend that enables the exe
 cution of programs in the data-plane\, thanks to the introduction of progr
 ammable networked devices.\n\nAlthough cloud service providers\, such as A
 mazon\, Microsoft and Google\, are increasingly deploying such programmabl
 e hardware in their infrastructures\, we still need an infrastructure for 
 verifying deployed programs and for debugging them in real time. Previous 
 approaches for debugging programmable network hardware suffer from a numbe
 r of limitations: formal verification tools are not able to detect bugs af
 fecting formally correct programs once they are deployed in the network\, 
 while external debuggers only allow passive debugging in response to exter
 nally generated packets and cannot verify packets at line rate in real tim
 e.\n\nTo address these challenges\, we propose a new debugging infrastruct
 ure that leverages recent advances in network programmability and hardware
  design\, by providing unprecedented visibility into the internal state an
 d operations of network devices. Our debugging framework\, named P4Debug\,
  includes three major components: (i) an extension to the target architect
 ure to allow for packet generation for active debugging\, (ii) a debug mod
 ule that is parallel to the packet-processing pipeline\, and (iii) debug-s
 pecific language extensions to P4.\n
LOCATION:Computer Laboratory\, William Gates Building\, Room FW11
END:VEVENT
END:VCALENDAR