Algoritmi | User | João Paulo de Sousa Ferreira Fernandes

João Paulo de Sousa Ferreira Fernandes

João Paulo de Sousa Ferreira Fernandes

At LASI

Other with Dr Habil

Member of the LIACC R&D Unit

Academic Degree

Dr Habil

Current Position

at

Personal Webpage

Personal Email

jpaulo@fe.up.pt

Orcid

0000-0002-1952-9460

Researcher ID

FCT Public Key

Ciência ID

9C1F-E79B-6EED

Google Scholar

About Me



The Debt Trap: How Deferred Fixes Fuel Reliability Debt

IEEE Reliability Magazine

2025 | journal-article

A Roadmap for Integrating Sustainability into Software Engineering Education

ACM Transactions on Software Engineering and Methodology

2025 | journal-article

A Systematic Mapping Study on Quantum and Quantum-inspired Algorithms in Operations Research

ACM Computing Surveys

2025 | journal-article

The Forgotten Potential: Why Aspect-Oriented Programming Faded Away

Computer

2025 | journal-article

Trading Runtime for Energy Efficiency: Leveraging Power Caps to Save Energy across Programming Languages

2024 | conference-paper

Programming languages ranking based on energy measurements

Software Quality Journal

2024 | journal-article

Compiling Haskell for Energy Efficiency: Empirical Analysis of Individual Transformations

2024 | conference-paper

Sustainability in Computing Education: A Systematic Literature Review

ACM Transactions on Computing Education

2024 | journal-article

E-APK: Energy pattern detection in decompiled android applications

Journal of Computer Languages

2023 | journal-article

Analyzing the Resource Usage Overhead of Mobile App Development Frameworks

2023 | conference-paper

On Security and Energy Efficiency in Android Smartphones

MOBILESoft 2023

2023 | conference-paper

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

2023 | book-chapter

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

SN Computer Science

2022 | journal-article

Asserting the correctness of Shor implementations using metamorphic testing

Proceedings of the 1st International Workshop on Quantum Programming for Software Engineering, QP4SE 2022, Singapore, Singapore, 18 November 2022

2022 | conference-paper

E-APK: Energy Pattern Detection in Decompiled Android Applications

SBLP 2022: XXVI Brazilian Symposium on Programming Languages, Virtual Event Brazil, October 6 - 7, 2022

2022 | conference-paper

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

Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC

2022 | conference-paper

Herb: Privacy-preserving Random Forest with Partially Homomorphic Encryption

International Joint Conference on Neural Networks, IJCNN 2022, Padua, Italy, July 18-23, 2022

2022 | conference-paper

Metamorphic Testing of Oracle Quantum Programs

3RD INTERNATIONAL WORKSHOP ON QUANTUM SOFTWARE ENGINEERING (Q-SE 2022)

2022 | conference-paper

On the Democratization of Machine Learning Pipelines

Proceedings of the 2022 IEEE Symposium Series on Computational Intelligence, SSCI 2022

2022 | conference-paper

Quantum Software Frameworks for Deep Learning

Quantum Software Engineering

2022 | book-chapter

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

CoRR

2022 | journal-article

Which Technologies are Most Frequently Used by Data Scientists?

Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC

2022 | conference-paper

Statically Analyzing the Energy Efficiency of Software Product Lines

Journal of Low Power Electronics and Applications

2021 | journal-article

Foreword

ACM International Conference Proceeding Series

2021 | conference-paper

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

EMPIRICAL SOFTWARE ENGINEERING

2021 | journal-article

Improving energy-efficiency by recommending Java collections

EMPIRICAL SOFTWARE ENGINEERING

2021 | journal-article

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

Software Sustainability

2021 | book-chapter

Ranking programming languages by energy efficiency

Science of Computer Programming

2021 | journal-article

SBLP'21: 25th Brazilian Symposium on Programming Languages, Joinville, Brazil, 27 September 2021 - 1 October 2021

SBLP

2021 | edited-book

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

Software Sustainability

2021 | book-chapter

When Two are Better Than One: Synthesizing Heavily Unbalanced Data

IEEE Access

2021 | journal-article

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

ACM International Conference Proceeding Series

2020 | conference-paper

Energy Refactorings for Android in the Large and in the Wild

