Laboratory for Software Engineering and Reliability
LASER (Laboratory for Software Engineering and Reliability) is a research lab of the Institute of Computing at UNICAMP. Involving both theoretical and applied research, the LASER is interested in topics having a high impact on the Software and Systems Engineering research communities, as well as their application and transference to Industry.
Areas of Interest Software Architecture and Microservices Continuous Software Engineering (Agile, DevOps, and Lean) Experimental Software Engineering Model-Driven Engineering (MDA/MDE) Software Testing (Performance, Robustness, and Security) Performance and Dependability Evaluation Fault-tolerant/Resilient Systems
Here, we have a presentation about lab activities (Portuguese only).
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.
We are glad to announce the most complete book on Empirical Software Engineering has been recently launched in printed and electronic formats.
So far, it has received very positive feedback on the book from the software engineering community. And, it will be presented in this year’s International Software Engineering Research Network (ISERN) meeting.
The book includes several chapters on topics like design science, research synthesis, open science, experiments, and gray literature. These are contributions of international researchers dedicated to investigating how to improve research in software engineering.
Breno (LASER member) contributes with a chapter on the role of simulation-based studies in software engineering research, in collaboration with Nauman Bin Ali from the Blekinge Institute of Technology (Sweden).
Some days ago we celebrated the Master’s defense of Elder Rodrigues Jr., under the supervision of Prof. Leonardo. During his Master’s, Elder worked on a methodology and framework to manage coding conventions as structured models, and to automatically derive checkers by model transformation.
The defense was in remote format, due to the pandemic. Despite that, it originated a rich and interesting discussion with the members of the committee. The methodology proposed in his dissertation also generated two international publications, which confirm the quality of the work. Congratulations!
We are happy to announce the Steering Committee of the Special Commission on Software Engineering (CG-CEES) of the Brazilian Computing Society (SBC) awarded Prof. Cecília as the Honored Researcher in 2020! The award will be delivered during the CBSoft in October 2020.
This award represents all relevant contributions for Software Engineering research in Brazil and internationally, as well as all the supervisions that led to new researchers in the field. The last three researchers awarded as Honored Researcher are responsible for selecting the current one. To see all the past honored researchers follow this link: http://comissoes.sbc.org.br/ce-es/homenageados.php?lang=pt-br
Finally, Prof. Cecília Rubira is selected as one of the Keynote Speakers in SBES 2021! Also, a great honor.
Congratulations, Prof. Cecília! A pleasure and honor to have you as a member of LASER!
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.