Debugging and Repairing P4 Programs

Add to your list(s) Download to your calendar using vCal

• Costin Raiciu (University Politehnica of Bucharest)
• Wednesday 20 March 2019, 15:00-16:00
• FW26, Computer Laboratory, William Gates Building.

If you have a question about this talk, please contact Marco Caballero.

Abstract: P4 programs exhibit many types of bugs which can lead to incorrect packet processing or potentially malicious exploitation. In this talk I will discuss work on automatically discovering such bugs with 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 af4, our ongoing work. The two tools take different approaches to solving the same problem, each finding numerous bugs in existing P4 programs. af4 can also automatically repair certain types of bugs.

Bio: Costin Raiciu is Associate Professor at University Politehnica of Bucharest where he leads the Netsys group. Costin finished his PhD at UCL in 2011. His current research focus is on network verification. In his past work, Costin was one of the main people behind the development, implementation and standardization 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).

This talk is part of the Computer Laboratory Systems Research Group Seminar series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• CL's SRG seminar
• Cambridge Centre for Data-Driven Discovery (C2D3)
• Cambridge talks
• Chris Davis' list
• Computer Laboratory Systems Research Group Seminar
• Department of Computer Science and Technology talks and seminars
• FW26, Computer Laboratory, William Gates Building
• Interested Talks
• School of Technology
• Trust & Technology Initiative - interesting events
• bld31
• ndk22's list
• ob366-ai4er
• rp587

Note that ex-directory lists are not shown.