Abstract

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).