SANER 2020 - Proceedings of the 2020 IEEE 27th International Conference on Software Analysis, Evolution, and Reengineering

2020 | conference-paper

Off-the-shelf components for quantum programming and testing

CEUR Workshop Proceedings

2020 | conference-paper

On Understanding Data Scientists

Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC

2020 | conference-paper

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

Proceedings - 46th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2020

2020 | conference-paper

SPELLing out energy leaks: Aiding developers locate energy inefficient code

Journal of Systems and Software

2020 | journal-article

GreenHub Farmer: Real-world data for android energy mining

IEEE International Working Conference on Mining Software Repositories

2019 | conference-paper

Memoized zipper-based attribute grammars and their higher order extension

Science of Computer Programming

2019 | journal-article

On Haskell and energy efficiency

Journal of Systems and Software

2019 | journal-article

Watch out for that tree! A tutorial on shortcut deforestation

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

2019 | book

2018 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2018, Lisbon, Portugal, October 1-4, 2018

VL/HCC

2018 | edited-book

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

ACM International Conference Proceeding Series

2018 | conference-paper

Foreword: VL/HCC 2018

Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC

2018 | conference-paper

GreenSoftwareLab: Towards an Engineering Discipline for Green Software

Impact

2018 | journal-article

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

Proceedings - International Conference on Software Engineering

2018 | conference-paper

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

Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2017, Vancouver, BC, Canada, October 23-24, 2017

2017 | conference-paper

Grand Timely Topics in Software Engineering - International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures

GTTSE

2017 | edited-book

Helping programmers improve the energy efficiency of source code

Proceedings - 2017 IEEE/ACM 39th International Conference on Software Engineering Companion, ICSE-C 2017

2017 | conference-paper

Preface

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

2017 | book

Products go green:Worst-case energy consumption in so-ware product lines

ACM International Conference Proceeding Series

2017 | conference-paper

Automated analysis of non-functional requirements for web applications,Análise Automática de Requisitos Não Funcionais em Aplicações Web

Iberian Conference on Information Systems and Technologies, CISTI

2016 | conference-paper

Embedding attribute grammars and their extensions using functional zippers

Science of Computer Programming

2016 | journal-article

Evaluating refactorings for spreadsheet models

Journal of Systems and Software

2016 | journal-article

GreenDroid: A tool for analysing power consumption in the android ecosystem

2015 IEEE 13th International Scientific Conference on Informatics, INFORMATICS 2015 - Proceedings

2016 | conference-paper

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

IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering, SANER 2016, Suita, Osaka, Japan, March 14-18, 2016 - Volume 1

2016 | conference-paper

Memoized zipper-based attribute grammars

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

2016 | book

The influence of the Java collection framework on overall energy consumption

Proceedings - International Conference on Software Engineering

2016 | conference-paper

User-friendly spreadsheet querying: An empirical study

Proceedings of the ACM Symposium on Applied Computing

2016 | conference-paper

Design and implementation of queries for model-driven spreadsheets

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

2015 | book

Embedding, evolution, and validation of model-driven spreadsheets

IEEE Transactions on Software Engineering

2015 | journal-article

Querying Spreadsheets: An Empirical Study

CoRR

2015 | other

Spreadsheet engineering

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

2015 | book

Zipper-based modular and deforested computations

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

2015 | book

A web portal for the certification of open source software

2014 | book

Detecting anomalous energy consumption in android applications

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

2014 | book

ES-SQL: Visually querying spreadsheets

Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC

2014 | conference-paper

Embedding model-driven spreadsheet queries in spreadsheet systems

Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC

2014 | conference-paper

FaultySheet detective: When smells meet fault localization

Proceedings - 30th International Conference on Software Maintenance and Evolution, ICSME 2014

2014 | conference-paper

Generating attribute grammar-based bidirectional transformations from rewrite rules

PEPM 2014 - Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2014

2014 | conference-paper

Graphical querying of model-driven spreadsheets

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

2014 | book

MDSheet -model-driven spreadsheets

CEUR Workshop Proceedings

2014 | conference-paper

Refactoring meets model-driven spreadsheet evolution

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

2014 | conference-paper

Smelling faults in spreadsheets

Proceedings - 30th International Conference on Software Maintenance and Evolution, ICSME 2014

2014 | conference-paper

