João Paulo Fernandes

CoRR, 2023

Ebserver: Automating Resource-Usage Data Collection of Android Applications.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE/ACM International Conference on Mobile Software Engineering and Systems, 2023

On Security and Energy Efficiency in Android Smartphones.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE/ACM International Conference on Mobile Software Engineering and Systems, 2023

On Computation Offloading and Energy Efficiency on Android Devices.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Communications, 2023

Analyzing the Resource Usage Overhead of Mobile App Development Frameworks.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Evaluation and Assessment in Software Engineering, 2023

2022

An Empirical Study on the Use of Quantum Computing for Financial Portfolio Optimization.

[BibT_eX]

[DOI]

SN Comput. Sci., 2022

SusTrainable: Promoting Sustainability as a Fundamental Driver in Software Development Training and Education. Teacher Training, November 1-5, Nijmegen, The Netherlands. Revised lecture notes.

[BibT_eX]

[DOI]

Pieter W. M. Koopman

Mart Lubbers

CoRR, 2022

On the Democratization of Machine Learning Pipelines.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium Series on Computational Intelligence, 2022

Asserting the correctness of Shor implementations using metamorphic testing.

[BibT_eX]

[DOI]

Nuno Costa

Rui Abreu

Proceedings of the 1st International Workshop on Quantum Programming for Software Engineering, 2022

HERB+: Evolving an Industrial-Strength Privacy-Preserving Machine Learning Framework.

[BibT_eX]

[DOI]

Qianying Liao

Alexandre Cortez Santos

Bruno Cabral

Nuno Lourenço

Proceedings of the 27th IEEE Pacific Rim International Symposium on Dependable Computing, 2022

Herb: Privacy-preserving Random Forest with Partially Homomorphic Encryption.

[BibT_eX]

[DOI]

Proceedings of the International Joint Conference on Neural Networks, 2022

Metamorphic Testing of Oracle Quantum Programs.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE/ACM International Workshop on Quantum Software Engineering, 2022

Quantum Software Frameworks for Deep Learning.

[BibT_eX]

[DOI]

Filipa Ramos Ferreira

Rui Abreu

Proceedings of the Quantum Software Engineering, 2022

2021

Ranking programming languages by energy efficiency.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2021

GreenHub: a large-scale collaborative dataset to battery consumption analysis of android devices.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2021

Improving energy-efficiency by recommending Java collections.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2021

Green Software Lab: Towards an Engineering Discipline for Green Software.

[BibT_eX]

[DOI]

CoRR, 2021

When Two are Better Than One: Synthesizing Heavily Unbalanced Data.

[BibT_eX]

[DOI]

IEEE Access, 2021

Small Changes, Big Impacts: Leveraging Diversity to Improve Energy Efficiency.

[BibT_eX]

[DOI]

Proceedings of the Software Sustainability, 2021

Patterns and Energy Consumption: Design, Implementation, Studies, and Stories.

[BibT_eX]

[DOI]

Proceedings of the Software Sustainability, 2021

2020

SPELLing out energy leaks: Aiding developers locate energy inefficient code.

[BibT_eX]

[DOI]

J. Syst. Softw., 2020

Small Changes, Big Impacts: Leveraging Diversity to Improve Energy Efficiency.

[BibT_eX]

[DOI]

CoRR, 2020

Energy Refactorings for Android in the Large and in the Wild.

[BibT_eX]

[DOI]

Marco Couto

Proceedings of the 27th IEEE International Conference on Software Analysis, 2020

On Understanding Data Scientists.

[BibT_eX]

[DOI]

Paula Pereira

Jácome Cunha

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2020

Achieving Scalability in Project Based Learning through a Low-Code platform.

[BibT_eX]

[DOI]

Ricardo Araújo

Mário Zenha Rela

Proceedings of the 34th Brazilian Symposium on Software Engineering, 2020

Off-the-shelf Components for Quantum Programming and Testing.

[BibT_eX]

[DOI]

