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