A framework for modular and customizable software analysis

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

2013 | book

Complexity metrics for classsheet models

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

2013 | book

Multiple intermediate structure deforestation by shortcut fusion

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

2013 | book

QuerySheet: A bidirectional query environment for model-driven spreadsheets

Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC

2013 | conference-paper

Querying model-driven spreadsheets

Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC

2013 | conference-paper

Zipper-based attribute grammars and their extensions

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

2013 | book

A Purely Functional Combinator Language for Software Quality Assessment

1st Symposium on Languages, Applications and Technologies, SLATE 2012, Braga, Portugal, June 21-22, 2012

2012 | conference-paper

A bidirectional model-driven spreadsheet environment

Proceedings - International Conference on Software Engineering

2012 | conference-paper

A quality model for spreadsheets

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

2012 | conference-paper

Bidirectional transformation of model-driven spreadsheets

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

2012 | book

Extension and implementation of ClassSheet models

Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC

2012 | conference-paper

From relational ClassSheets to UML+OCL

Proceedings of the ACM Symposium on Applied Computing

2012 | conference-paper

MDSheet: A framework for model-driven spreadsheet engineering

Proceedings - International Conference on Software Engineering

2012 | conference-paper

Program and aspect metrics for MATLAB

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

2012 | book

SmellSheet detective: A tool for detecting bad smells in spreadsheets

Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC

2012 | conference-paper

Towards a catalog of spreadsheet smells

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

2012 | book

Towards an evaluation of bidirectional model-driven spreadsheets

2012 1st International Workshop on User Evaluation for Software Engineering Researchers, USER 2012 - Proceedings

2012 | conference-paper

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

CoRR

2011 | other

Embedding and evolution of spreadsheet models in spreadsheet systems

Proceedings - 2011 IEEE Symposium on Visual Languages and Human Centric Computing, VL/HCC 2011

2011 | conference-paper

End-users productivity in model-based spreadsheets: An empirical study

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

2011 | book

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

Higher-Order and Symbolic Computation

2011 | journal-article

Strictification of circular programs

PERM'11 - Proceedings of the 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

2011 | conference-paper

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

Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09

2009 | conference-paper

A shortcut fusion rule for circular program calculation

Haskell'07: Proceedings of the ACM SIGPLAN 2007 Haskell Workshop

2007 | conference-paper

Tools and libraries to model and manipulate circular programs

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation

2007 | conference-paper

The Debt Trap: How Deferred Fixes Fuel Reliability Debt

IEEE Reliability Magazine

2025 | journal-article

A Roadmap for Integrating Sustainability into Software Engineering Education

ACM Transactions on Software Engineering and Methodology

2025 | journal-article

A Systematic Mapping Study on Quantum and Quantum-inspired Algorithms in Operations Research

ACM Computing Surveys

2025 | journal-article

The Forgotten Potential: Why Aspect-Oriented Programming Faded Away

Computer

2025 | journal-article

Trading Runtime for Energy Efficiency: Leveraging Power Caps to Save Energy across Programming Languages

2024 | conference-paper

Programming languages ranking based on energy measurements

Software Quality Journal

2024 | journal-article

Compiling Haskell for Energy Efficiency: Empirical Analysis of Individual Transformations

2024 | conference-paper

Sustainability in Computing Education: A Systematic Literature Review

ACM Transactions on Computing Education

2024 | journal-article

E-APK: Energy pattern detection in decompiled android applications

Journal of Computer Languages

2023 | journal-article

Analyzing the Resource Usage Overhead of Mobile App Development Frameworks

2023 | conference-paper

On Security and Energy Efficiency in Android Smartphones

MOBILESoft 2023

2023 | conference-paper

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

2023 | book-chapter

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

SN Computer Science

2022 | journal-article

Asserting the correctness of Shor implementations using metamorphic testing

Proceedings of the 1st International Workshop on Quantum Programming for Software Engineering, QP4SE 2022, Singapore, Singapore, 18 November 2022

2022 | conference-paper

E-APK: Energy Pattern Detection in Decompiled Android Applications

SBLP 2022: XXVI Brazilian Symposium on Programming Languages, Virtual Event Brazil, October 6 - 7, 2022

2022 | conference-paper

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

Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC

2022 | conference-paper

