The conference was held completely in remote format, with a huge organization effort by the people from Coimbra that resulted in pleasant experience. The presentation followed a “flipped conference” model: attendees watched pre-recorded presentations before the conference and then had some time to ask questions to authors during the live event.
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).
Submissions to the XXI edition of the Fault Tolerance Workshop (WTF 2020) are open, and the deadline has been extended until Friday April 17th. This year, the event is being chaired by Prof. Leonardo from our research group.
The paper is part of the work carried out by Elder Rodrigues Jr. during his Master’s project, which focuses on simplifying the management and verification of coding conventions, using model-driven engineering techniques.
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.
Lucas Leal, currently PhD student at LASER, just came back from Milwaukee, Wisconsin, USA, where he presented a paper at the IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC 2019).
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.