O artigo “P4 Switch Code Data Flow Analysis: Towards Stronger Verification of Forwarding Plane Software”, que conta com a participação do Prof. Breno França recebe prêmio de melhor artigo no IEEE/IFIP Network Operations and Management Symposium.
Este é um trabalho em colaboração com a Universidade Federal do Rio Grande do Sul com contribuições na área de Redes de Computadores e Engenharia de Software. Foram 241 submetidos artigos e 72 os aceitos. Parabéns professor!