Herb: Privacy-preserving Random Forest with Partially Homomorphic Encryption

International Joint Conference on Neural Networks, IJCNN 2022, Padua, Italy, July 18-23, 2022

2022 | conference-paper

Metamorphic Testing of Oracle Quantum Programs

3RD INTERNATIONAL WORKSHOP ON QUANTUM SOFTWARE ENGINEERING (Q-SE 2022)

2022 | conference-paper

On the Democratization of Machine Learning Pipelines

Proceedings of the 2022 IEEE Symposium Series on Computational Intelligence, SSCI 2022

2022 | conference-paper

Quantum Software Frameworks for Deep Learning

Quantum Software Engineering

2022 | book-chapter

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

CoRR

2022 | journal-article

Which Technologies are Most Frequently Used by Data Scientists?

Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC

2022 | conference-paper

Statically Analyzing the Energy Efficiency of Software Product Lines

Journal of Low Power Electronics and Applications

2021 | journal-article

Foreword

ACM International Conference Proceeding Series

2021 | conference-paper

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

EMPIRICAL SOFTWARE ENGINEERING

2021 | journal-article

Improving energy-efficiency by recommending Java collections

EMPIRICAL SOFTWARE ENGINEERING

2021 | journal-article

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

Software Sustainability

2021 | book-chapter

Ranking programming languages by energy efficiency

Science of Computer Programming

2021 | journal-article

SBLP'21: 25th Brazilian Symposium on Programming Languages, Joinville, Brazil, 27 September 2021 - 1 October 2021

SBLP

2021 | edited-book

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

Software Sustainability

2021 | book-chapter

When Two are Better Than One: Synthesizing Heavily Unbalanced Data

IEEE Access

2021 | journal-article

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

ACM International Conference Proceeding Series

2020 | conference-paper

Energy Refactorings for Android in the Large and in the Wild

SANER 2020 - Proceedings of the 2020 IEEE 27th International Conference on Software Analysis, Evolution, and Reengineering

2020 | conference-paper

Off-the-shelf components for quantum programming and testing

CEUR Workshop Proceedings

2020 | conference-paper

On Understanding Data Scientists

Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC

2020 | conference-paper

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

Proceedings - 46th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2020

2020 | conference-paper

SPELLing out energy leaks: Aiding developers locate energy inefficient code

Journal of Systems and Software

2020 | journal-article

GreenHub Farmer: Real-world data for android energy mining

IEEE International Working Conference on Mining Software Repositories

2019 | conference-paper

Memoized zipper-based attribute grammars and their higher order extension

Science of Computer Programming

2019 | journal-article

On Haskell and energy efficiency

Journal of Systems and Software

2019 | journal-article

Watch out for that tree! A tutorial on shortcut deforestation

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

2019 | book

2018 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2018, Lisbon, Portugal, October 1-4, 2018

VL/HCC

2018 | edited-book

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

ACM International Conference Proceeding Series

2018 | conference-paper

Foreword: VL/HCC 2018

Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC

2018 | conference-paper

GreenSoftwareLab: Towards an Engineering Discipline for Green Software

Impact

2018 | journal-article

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

Proceedings - International Conference on Software Engineering

2018 | conference-paper

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

Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2017, Vancouver, BC, Canada, October 23-24, 2017

2017 | conference-paper

Grand Timely Topics in Software Engineering - International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures

GTTSE

2017 | edited-book

Helping programmers improve the energy efficiency of source code

Proceedings - 2017 IEEE/ACM 39th International Conference on Software Engineering Companion, ICSE-C 2017

2017 | conference-paper

Preface

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

2017 | book

Products go green:Worst-case energy consumption in so-ware product lines

ACM International Conference Proceeding Series

2017 | conference-paper

Automated analysis of non-functional requirements for web applications,Análise Automática de Requisitos Não Funcionais em Aplicações Web

Iberian Conference on Information Systems and Technologies, CISTI

2016 | conference-paper

Embedding attribute grammars and their extensions using functional zippers

Science of Computer Programming

2016 | journal-article

Evaluating refactorings for spreadsheet models

Journal of Systems and Software

2016 | journal-article

GreenDroid: A tool for analysing power consumption in the android ecosystem

2015 IEEE 13th International Scientific Conference on Informatics, INFORMATICS 2015 - Proceedings

