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.ptOrcid
0000-0002-1952-9460Researcher ID
FCT Public Key
Ciência ID
9C1F-E79B-6EEDGoogle Scholar
About Me
I am a Visiting Associate Professor at New York University Abu Dhabi, currently residing in the United Arab Emirates. I am also a member of the Artificial Intelligence and Computer Science Laboratory (LIACC) research laboratory of the University of Porto, which achieved the grade of “Excellent” (with a maximum score of 5/5/5 in all evaluation items) on the last FCT’s assessment of R&D institutions. My research is focused on the rigorous analysis and transformation of software, with the general goal of optimizing its non-functional properties while still ensuring its functional correctness. For more than 10 years, I am focused on optimizing the Energy Efficiency of Software Systems, an area in which I try to provide developers with information and tools to support the development of energy efficient software and at the same time that I seek to support end users, namely of mobile devices, in adopting more efficient usage patterns. In these lines, I have founded/coordinate(d) and/or am involved in projects and initiatives such as GreenHub, Green Sw Lab, GreenHaskell, GreenStamp and Sustrainable. I have a very solid research track. I published over 75 papers in peer-reviewed, top-quality venues, including award-winning publications such as "GreenHub Farmer: Real-world data for Android Energy Mining", awarded with the "Data Showcase Special Mention Award" at MSR - Mining Software Repositories 2019 (https://conf.researchr.org/home/msr-2019). I have coordinated and/or participated in almost 20 funded research projects and other initiatives such as GreenHub, Green Sw Lab, GreenHaskell, and Sustrainable. Also, I have a wide international network of collaborators, ranging from countries such as Denmark, Greece, Brazil, USA, UK or Germany, and a globally oriented perspective. I have integrated over 50 program committees for international conferences and journals, and I am also an ISTQB® Foundation Level (CTFL) Certified Tester. I have extensive and distinguished teaching experience across various roles and institutions, demonstrating my dedication to fostering knowledge and guiding students. I led courses that bridged foundational concepts with cutting-edge advancements in technology. My expertise spans a broad range of topics, including Data Structures and Algorithms, Software Engineering, Discrete Mathematics, Compilers, and Programming Languages. My teaching approach emphasizes clarity, engagement, and practical application, ensuring that students acquire both theoretical knowledge and the skills necessary for real-world problem-solving. In the past, I have held different types of positions in several institutions such as the University of Minho (Monitor, 2002-2004), the Polytechnic Institute of Porto (Assistant Professor, 2008-2010), the University of Porto, Faculty of Engineering (Assistant Professor, 2010-2012), the University of Beira Interior (Assistant Professor, 2012-2016), the University of Coimbra (Assitant Professor, 2016-2020) and the University of Porto (2021-2024).
Publications (99)
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




