University of Cambridge > Talks.cam > Computer Laboratory Systems Research Group Seminar > Debugging and Repairing P4 Programs

Debugging and Repairing P4 Programs

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

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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2020 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity