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).
November has been an intense month in Natal, RN, as it hosted different events related to the computer systems community.
On days November 19th-21st, Natal hosted the 9th Latin-American Symposium on Dependable Computing (LADC 2019), the major event on systems dependability in the Central and South America regions. This year, LADC was co-located with the Brazilian Symposium on Computing Systems Engineering (SBESC). LADC 2019 saw a strong participation of researchers from LASER, starting from the Program Committee, chaired by Leonardo together with Luciana Arantes from Sorbonne University.
A paper co-authored by LASER researchers received the Best Paper Award at the XX Brazilian Workshop on Testing and Fault Tolerance (Workshop de Testes e Tolerância a Falhas, WTF 2019), co-located with SBRC 2019, the annual Brazilian Symposium on Computer Networks and Distributed Systems, in the beautiful city of Gramado, RS.
On Thursday, Breno presented the paper The RoCS Framework to Support the Development of Autonomous Robots, in which we investigated the need for software architectures and development frameworks in the robotics domain, in a joint work with the Laboratory of Robotics and Cognitive Systems (LaRoCS). We are also happy to mention that this paper was best paper candidate for the Software Engineering Track (SET), and it finally placed 3rd.