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).

We are happy to inform you! CBSoft 2020

This year, LASER members have four papers accepted in CBSoft 2020!

CBSoft is the greatest Brazilian conference on software engineering and will be entirely virtual this year due to the coronavirus pandemic.

Accepted works focus on three areas of interest in the laboratory: software architecture, continuous software engineering, and adaptive systems.

SBCARS 2020:

  • Jorge Luiz Machado da Silva, Breno de França, Cecilia Rubira. Generating Trustworthiness Adaptation Plans Based on Quality Models for Cloud Platforms
  • Daniel Apolinário, Breno de França. Towards a method for monitoring the coupling evolution of microservice-based architectures

SBES 2020 – Innovative Ideas and Emerging Results:

  • Jorge Luiz Machado da Silva, Breno de França, Cecilia Rubira. Generating Adaptation Plans Based on QualityModels for Cloud Platforms

SBES 2020 – Tools:

  • Gabriel Augusto Destro, Breno de França. Mining Software Repositories for the Characterization of Continuous Integration and Delivery

Congratulations for the authors!

Master’s Defense – Elder

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!

Prof. Cecília Rubira awarded as Honored Researcher in 2020

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!

Best Paper at NOMS 2020

A paper by Breno received the Best Paper Award at the IEEE/IFIP Network Operations and Management Symposium (NOMS 2020), a well-known International event in the computer networks area.

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).

Continue reading Best Paper at NOMS 2020

LASER at PRDC 2019

The 24th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2019) was happening last week in the evocative city of Kyoto, Japan. The LASER group participated with the paper Towards a Structured Specification of Coding Conventions, presented by Leonardo in the “Software II” session.

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.

Continue reading LASER at PRDC 2019

LADC 2019 and ADVANCE Meeting in Natal

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.

Continue reading LADC 2019 and ADVANCE Meeting in Natal

Visit of Regina Moraes

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.

Keynote by Breno at MSSiS-CBSoft 2019

Breno is keynote speaker at the Workshop on Modeling and Simulation of Software-Intensive Systems (MSSiS), one of the workshops of the 10th edition of The Brazilian Conference on Software: Theory and Practice (CBSoft 2019).

In his talk, he will discuss the role of simulation in software engineering research, and compile the existing processes and guidelines into a comprehensive life cycle.