Rui Alexandre Pereira

I am a a Computer Science Postdoc working on reducing, analyzing, and optimizing the energy consumption levels for software, by using source code analysis and manipulation techniques. I was also awarded an FCT grant for my PhD research. I am one of the founding members of the Green Software for Space Control Mission (GreenSSCM) project, the Software Repositories for Green Computing FLAD/NSF project, and the Green Software Lab: Green Computing as an Engineering Discipline (GSL) project.

I concluded my PhD at the University of Minho, under the MAP-i doctoral programme with the thesis titled "Energyware Engineering: Techniques and Tools for Green Software Development" under the Green Software Lab (GSL) project . I received my MSc degree in Informatics Engineering in 2013, with my thesis "Querying for Model-Driven Spreadsheets" under the SpreadSheets as a Programming Paradigm (SSaaPP) project.

Currently, my research interests focus on green computing, human-computer interaction, and source code analysis and manipulation.

Domains

High-Assurance Software

Projects

SAFER

The SAFER project aimed to develop techniques and tools for ensuring the quality of robotic software developed with ROS. To facilitate the integration and adoption by the robotics community, the project focused on developing techniques that worked directly from source code and supported by automated verification tools. The main deliverable of the project was the HAROS tool for static analysis of ROS software.

Publications

ICT4S2022 - Demonstrations and Posters Track Proceedings

Pereira, R;Rakic, G;

2022

CoRR

Paint Your Programs Green: On the Energy Efficiency of Data Structures

Pereira, R;Couto, M;Cunha, J;Melfe, G;Saraiva, J;Fernandes, JP;

2023

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

CI/CD Meets Block-Based Languages

da Giao, H;Pereira, R;Cunha, J;

2023

2023 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING, VL/HCC

Energy Efficient Software in an Engineering Course

Saraiva, J;Pereira, R;

2023

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

View all publications

Supervised theses

Software Development of Deep Neural Networks Methods applied to Face-based Emotion Recognition and Pain Detection

Diogo Henrique Vieira Andrade

M - 2024

UP-FEUP

Centres

High-Assurance Software

At the High-Assurance Software Laboratory (HASLab), we improve practice through theory, creating and implementing software that goes beyond mere functionality: we ensure it is correct, resilient, and secure against failures and attacks. Our team of researchers, scientists, and engineers has proven expertise in software engineering, developing methods and tools to design and integrate robust software; in distributed systems, exploring distribution and replication to ensure scalability and reliability; and in information security, addressing cybersecurity challenges and improving systems with advanced, secure cryptographic protocols, thus minimising vulnerabilities. With a multidisciplinary approach supported by solid theoretical principles, we develop innovative solutions for critical software, secure cloud infrastructures, and privacy-aware big data management, driving scientific advancement, innovation, and high-level consultancy. In addition, we complement our core expertise with work in human-computer interaction, programming languages, computational mathematics, and quantum computing - because we believe the future of trustworthy software is built on knowledge and innovation.