A paper by Breno received the Best Paper Award at the IEEE/IFIP Network Operations and Management Symposium (NOMS 2020), a well-known International event in the computer networks area.
The paper, entitled P4 Switch Code Data Flow Analysis: Towards Stronger Verification of Forwarding Plane Software, originated from a collaboration between LASER and the Computer Networks research group of the Federal University of Rio Grande do Sul (UFRGS).
The paper is the result of the Master’s project of Karine, co-supervised by Weverton Cordeiro at UFRGS and by Breno de França at UNICAMP. In the work, they apply software engineering techniques for the verification of networking code written in the P4 language, a language to program devices in software defined networks.