2016 | conference-paper

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

IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering, SANER 2016, Suita, Osaka, Japan, March 14-18, 2016 - Volume 1

2016 | conference-paper

Memoized zipper-based attribute grammars

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

2016 | book

The influence of the Java collection framework on overall energy consumption

Proceedings - International Conference on Software Engineering

2016 | conference-paper

User-friendly spreadsheet querying: An empirical study

Proceedings of the ACM Symposium on Applied Computing

2016 | conference-paper

Design and implementation of queries for model-driven spreadsheets

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

2015 | book

Embedding, evolution, and validation of model-driven spreadsheets

IEEE Transactions on Software Engineering

2015 | journal-article

Querying Spreadsheets: An Empirical Study

CoRR

2015 | other

Spreadsheet engineering

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

2015 | book

Zipper-based modular and deforested computations

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

2015 | book

A web portal for the certification of open source software

2014 | book

Detecting anomalous energy consumption in android applications

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

2014 | book

ES-SQL: Visually querying spreadsheets

Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC

2014 | conference-paper

Embedding model-driven spreadsheet queries in spreadsheet systems

Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC

2014 | conference-paper

FaultySheet detective: When smells meet fault localization

Proceedings - 30th International Conference on Software Maintenance and Evolution, ICSME 2014

2014 | conference-paper

Generating attribute grammar-based bidirectional transformations from rewrite rules

PEPM 2014 - Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2014

2014 | conference-paper

Graphical querying of model-driven spreadsheets

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

2014 | book

MDSheet -model-driven spreadsheets

CEUR Workshop Proceedings

2014 | conference-paper

Refactoring meets model-driven spreadsheet evolution

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

2014 | conference-paper

Smelling faults in spreadsheets

Proceedings - 30th International Conference on Software Maintenance and Evolution, ICSME 2014

2014 | conference-paper

A framework for modular and customizable software analysis

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

2013 | book

Complexity metrics for classsheet models

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

2013 | book

Multiple intermediate structure deforestation by shortcut fusion

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

2013 | book

QuerySheet: A bidirectional query environment for model-driven spreadsheets

Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC

2013 | conference-paper

Querying model-driven spreadsheets

Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC

2013 | conference-paper

Zipper-based attribute grammars and their extensions

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

2013 | book

A Purely Functional Combinator Language for Software Quality Assessment

1st Symposium on Languages, Applications and Technologies, SLATE 2012, Braga, Portugal, June 21-22, 2012

2012 | conference-paper

A bidirectional model-driven spreadsheet environment

Proceedings - International Conference on Software Engineering

2012 | conference-paper

A quality model for spreadsheets

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

2012 | conference-paper

Bidirectional transformation of model-driven spreadsheets

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

2012 | book

Extension and implementation of ClassSheet models

Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC

2012 | conference-paper

From relational ClassSheets to UML+OCL

Proceedings of the ACM Symposium on Applied Computing

2012 | conference-paper

MDSheet: A framework for model-driven spreadsheet engineering

Proceedings - International Conference on Software Engineering

2012 | conference-paper

Program and aspect metrics for MATLAB

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

2012 | book

SmellSheet detective: A tool for detecting bad smells in spreadsheets

Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC

2012 | conference-paper

Towards a catalog of spreadsheet smells

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

2012 | book

Towards an evaluation of bidirectional model-driven spreadsheets

2012 1st International Workshop on User Evaluation for Software Engineering Researchers, USER 2012 - Proceedings

2012 | conference-paper

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

CoRR

2011 | other

Embedding and evolution of spreadsheet models in spreadsheet systems

Proceedings - 2011 IEEE Symposium on Visual Languages and Human Centric Computing, VL/HCC 2011

2011 | conference-paper

End-users productivity in model-based spreadsheets: An empirical study

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

2011 | book

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

Higher-Order and Symbolic Computation

2011 | journal-article

Strictification of circular programs

PERM'11 - Proceedings of the 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

2011 | conference-paper

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

Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09

2009 | conference-paper

A shortcut fusion rule for circular program calculation

Haskell'07: Proceedings of the ACM SIGPLAN 2007 Haskell Workshop

2007 | conference-paper

Tools and libraries to model and manipulate circular programs

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation

2007 | conference-paper

This user account status is Approved