publicações selecionadas
-
artigo académico
- Programming languages ranking based on energy measurements. Software Quality Journal. 2024
- Zipper-based embedding of strategic attribute grammars. Journal of Systems and Software. 2024
- A large-scale empirical study on mobile performance: energy, run-time and memory. Empirical Software Engineering. 2023
- Embracing modern C++ features: An empirical assessment on the KDE community. Journal of Software-Evolution and Process. 2023
- Características Demográficas e Profissionais dos Especialistas em Ginecologia-Obstetrícia Registados em Portugal: Necessidades, Recursos e Desafios. Acta Médica Portuguesa. 2022
- Ranking programming languages by energy efficiency. Computational Methods in Applied Sciences. 2021
- Ranking Programming Languages by Energy Efficiency. Computational Methods in Applied Sciences. 2019
- Uma Abordagem para a Geração de Casos de Teste Baseada em Modelos. Sistemas e Tecnologias de Informação (CISTI 2013). 2013
-
artigo de conferência
- Large Language Models in Automated Repair of Haskell Type Errors 2024
- GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models for Code Repair 2023
- PyAnaDroid: A fully-customizable execution pipeline for benchmarking Android Applications 2023
- Framing program repair as code completion 2022
- E-MANAFA: Energy Monitoring and ANAlysis tool For Android 2022
- WebAssembly versus JavaScript: Energy and Runtime Performance 2022
- Bringing Green Software to Computer Science Curriculum: Perspectives from Researchers and Educators 2021
- Energy wars - Chrome vs. Firefox: Which browser is more energy efficient? 2021
- Identification of microservices from monolithic applications through topic modelling 2021
- On Understanding Contextual Changes of Failures 2021
- On the Runtime and Energy Performance of WebAssembly: Is WebAssembly superior to JavaScript yet? 2021
- E-Debitum: managing software energy debt 2020
- Energy refactorings for Android in the large and in the wild 2020
- Expressing Disambiguation Filters as Combinators 2020
- Greenspecting Android virtual keyboards 2020
- On energy debt: managing consumption on evolving software 2020
- Java Stream Fusion: Adapting FP mechanisms for an OO setting 2019
- Get your spreadsheets under (version) control 2019
- GreenSource: A large-scale collection of android code, tests and energy metrics. IEEE International Working Conference on Mining Software Repositories. 2019
- Towards using memoization for saving energy in android 2019
- Functional Going Green: An Empirical Evaluation of Functional Languages Performance 2018
- Energyware analysis. CEUR Workshop Proceedings. 2018
- jStanley: placing a green thumb on Java collections. IEEE/ACM International Conference on Automated Software Engineering. 2018
- Static Energy Consumption Analysis in Variability Systems 2017
- An economic energy approach for queries on data centers. ICEE International Conference on Energy & Environment. 2017
- Energy consumption measurement of C/C++ programs using clang tooling. CEUR Workshop Proceedings. 2017
- Energy efficiency across programming languages: How do energy, time, and memory relate? 2017
- Helping programmers improve the energy efficiency of source code. Proceedings of the IEEE-ACM International Conference on Software Engineering Companion. 2017
- Products go green:Worst-case energy consumption in so-ware product lines 2017
- Systematic spreadsheet construction processes. Symposium on Visual Languages and Human Centric Computing VL/HCC. 2017
- Towards a Green Ranking for Programming Languages 2017
- Towards systematic spreadsheet construction processes. Proceedings of the IEEE-ACM International Conference on Software Engineering Companion. 2017
- GreenDroid: A tool for analysing power consumption in the android ecosystem 2016
- Parsing and reflective printing, bidirectionally 2016
- The influence of the Java collection framework on overall energy consumption. Proceedings - International Conference on Software Engineering. 2016
- User-friendly spreadsheet querying: An empirical study 2016
- BiYacc: Roll your parser and reflective printer into one. CEUR Workshop Proceedings. 2015
- Defining energy consumption plans for data querying processes 2015
- Energy consumption categorization in data warehouses populating systems,Categorização do consumo de energia em sistemas de povoamento de data warehouses 2015
- Establishing Energy Consumption Plans for Green Star-Queries in Data Warehousing Systems 2015
- Towards a Catalog of Usability Smells 2015
- Towards a genome-scale metabolic model of the Streptococcus pneumoniae R6 avirulent strain 2015
- Towards the design and implementation of aspect-oriented programming for spreadsheets. CEUR Workshop Proceedings. 2015
- Watch Out for that Tree! A Tutorial on Shortcut Deforestation. Computational Methods in Applied Sciences. 2015
- MDSheet - Model-Driven Spreadsheets. CEUR Workshop Proceedings. 2014
- Definição de planos de consumo energético para Queries em sistemas de bases de dados 2014
- ES-SQL: Visually querying spreadsheets. Symposium on Visual Languages and Human Centric Computing VL/HCC. 2014
- Embedding model-driven spreadsheet queries in spreadsheet systems. Symposium on Visual Languages and Human Centric Computing VL/HCC. 2014
- FaultySheet detective: When smells meet fault localization. Proceedings-IEEE International Conference on Software Maintenance. 2014
- Generating attribute grammar-based bidirectional transformations from rewrite rules 2014
- Refactoring meets model-driven spreadsheet evolution 2014
- Smelling faults in spreadsheets. Proceedings-IEEE International Conference on Software Maintenance. 2014
- QuerySheet: A bidirectional query environment for model-driven spreadsheets. Symposium on Visual Languages and Human Centric Computing VL/HCC. 2013
- Querying model-driven spreadsheets. Symposium on Visual Languages and Human Centric Computing VL/HCC. 2013
- Uma abordagem para a geração de casos de teste baseada em modelos. Iberian Conference on Information Systems and Technologies (CISTI). 2013
- A Purely Functional Combinator Language for Software Quality Assessment 2012
- A bidirectional model-driven spreadsheet environment. Proceedings - International Conference on Software Engineering. 2012
- A quality model for spreadsheets 2012
- Extension and implementation of ClassSheet models. Symposium on Visual Languages and Human Centric Computing VL/HCC. 2012
- From relational ClassSheets to UML+OCL 2012
- MDSheet: A framework for model-driven spreadsheet engineering. Proceedings - International Conference on Software Engineering. 2012
- SmellSheet detective: A tool for detecting bad smells in spreadsheets. Symposium on Visual Languages and Human Centric Computing VL/HCC. 2012
- Towards an evaluation of bidirectional model-driven spreadsheets 2012
- Embedding and evolution of spreadsheet models in spreadsheet systems. Symposium on Visual Languages and Human Centric Computing VL/HCC. 2011
- Strictification of circular programs 2011
- A domain-specific aspect language for transforming MATLAB programs 2010
- Automatically inferring classsheet models from spreadsheets. Symposium on Visual Languages and Human Centric Computing VL/HCC. 2010
- The GUISurfer Tool: Towards a Language Independent Approach to Reverse Engineering GUI Code 2010
- Discovery-based edit assistance for spreadsheets. Symposium on Visual Languages and Human Centric Computing VL/HCC. 2009
- From spreadsheets to relational databases and back 2009
- Shortcut fusion rules for the derivation of circular and higher-order monadic programs. Higher-Order and Symbolic Computation. 2009
- A shortcut fusion rule for circular program calculation 2007
- Combining formal methods and functional strategies regarding the reverse engineering of interactive applications. Computational Methods in Applied Sciences. 2007
- Tools and libraries to model and manipulate circular programs 2007
- Engenharia reversa de sistemas interactivos desenvolvidos em Java2/Swing 2006
- Component-based programming for higher-order attribute grammars. Computational Methods in Applied Sciences. 2002
- Deriving animations from recursive definitions 2002
-
artigo de revista
- Statically Analyzing the Energy Efficiency of Software Product Lines. Journal of Low Power Electronics and Applications. 2021
- A Narrative Review of Motor Competence in Children and Adolescents: What We Know and What We Need to Find Out. Healthcare. 2020
- SPELLing out energy leaks: Aiding developers locate energy inefficient code. Journal of Systems and Software. 2020
- Understanding the impact of introducing Lambda expressions in Java Programs 2020
- Unifying Parsing and Reflective Printing for Fully Disambiguated Grammars. New Generation Computing. 2020
- iDS372, a Phenotypically Reconciled Model for the Metabolism of Streptococcus pneumoniae Strain R6. Antibiotics. 2019
- Memoized zipper-based attribute grammars and their higher order extension. Computational Methods in Applied Sciences. 2019
- GreenSoftwareLab: towards an engineering discipline for green software. Impact. 2018
- Towards energy-aware coding practices for Android 2018
- Embedding attribute grammars and their extensions using functional zippers. Computational Methods in Applied Sciences. 2016
- Evaluating refactorings for spreadsheet models. Journal of Systems and Software. 2016
- Model inference for spreadsheets. Automated Software Engineering. 2016
- Multiple intermediate structure deforestation by shortcut fusion. Computational Methods in Applied Sciences. 2016
- Embedding, evolution, and validation of model-driven spreadsheets. IEEE Transactions on Software Engineering. 2015
- Model-based programming environments for spreadsheets. Computational Methods in Applied Sciences. 2014
- Shortcut fusion rules for the derivation of circular and higher-order programs. Higher-Order and Symbolic Computation. 2011
- GUI Inspection from Source Code Analysis. Electronic Communications of the EASST. 2010
- Disentangling denotational semantics specifications. Journal of Universal Computer Science. 2008
- Models for the reverse engineering of Java/Swing applications 2006
-
capítulo de livro
- Tabulation with Zippers 2024
- Energy Efficiency of Python Machine Learning Frameworks 2023
- Energy Efficient Software in an Engineering Course 2023
- Paint Your Programs Green: On the Energy Efficiency of Data Structures 2023
- Zipping Strategies and Attribute Grammars 2022
- Patterns and Energy Consumption: Design, Implementation, Studies, and Stories 2021
- InDubio: A Combinator Library to Disambiguate Ambiguous Grammars. Computational Methods in Applied Sciences. 2020
- GUIsurfer : a reverse engineering framework for user interface software 2012
-
documento
- Ranking programming languages by energy efficiency. Computational Methods in Applied Sciences. 2020
- Proceedings of the 6th International Workshop on Green and Sustainable Software, GREENS@ICSE 2018, Gothenburg, Sweden, May 27, 2018 2018
- GreenSoftwareLab: Towards an Engineering Discipline for Green Software 2017
- An economic energy approach for queries on data centers 2017
- Grand Timely Topics in Software Engineering - International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures 2017
- Preface. Computational Methods in Applied Sciences. 2017
- Querying Spreadsheets: An Empirical Study 2015
- Towards a Genome-Scale Metabolic Model of the Streptococcus Pneumoniae R6 Avirulent Strain 2015
- An Empirical Study on End-users Productivity Using Model-based Spreadsheets 2011
-
livro
- Memoized zipper-based attribute grammars 2016
- Towards an automated classification of spreadsheets 2016
- Design and implementation of queries for model-driven spreadsheets 2015
- Spreadsheet engineering 2015
- Zipper-based modular and deforested computations 2015
- A web portal for the certification of open source software 2014
- An Approach for Graphical User Interface External Bad Smells Detection 2014
- Detecting anomalous energy consumption in android applications 2014
- Graphical querying of model-driven spreadsheets 2014
- A framework for modular and customizable software analysis 2013
- Complexity metrics for classsheet models 2013
- Multiple intermediate structure deforestation by shortcut fusion 2013
- Zipper-based attribute grammars and their extensions 2013
- Bidirectional transformation of model-driven spreadsheets 2012
- Model-based programming environments for spreadsheets 2012
- Towards a catalog of spreadsheet smells 2012
- End-users productivity in model-based spreadsheets: An empirical study 2011
- Generative and Transformational Techniques in Software Engineering III 2011
- Type-safe evolution of spreadsheets 2011