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.
January is time for an update from our researchers in Florence. Three researchers from the LASER group are at the moment visiting the Resilient Computing Lab (RCL) at the University of Florence, Italy, as part of the ADVANCE project.
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.
In October we received the visit of Prof. Regina Moraes, who spent a month with us working on the ADVANCE project. Regina worked for a long time at the Faculty of Technology of UNICAMP, in Limeira, but she is currently a Visiting Professor at the University of Coimbra, Portugal.
Her expertise revolves around different aspects of dependability and fault tolerance, under a software engineering perspective. Currently, she is working on privacy aspects in large-scale cloud infrastructures, also due to the activities she is carrying out in the ATMOSPHERE project.
A delegation of students from the Institute of Computing (IC) has just come back from a research visit to DiDi Chuxing in Beijing, China. DiDi is a Chinese company offering app-based transportation services, and it has recently aquired the Brazilian company behind 99 (formerly 99 Taxi).
Six students from IC-UNICAMP and six from Poli-USP were invited to spend some days at the DiDi premises in Beijing. Visiting students were involved in workshops, a hackathon, and other activities revolving around the topic of intelligent transportation. The delegation from IC-UNICAMP was led by Prof. Breno de França, head of the LASER research group, and included the participation of Sheila Venero, PhD student from our group.
In July we received the visit of Dr. Andrea Ceccarelli, from the University of Florence, Italy. Andrea was visiting UNICAMP for three weeks, as part of the ADVANCE project. His main research interests are the design, monitoring and experimental evaluation of critical and secure systems and systems of systems.