Research Member in funded projects
- SAFER - Safety Verification for Robotic Software
- DEV4ALL - Development for All - Towards a Society of Software Developers, co-financed by OutSystems
- Cloud Computing Competence Centre - Software Validation & Verification-as-a-Plugin
- Quantitative Program Analysis - FLAD/NSF 275/2016
- Software Repositories for Green Computing - FLAD/NSF 300/2015
- Green Software Lab - Green Computing as an Engineering Discipline
- Towards Variational Software, Types, and Spreadsheets Project - FLAD/NSF 233/2014
- Spreadsheet Models for the Real World - FCT/DADD 441.00
- GreenSSCM - Green Software for Space Control Mission
- AutoSeer - Automated Test Oracles for Software Error Detection
- SSaaPP - SpreadSheets as a Programming Paradigm
Research Collaborations
- Cloud Computing Competence Centre - Software Validation & Verification-as-a-Plugin
- Green Software Lab - Research group working on reduction energy consumption in software.
- GreenSource - A large-scale Android repository with source code, tests and energy metrics.
- GreenHub - A collaborative approach to power consumption analysis of Android Devices.
- GreenSoft - Community Supporting Research and Education in Energy-Efficient Software Design.
- No-code Spreadsheet - Software with the same potential as Excel but with the Simplicity of Powerpoint to allow easy to define data analysis through drag-and-drop (in development)
- GreenHub Notebooks - Jupyter Notebook pipeline for automatic data analysis of the GreenHub Initiative
- jStanley - Eclipse plugin to automatically change Java collections to energy efficient alternatives
- Energy-Languages - Programming language energy measurement framework
- SPELL - Spectrum-based Energy Leak Localization toolkit
- Collections-Energy Interactive Data Tables - Interactive data tables to choose energy efficient collections
- Collections-Energy-Benchmark - Java Collections energy measurement framework
- QuerySheet - query language and tool to query spreadsheets