Proceedings of the Short Papers Proceedings of the 1st International Workshop on Software Engineering & Technology (Q-SET'20) co-located with IEEE International Conference on Quantum Computing and Engineering (IEEE Quantum Week 2020), 2020

PACE: A DSL-based Approach to Manage Complex Build Pipelines.

[BibT_eX]

[DOI]

Proceedings of the 46th Euromicro Conference on Software Engineering and Advanced Applications, 2020

2019

Memoized zipper-based attribute grammars and their higher order extension.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2019

On Haskell and energy efficiency.

[BibT_eX]

[DOI]

Luis Gabriel Lima

Francisco Soares-Neto

J. Syst. Softw., 2019

GreenHub farmer: real-world data for Android energy mining.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Mining Software Repositories, 2019

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

[BibT_eX]

[DOI]

Proceedings of the Composability, Comprehensibility and Correctness of Working Software, 2019

An Empirical Study on the Energy Efficiency of Matrix Transposition Algorithms.

[BibT_eX]

[DOI]

Gonçalo Lopes

Luís Paquete

Proceedings of the Composability, Comprehensibility and Correctness of Working Software, 2019

2018

Evaluation of the impact on energy consumption of lazy versus strict evaluation of Haskell data-structures.

[BibT_eX]

[DOI]

Gilberto Melfe

Alcides Fonseca

Proceedings of the XXII Brazilian Symposium on Programming Languages, 2018

Helping developers write energy efficient Haskell through a data-structure evaluation.

[BibT_eX]

[DOI]

Gilberto Melfe

Alcides Fonseca

Proceedings of the 6th International Workshop on Green and Sustainable Software, 2018

2017

Products go Green: Worst-Case Energy Consumption in Software Product Lines.

[BibT_eX]

[DOI]

Proceedings of the 21st International Systems and Software Product Line Conference, 2017

Energy efficiency across programming languages: how do energy, time, and memory relate?

[BibT_eX]

[DOI]

Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, 2017

Helping programmers improve the energy efficiency of source code.

[BibT_eX]

[DOI]

Proceedings of the 39th International Conference on Software Engineering, 2017

2016

Multiple intermediate structure deforestation by shortcut fusion.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2016

Embedding attribute grammars and their extensions using functional zippers.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2016

Evaluating refactorings for spreadsheet models.

[BibT_eX]

[DOI]

J. Syst. Softw., 2016

Haskell in Green Land: Analyzing the Energy Behavior of a Purely Functional Language.

[BibT_eX]

[DOI]

Luis Gabriel Lima

Francisco Soares-Neto

Proceedings of the IEEE 23rd International Conference on Software Analysis, 2016

Memoized Zipper-Based Attribute Grammars.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages - 20th Brazilian Symposium, 2016

User-friendly spreadsheet querying: an empirical study.

[BibT_eX]

[DOI]

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

The influence of the Java collection framework on overall energy consumption.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Green and Sustainable Software, 2016

2015

Embedding, Evolution, and Validation of Model-Driven Spreadsheets.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2015

Querying Spreadsheets: An Empirical Study.

[BibT_eX]

[DOI]

CoRR, 2015

Watch Out for that Tree! A Tutorial on Shortcut Deforestation.

[BibT_eX]

[DOI]

Proceedings of the Central European Functional Programming School - 6th Summer School, 2015

2014

ES-SQL: Visually querying spreadsheets.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2014

Embedding model-driven spreadsheet queries in spreadsheet systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2014

Detecting Anomalous Energy Consumption in Android Applications.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages - 18th Brazilian Symposium, 2014

Refactoring Meets Model-Driven Spreadsheet Evolution.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on the Quality of Information and Communications Technology, 2014

Generating attribute grammar-based bidirectional transformations from rewrite rules.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, 2014

FaultySheet Detective: When Smells Meet Fault Localization.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29, 2014

Smelling Faults in Spreadsheets.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29, 2014

Graphical Querying of Model-Driven Spreadsheets.

[BibT_eX]

[DOI]

Proceedings of the Human Interface and the Management of Information. Information and Knowledge Design and Evaluation, 2014

2013

Querying model-driven spreadsheets.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE Symposium on Visual Languages and Human Centric Computing, 2013

QuerySheet: A bidirectional query environment for model-driven spreadsheets.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE Symposium on Visual Languages and Human Centric Computing, 2013

Zipper-Based Attribute Grammars and Their Extensions.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages - 17th Brazilian Symposium, 2013

A Framework for Modular and Customizable Software Analysis.

[BibT_eX]

[DOI]

Proceedings of the Computational Science and Its Applications - ICCSA 2013, 2013

Complexity Metrics for ClassSheet Models.

[BibT_eX]

[DOI]

Proceedings of the Computational Science and Its Applications - ICCSA 2013, 2013

Spreadsheet Engineering.

[BibT_eX]

[DOI]

Proceedings of the Central European Functional Programming School - 5th Summer School, 2013

Design and Implementation of Queries for Model-Driven Spreadsheets.

[BibT_eX]

[DOI]

Proceedings of the Central European Functional Programming School - 5th Summer School, 2013

Zipper-Based Modular and Deforested Computations.

[BibT_eX]

[DOI]

Proceedings of the Central European Functional Programming School - 5th Summer School, 2013

2012

Extension and implementation of ClassSheet models.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE Symposium on Visual Languages and Human-Centric Computing, 2012

SmellSheet detective: A tool for detecting bad smells in spreadsheets.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE Symposium on Visual Languages and Human-Centric Computing, 2012

A Purely Functional Combinator Language for Software Quality Assessment.

[BibT_eX]

[DOI]

Proceedings of the 1st Symposium on Languages, Applications and Technologies, 2012

A Web Portal for the Certification of Open Source Software.

[BibT_eX]

[DOI]

Proceedings of the Information Technology and Open Source: Applications for Education, Innovation, and Sustainability, 2012

From relational ClassSheets to UML+OCL.

[BibT_eX]

[DOI]

Jácome Cunha

Proceedings of the ACM Symposium on Applied Computing, 2012

A Quality Model for Spreadsheets.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on the Quality of Information and Communications Technology, 2012

Towards an evaluation of bidirectional model-driven spreadsheets.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on User Evaluation for Software Engineering Researchers, 2012

A bidirectional model-driven spreadsheet environment.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Software Engineering, 2012

MDSheet: A framework for model-driven spreadsheet engineering.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Software Engineering, 2012

Bidirectional Transformation of Model-Driven Spreadsheets.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Model Transformations, 2012

Program and Aspect Metrics for MATLAB.

[BibT_eX]

[DOI]

Proceedings of the Computational Science and Its Applications - ICCSA 2012, 2012

Towards a Catalog of Spreadsheet Smells.

[BibT_eX]

[DOI]

Proceedings of the Computational Science and Its Applications - ICCSA 2012, 2012

2011

Shortcut fusion rules for the derivation of circular and higher-order programs.

[BibT_eX]

[DOI]

High. Order Symb. Comput., 2011

An Empirical Study on End-users Productivity Using Model-based Spreadsheets

[BibT_eX]

[DOI]

CoRR, 2011

Embedding and evolution of spreadsheet models in spreadsheet systems.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE Symposium on Visual Languages and Human-Centric Computing, 2011

Strictification of circular programs.

[BibT_eX]

[DOI]

Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011

End-Users Productivity in Model-Based Spreadsheets: An Empirical Study.

[BibT_eX]

[DOI]

Proceedings of the End-User Development - Third International Symposium, 2011

2009

Shortcut fusion rules for the derivation of circular and higher-order monadic programs.

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2009

2007

Tools and libraries to model and manipulate circular programs.

[BibT_eX]

[DOI]

Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007

A shortcut fusion rule for circular program calculation.

[BibT_eX]

[DOI]