The article “P4 Switch Code Data Flow Analysis: Towards Stronger Verification of Forwarding Plane Software”, with the participation of Prof. Breno França receives best article award at the IEEE / IFIP Network Operations and Management Symposium.
This is a work in collaboration with the Federal University of Rio Grande do Sul with contributions in the area of Computer Networks and Software Engineering. 241 articles were submitted and 72 were accepted. Congratulations teacher!