???global.info.a_carregar???
I am an Associate Professor at the Informatics Engineering Department of the Faculty of Engineering of the University of Porto, Portugal. 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. I am currently drawing a significant amount of my research efforts towards leveraging Quantum Computing to address computational problems that are considered intractable by classical means. For almost 10 years now, I am also 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 at the same time that I seek to support end users, namely of mobile devices, in adopting more efficient usage patterns. In these contexts, I have founded/coordinate(d) and/or am involved in projects and initiatives such as GreenHub, Green Sw Lab, GreenHaskell, and Sustrainable. The research results I was able to achieve have been described in 70+ publications in high-quality international conferences and journals such as IEEE TSE, EMSE, JSS, ICSME, SANER ou SLE, and include 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 integrated 45+ program committees for international conferences and journals, and I am also an ISTQB® Foundation Level (CTFL) Certified Tester. 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) and the University of Coimbra (Assitant Professor, 2016-2020). I graduated in Mathematics and Computer Science from the University of Minho, in 2004 (best of class, with an average score of 17/20), having conducted my graduation thesis under the PURe project. Later, in March 2009, I received my Ph.D. degree from the same university, following my work on the Design, Implementation and Calculation of Circular Programs.
Read full resume ↓
Identification

Personal identification

Full name
João Paulo Fernandes

Citation names

  • Fernandes, João Paulo

Author identifiers

Ciência ID
9C1F-E79B-6EED
ORCID iD
0000-0002-1952-9460
Google Scholar ID
fYCE5-sAAAAJ&hl
Researcher Id
A-1929-2013
Scopus Author Id
0000000219529460

Addresses

  • Departamento de Engenharia Informática, Faculdade de Engenharia, Universidade do Porto, Rua Dr. Roberto Frias, s/n, 4200-465, Porto, Porto, Portugal (Professional)

Websites

Knowledge fields

  • Exact Sciences - Computer and Information Sciences - Computer Sciences

Languages

Language Speaking Reading Writing Listening Peer-review
Portuguese (Mother tongue)
English Proficiency (C2) Proficiency (C2) Proficiency (C2) Proficiency (C2) Proficiency (C2)
Education
Degree Classification
2009/04
Concluded
 Informática (Doutoramento)
Major in Fundamentos da Computação
Universidade do Minho, Portugal
"Design, Implementation and Calculation of Circular Programs" (THESIS/DISSERTATION)
2004/11
Concluded
 Matemática e Ciências da Computação (Licenciatura)
Universidade do Minho, Portugal
 17/20
Affiliation

Teaching in Higher Education

Category
Host institution 		Employer
2021 - Current Associate Professor (University Teacher) Universidade do Porto Faculdade de Engenharia, Portugal
2016 - 2020 Assistant Professor (University Teacher) Universidade de Coimbra, Portugal
2013 - 2016 Assistant Professor (University Teacher) Universidade da Beira Interior, Portugal

Others

Category
Host institution 		Employer
2009/06/01 - 2013/04/30 Postdoctoral Researcher, under FCT grant SFRH / BPD / 46987 / 2008. Fundação para a Ciência e a Tecnologia, Portugal
Projects

Grant

Designation Funders
2009 - 2011 Circular Programs as a Programming Paradigm
SFRH/BPD/46987/2008
Post-doc Fellow
Universidade do Minho, Portugal
 Fundação para a Ciência e a Tecnologia
2009 - 2011 Circular Programs as a Programming Paradigm
SFRH/BPD/46987/2008
 Fundação para a Ciência e a Tecnologia
2004 - 2008 Design, Implementation and Calculation of Circular Programs
SFRH/BD/19186/2004
PhD Student Fellow
Universidade do Minho, Portugal
 Fundação para a Ciência e a Tecnologia
2004 - 2008 Design, Implementation and Calculation of Circular Programs
SFRH/BD/19186/2004
 Fundação para a Ciência e a Tecnologia

Contract

Designation Funders
2020/09/29 - Current CERCIRAS: Connecting Education and Research Communities for an Innovative Resource Aware Society
CA19135
Management Committee Member
European Cooperation in Science and Technology
Ongoing
2020/09/01 - 2023/08/31 Sustrainable - Promoting Sustainability as a Fundamental Driver in Software Development Training and Education
2020-1-PT01-KA203-078646
Principal investigator
Erasmus Plus
Concluded
2021/09/01 - 2023/07/31 GreenStamp - Mobile Energy Efficiency Services
CENTRO-01-0247-FEDER-047256
Principal investigator
Concluded
2016/07/01 - 2019/12/31 GreenSoftwareLab: Computação Verde como uma Disciplina de Engenharia
PTDC/EEI-ESS/5341/2014
Universidade do Minho, Portugal

Instituto de Engenharia de Sistemas e Computadores, Portugal

Universidade de Coimbra, Portugal

Associação para a Inovação e Desenvolvimento da FCT, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2017 - 2019 Focusing Education on Composability, Comprehensibility and Correctness of Working Software
2017-1-SK01-KA203-035402
Researcher
Universidade de Coimbra, Portugal
 Erasmus Plus
Concluded
2016 - 2018 Software Repositories for Green Computing
Proj. 300/2015
Principal investigator
Fundação Luso-Americana
Concluded
2015 - 2017 Spreadsheet Models for the Real World
FCT/DAAD 441.00
Researcher
Fundação para a Ciência e a Tecnologia
Concluded
2014 - 2016 Towards Variational Software, Types, and Spreadsheets
Proj. 233/2014
Researcher
Fundação Luso-Americana
Concluded
2012/03/01 - 2014/08/31 FATBIT: Fundamentos, Aplicações e Ferramentas para Transformação Bidireccional
PTDC/EIA-CCO/120838/2010
Universidade do Minho Centro ALGORITMI, Portugal

Universidade do Minho, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2010/05/01 - 2013/07/31 SSaaPP: Folhas de Cálculo como um Paradígma de Programação
PTDC/EIA-CCO/108613/2008
Universidade do Minho Centro ALGORITMI, Portugal

Universidade do Minho, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2011 - 2013 Bidirectional Transformations Applied to Programming Environments for Scientific Computing
FLAD/NSF
Researcher
Fundação Luso-Americana
Concluded
2010 - 2012 Strictification of Circular Programs in Calculational Form
FCT/DAAD
Researcher
Fundação para a Ciência e a Tecnologia
Concluded
2003/10/15 - 2007/01/14 PURe - Análise e Recuperação de Programas: Cálculo e Aplicações
POSI/CHS/44304/2002
 Fundação para a Ciência e a Tecnologia
Concluded
Outputs

Publications

Book
  1. Cunha, J.; Fernandes, J.P.; Lämmel, R.; Saraiva, J.; Zaytsev, V.. Preface. 2017.
  2. Martins, P.; Fernandes, J.P.; Saraiva, J.. Zipper-based modular and deforested computations. 2015.
    10.1007/978-3-319-15940-9_10
  3. Cunha, J.; Fernandes, J.P.; Mendes, J.; Saraiva, J.. Spreadsheet engineering. 2015.
    10.1007/978-3-319-15940-9_6
  4. Cunha, J.; Fernandes, J.P.; Mendes, J.; Pereira, R.; Saraiva, J.. Design and implementation of queries for model-driven spreadsheets. 2015.
    10.1007/978-3-319-15940-9_13
  5. Couto, M.; Carção, T.; Cunha, J.; Fernandes, J.P.; Saraiva, J.. Detecting anomalous energy consumption in android applications. 2014.
    10.1007/978-3-319-11863-5_6
  6. Cunha, J.; Fernandes, J.P.; Pereira, R.; Saraiva, J.. Graphical querying of model-driven spreadsheets. 2014.
    10.1007/978-3-319-07731-4_42
  7. Martins, P.; Fernandes, J.P.; Saraiva, J.. A web portal for the certification of open source software. 2014.
    10.1007/978-3-642-54338-8-20
  8. Cunha, J.; Fernandes, J.P.; Mendes, J.; Saraiva, J.. Complexity metrics for classsheet models. 2013.
    10.1007/978-3-642-39643-4_33
  9. Martins, P.; Fernandes, J.P.; Saraiva, J.. Zipper-based attribute grammars and their extensions. 2013.
    10.1007/978-3-642-40922-6_10
  10. Martins, P.; Carvalho, N.; Fernandes, J.P.; Almeida, J.J.; Saraiva, J.. A framework for modular and customizable software analysis. 2013.
    10.1007/978-3-642-39643-4_32
  11. Martins, P.; Lopes, P.; Fernandes, J.P.; Saraiva, J.; Cardoso, J.M.P.. Program and aspect metrics for MATLAB. 2012.
    10.1007/978-3-642-31128-4_16
  12. Cunha, J.; Fernandes, J.P.; Ribeiro, H.; Saraiva, J.. Towards a catalog of spreadsheet smells. 2012.
    10.1007/978-3-642-31128-4_15
  13. Cunha, J.; Fernandes, J.P.; Mendes, J.; Pacheco, H.; Saraiva, J.. Bidirectional transformation of model-driven spreadsheets. 2012.
    10.1007/978-3-642-30476-7_7
  14. Beckwith, L.; Cunha, J.; Fernandes, J.P.; Saraiva, J.. End-users productivity in model-based spreadsheets: An empirical study. 2011.
    10.1007/978-3-642-21530-8_27
Book chapter
  1. Ferreira, FR; Fernandes, JP; Abreu, R. "Quantum Software Frameworks for Deep Learning". 2022.
  2. Oliveira, W; Matalonga, H; Pinto, G; Castor, F; Fernandes, JP. "Small Changes, Big Impacts: Leveraging Diversity to Improve Energy Efficiency". 2021.
  3. Feitosa, D; Cruz, L; Abreu, R; Fernandes, JP; Couto, M; Saraiva, J. "Patterns and Energy Consumption: Design, Implementation, Studies, and Stories". 2021.
  4. Fernandes, J.P.; Cunha, J.; Saraiva, J.; Pardo, A.. "Watch out for that tree! A tutorial on shortcut deforestation". 2019.
    10.1007/978-3-030-28346-9_1
  5. Fernandes, João Paulo; Martins, Pedro; Pardo, Alberto; Saraiva, João; Viera, Marcos. "Memoized Zipper-Based Attribute Grammars". In Lecture Notes in Computer Science, 46-61. Springer International Publishing, 2016.
    10.1007/978-3-319-45279-1_4
Conference paper
  1. Wellington Oliveira; Bernardo Moraes; Fernando Castor; João Paulo Fernandes. "Analyzing the Resource Usage Overhead of Mobile App Development Frameworks". 2023.
    10.1145/3593434.3593487
  2. Abreu, R; Fernandes, JP; Liana, L; Tavares, G. "Metamorphic Testing of Oracle Quantum Programs". Paper presented in 3rd IEEE/ACM International Workshop on Quantum Software Engineering (Q-SE@ICSE), 2022.
    10.1145/3528230.3529189
  3. Liao, Q.; Santos, A.C.; Cabral, B.; Fernandes, J.P.; Lourenco, N.. "HERB+: Evolving an Industrial-Strength Privacy-Preserving Machine Learning Framework". Paper presented in 2022 IEEE 27th Pacific Rim International Symposium on Dependable Computing (PRDC), 2022.
    10.1109/PRDC55274.2022.00035
  4. Carqueja, A.; Cabral, B.; Fernandes, J.P.; Lourenço, N.. "On the Democratization of Machine Learning Pipelines". Paper presented in IEEE Symposium Series On Computational Intelligence (SSCI), 2022.
    10.1109/SSCI51031.2022.10022107
  5. Pereira, P.; Fernandes, J.P.; Cunha, J.. "Which Technologies are Most Frequently Used by Data Scientists?". Paper presented in 2022 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), 2022.
    10.1109/VL/HCC53370.2022.9833122
  6. Costa, N; Fernandes, JP; Abreu, R. "Asserting the correctness of Shor implementations using metamorphic testing". Paper presented in 1st International Workshop on Quantum Programming for Software Engineering (QP4SE@ESEC-FSE), 2022.
    10.1145/3549036.3562062
  7. Gregório, Nelson; Fernandes, João Paulo; Bispo, João; Medeiros, Sérgio. "E-APK: Energy Pattern Detection in Decompiled Android Applications". Paper presented in 26th Brazilian Symposium on Programming Languages (SBLP), 2022.
    10.1145/3561320.3561328
  8. Liao, Q; Cabral, B; Fernandes, JP; Lourenço, N. "Herb: Privacy-preserving Random Forest with Partially Homomorphic Encryption". Paper presented in International Joint Conference on Neural Networks (IJCNN), 2022.
    10.1109/IJCNN55064.2022.9892321
  9. Fernandes, J.P.. "Foreword". 2021.
  10. Couto, M.; Saraiva, J.; Fernandes, J.P.. "Energy Refactorings for Android in the Large and in the Wild". Paper presented in 2020 IEEE 27th International Conference on Software Analysis, Evolution and Reengineering (SANER), 2020.
    10.1109/SANER48275.2020.9054858
  11. Pereira, P.; Cunha, J.; Fernandes, J.P.. "On Understanding Data Scientists". Paper presented in 2020 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), 2020.
    10.1109/VL/HCC50065.2020.9127269
  12. Gomes, C.; Fortunato, D.; Fernandes, J.P.; Abreu, R.. "Off-the-shelf components for quantum programming and testing". Paper presented in 1st Quantum Software Engineering and Technology Workshop (Q-SET), 2020.
  13. Fonseca, N.; Paulo Fernandes, J.; Pires, M.; Melo De Sousa, S.. "PACE: A DSL-based Approach to Manage Complex Build Pipelines". Paper presented in 2020 46th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2020.
    10.1109/SEAA51224.2020.00018
  14. Fernandes, JP; Araújo, R; Rela, MZ; Fernandes, J.P.; Araujo, R.; Zenha-Rela, M.. "Achieving Scalability in Project Based Learning through a Low-Code platform". Paper presented in 34th Brazilian Symposium on Software Engineering (SBES - Education Track), 2020.
    10.1145/3422392.3422482
  15. Matalonga, H.; Cabral, B.; Castor, F.; Couto, M.; Pereira, R.; De Sousa, S.M.; Fernandes, J.P.. "GreenHub Farmer: Real-world data for android energy mining". Paper presented in Mining Software Repositories (MSR), 2019.
    10.1109/MSR.2019.00034
  16. Melfe, G.; Fonseca, A.; Fernandes, J.P.. "Helping developers write energy efficient Haskell through a data-structure evaluation". 2018.
    10.1145/3194078.3194080
  17. Melfe, G.; Fonseca, A.; Fernandes, J.P.. "Evaluation of the impact on energy consumption of lazy versus strict evaluation of Haskell data-structures". 2018.
    10.1145/3264637.3264648
  18. Cunha, J.; Fernandes, J.P.; Kelleher, C.; Engels, G.. "Foreword: VL/HCC 2018". 2018.
    10.1109/VLHCC.2018.8506495
  19. Fernandes, João. "Energy efficiency across programming languages: how do energy, time, and memory relate?". 2017.
    10.1145/3136014.3136031
  20. Couto, M.; Borba, P.; Cunha, J.; Fernandes, J.P.; Pereira, R.; Saraiva, J.. "Products go green:Worst-case energy consumption in so-ware product lines". 2017.
    10.1145/3106195.3106214
  21. Pereira, R.; Carcao, T.; Couto, M.; Cunha, J.; Fernandes, J.P.; Saraiva, J.. "Helping programmers improve the energy efficiency of source code". 2017.
    10.1109/ICSE-C.2017.80
  22. Carvalho, J.; De Sousa, S.M.; Fernandes, J.P.; Pereira, N.; Mendes, L.F.; Figueiredo, C.M.; Oliveira, C.R.. "Automated analysis of non-functional requirements for web applications,Análise Automática de Requisitos Não Funcionais em Aplicações Web". 2016.
    10.1109/CISTI.2016.7521392
  23. Couto, M.; Cunha, J.; Fernandes, J.P.; Pereira, R.; Saraiva, J.. "GreenDroid: A tool for analysing power consumption in the android ecosystem". 2016.
    10.1109/Informatics.2015.7377811
  24. Pereira, R.; Saraiva, J.; Cunha, J.; Fernandes, J.P.. "User-friendly spreadsheet querying: An empirical study". 2016.
    10.1145/2851613.2851910
  25. Fernandes, João. "Haskell in Green Land: Analyzing the Energy Behavior of a Purely Functional Language". 2016.
    10.1109/SANER.2016.85
  26. Pereira, R.; Couto, M.; Saraiva, J.; Cunha, J.; Fernandes, J.P.. "The influence of the Java collection framework on overall energy consumption". 2016.
    10.1145/2896967.2896968
  27. Abreu, R.; Cunha, J.; Fernandes, J.P.; Martins, P.; Perez, A.; Saraiva, J.. "FaultySheet detective: When smells meet fault localization". 2014.
    10.1109/ICSME.2014.111
  28. Cunha, J.; Fernandes, J.P.; Martins, P.; Pereira, R.; Saraiva, J.. "Refactoring meets model-driven spreadsheet evolution". 2014.
    10.1109/QUATIC.2014.34
  29. Cunha, J.; Fernandes, J.P.; Mendes, J.; Pereira, R.; Saraiva, J.. "MDSheet -model-driven spreadsheets". 2014.
  30. Abreu, R.; Cunha, J.; Fernandes, J.P.; Martins, P.; Perez, A.; Saraiva, J.. "Smelling faults in spreadsheets". 2014.
    10.1109/ICSME.2014.33
  31. Cunha, J.; Fernandes, J.P.; Mendes, J.; Pereira, R.; Saraiva, J.. "Embedding model-driven spreadsheet queries in spreadsheet systems". 2014.
    10.1109/VLHCC.2014.6883039
  32. Cunha, J.; Fernandes, J.P.; Mendes, J.; Pereira, R.; Saraiva, J.. "ES-SQL: Visually querying spreadsheets". 2014.
    10.1109/VLHCC.2014.6883056
  33. Martins, P.; Saraiva, J.; Fernandes, J.P.; Van Wyk, E.. "Generating attribute grammar-based bidirectional transformations from rewrite rules". 2014.
    10.1145/2543728.2543745
  34. Cunha, J.; Fernandes, J.P.; Mendes, J.; Pereira, R.; Saraiva, J.. "Querying model-driven spreadsheets". 2013.
    10.1109/VLHCC.2013.6645247
  35. Belo, O.; Cunha, J.; Femandes, J.P.; Mendes, J.; Pereira, R.; Saraiva, J.. "QuerySheet: A bidirectional query environment for model-driven spreadsheets". 2013.
    10.1109/VLHCC.2013.6645267
  36. Cunha, J.; Fernandes, J.P.; Mendes, J.; Saraiva, J.. "Extension and implementation of ClassSheet models". 2012.
    10.1109/VLHCC.2012.6344473
  37. Cunha, J.; Fernandes, J.P.; Martins, P.; Mendes, J.; Saraiva, J.. "SmellSheet detective: A tool for detecting bad smells in spreadsheets". 2012.
    10.1109/VLHCC.2012.6344535
  38. Cunha, J.; Fernandes, J.P.; Mendes, J.; Saraiva, J.. "A bidirectional model-driven spreadsheet environment". 2012.
    10.1109/ICSE.2012.6227073
  39. Cunha, J.; Fernandes, J.P.; Mendes, J.; Saraiva, J.. "MDSheet: A framework for model-driven spreadsheet engineering". 2012.
    10.1109/ICSE.2012.6227239
  40. Cunha, J.; Fernandes, J.P.; Saraiva, J.. "From relational ClassSheets to UML+OCL". 2012.
    10.1145/2245276.2231957
  41. Cunha, J.; Fernandes, J.P.; Mendes, J.; Saraiva, J.. "Towards an evaluation of bidirectional model-driven spreadsheets". 2012.
    10.1109/USER.2012.6226577
  42. Cunha, J.; Fernandes, J.P.; Peixoto, C.; Saraiva, J.. "A quality model for spreadsheets". 2012.
    10.1109/QUATIC.2012.16
  43. Martins, P; Fernandes, JP; Saraiva, J. "A Purely Functional Combinator Language for Software Quality Assessment". 2012.
    10.4230/oasics.slate.2012.51
  44. Fernandes, J.P.; Saraiva, J.; Seidel, D.; Voigtländer, J.. "Strictification of circular programs". 2011.
    10.1145/1929501.1929526
  45. Cunha, J.; Mendes, J.; Saraiva, J.; Fernandes, J.P.. "Embedding and evolution of spreadsheet models in spreadsheet systems". 2011.
    10.1109/VLHCC.2011.6070396
  46. Pardo, A.; Fernandes, J.P.; Saraiva, J.. "Shortcut fusion rules for the derivation of circular and higher-order monadic programs". 2009.
    10.1145/1480945.1480958
  47. Fernandes, J.P.; Pardo, A.; Saraiva, J.. "A shortcut fusion rule for circular program calculation". 2007.
    10.1145/1291201.1291216
  48. Fernandes, J.P.; Saraiva, J.. "Tools and libraries to model and manipulate circular programs". 2007.
    10.1145/1244381.1244399
Edited book
  1. Vasconcellos, CD; Roggia, KG; Bousfield, P; Collereii, V; Fernandes, JP; Pereira, M. SBLP'21: 25th Brazilian Symposium on Programming Languages, Joinville, Brazil, 27 September 2021 - 1 October 2021. 2021.
  2. Cunha, J; Fernandes, JP; Kelleher, C; Engels, G; Mendes, J. 2018 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2018, Lisbon, Portugal, October 1-4, 2018. 2018.
  3. Cunha, Jacome; Fernandes, JoaoPaulo; Lämmel, Ralf; Saraiva, Joao; Zaytsev, Vadim. Grand Timely Topics in Software Engineering - International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures. 2017.
Journal article
  1. Anne-Kathrin Peters; Rafael Capilla; Vlad Constantin Coroama; Rogardt Heldal; Patricia Lago; Ola Leifler; Ana Moreira; et al. "Sustainability in Computing Education: A Systematic Literature Review". ACM Transactions on Computing Education (2024): https://doi.org/10.1145/3639060.
    10.1145/3639060
  2. Nelson Gregório; João Bispo; João Paulo Fernandes; Sérgio Queiroz de Medeiros. "E-APK: Energy pattern detection in decompiled android applications". Journal of Computer Languages (2023): https://doi.org/10.1016/j.cola.2023.101220.
    10.1016/j.cola.2023.101220
  3. Cláudio Gomes; Gabriel Falcao; Luís Paquete; João Paulo Fernandes. "An Empirical Study on the Use of Quantum Computing for Financial Portfolio Optimization". SN Computer Science (2022): https://doi.org/10.1007/s42979-022-01215-9.
    10.1007/s42979-022-01215-9
  4. Koopman, PWM; Lubbers, M; Fernandes, JP; Koopman, P.; Lubbers, M.; Fernandes, J.P.; Korecko, ¿.; et al. "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): http://www.scopus.com/inward/record.url?eid=2-s2.0-85130367317&partnerID=MN8TOARS.
    10.48550/arXiv.2204.13993
  5. Marco Couto; João Paulo Fernandes; João Saraiva. "Statically Analyzing the Energy Efficiency of Software Product Lines". Journal of Low Power Electronics and Applications 11 1 (2021): 13-13. https://doi.org/10.3390/jlpea11010013.
    10.3390/jlpea11010013
  6. Pereira, R.; Couto, M.; Ribeiro, F.; Rua, R.; Cunha, J.; Fernandes, J.P.; Saraiva, J.. "Ranking programming languages by energy efficiency". Science of Computer Programming 205 (2021): http://www.scopus.com/inward/record.url?eid=2-s2.0-85099355764&partnerID=MN8TOARS.
    10.1016/j.scico.2021.102609
  7. Francisco Ferreira; Nuno Lourenco; Bruno Cabral; Joao Paulo Fernandes. "When Two are Better Than One: Synthesizing Heavily Unbalanced Data". IEEE Access 9 (2021): 150459-150469. https://doi.org/10.1109/ACCESS.2021.3126656.
    10.1109/ACCESS.2021.3126656
  8. Oliveira, W; Oliveira, R; Castor, F; Pinto, G; Fernandes, JP. "Improving energy-efficiency by recommending Java collections". EMPIRICAL SOFTWARE ENGINEERING (2021):
    10.1007/s10664-021-09950-y
  9. Pereira, R; Matalonga, H; Couto, M; Castor, F; Cabral, B; Carvalho, P; de Sousa, SM; Fernandes, JP. "GreenHub: a large-scale collaborative dataset to battery consumption analysis of android devices". EMPIRICAL SOFTWARE ENGINEERING (2021):
    10.1007/s10664-020-09925-5
  10. Pereira, R.; Carção, T.; Couto, M.; Cunha, J.; Fernandes, J.P.; Saraiva, J.. "SPELLing out energy leaks: Aiding developers locate energy inefficient code". Journal of Systems and Software 161 (2020): http://www.scopus.com/inward/record.url?eid=2-s2.0-85076571333&partnerID=MN8TOARS.
    10.1016/j.jss.2019.110463
  11. Fernandes, J.P.; Martins, P.; Pardo, A.; Saraiva, J.; Viera, M.. "Memoized zipper-based attribute grammars and their higher order extension". Science of Computer Programming 173 (2019): 71-94. http://www.scopus.com/inward/record.url?eid=2-s2.0-85057128890&partnerID=MN8TOARS.
    10.1016/j.scico.2018.10.006
  12. Lima, L.G.; Soares-Neto, F.; Lieuthier, P.; Castor, F.; Melfe, G.; Fernandes, J.P.. "On Haskell and energy efficiency". Journal of Systems and Software 149 (2019): 554-580. http://www.scopus.com/inward/record.url?eid=2-s2.0-85059519783&partnerID=MN8TOARS.
    10.1016/j.jss.2018.12.014
  13. Pardo, A.; Fernandes, J.P.; Saraiva, J.. "Multiple intermediate structure deforestation by shortcut fusion". Science of Computer Programming 132 (2016): 77-95. http://www.scopus.com/inward/record.url?eid=2-s2.0-84992741388&partnerID=MN8TOARS.
    10.1016/j.scico.2016.07.004
  14. Cunha, J.; Paulo Fernandes, J.; Martins, P.; Mendes, J.; Pereira, R.; Saraiva, J.. "Evaluating refactorings for spreadsheet models". Journal of Systems and Software 118 (2016): 234-250. http://www.scopus.com/inward/record.url?eid=2-s2.0-84971441815&partnerID=MN8TOARS.
    10.1016/j.jss.2016.04.043
  15. Martins, P.; Fernandes, J.P.; Saraiva, J.; Van Wyk, E.; Sloane, A.. "Embedding attribute grammars and their extensions using functional zippers". Science of Computer Programming 132 (2016): 2-28. http://www.scopus.com/inward/record.url?eid=2-s2.0-84975528869&partnerID=MN8TOARS.
    10.1016/j.scico.2016.03.005
  16. Cunha, J.; Fernandes, J.P.; Mendes, J.; Saraiva, J.. "Embedding, evolution, and validation of model-driven spreadsheets". IEEE Transactions on Software Engineering 41 3 (2015): 241-263. http://www.scopus.com/inward/record.url?eid=2-s2.0-84925130119&partnerID=MN8TOARS.
    10.1109/TSE.2014.2361141
  17. Pardo, A.; Fernandes, J.P.; Saraiva, J.. "Shortcut fusion rules for the derivation of circular and higher-order programs". Higher-Order and Symbolic Computation 24 1-2 (2011): 115-149. http://www.scopus.com/inward/record.url?eid=2-s2.0-84861682511&partnerID=MN8TOARS.
    10.1007/s10990-011-9076-x

Other

Other output
  1. Green Software Lab: Towards an Engineering Discipline for Green Software. Impact. 2021. Abreu, R; Couto, M; Cruz, L; Cunha, J; Fernandes, JP; Pereira, R; Perez, A; Saraiva, J.
    10.21820/23987073.2018.9
  2. Green software lab: Towards an engineering discipline for green software. 2021. Abreu, R.; Couto, M.; Cruz, L.; Cunha, J.; Fernandes, J.P.; Pereira, R.; Perez, A.; Saraiva, J.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85113445452&partnerID=MN8TOARS.
    10.21820/23987073.2018.9
  3. Small changes, big impacts: Leveraging diversity to improve energy efficiency. 2020. Oliveira, W.; Matalonga, H.; Pinto, G.; Castor, F.; Fernandes, J.P.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85099896890&partnerID=MN8TOARS.
  4. Querying Spreadsheets: An Empirical Study. 2015. Cunha, Jacome; Fernandes, JoaoPaulo; Pereira, Rui; Saraiva, Joao.
  5. An Empirical Study on End-users Productivity Using Model-based Spreadsheets. 2011. Beckwith, Laura; Cunha, Jacome; Fernandes, JoaoPaulo; Saraiva, Joao.
Activities

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2022/09 - Current Ranking compilers by energy efficiency
Supervisor of Pedro Azevedo
 Mestrado em Engenharia Informática (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
2022/09 - Current Ranking Mobile Applications by Energy Efficiency
Supervisor of João Rocha
 Mestrado em Engenharia Informática (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
2021/09 - Current Quantum Computing for Sustainability
Supervisor of Cláudio Gomes
Universidade do Porto Faculdade de Engenharia, Portugal
2021/09 - Current On the Implementation of a Quantum Library for General Purpose Quantum Development
Supervisor of Filipe Ferreira
Universidade do Porto Faculdade de Engenharia, Portugal
2021/09 - 2022/10 Planting Trees in the Android Forest: Energy Labeling for Mobile Applications
Supervisor of André Moutinho
 Mestrado em Engenharia Informática (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
2021/09 - 2022/10 E-APK: Energy Pattern Detection in Decompiled Android Applications
Co-supervisor of Nelson Gregório
 Mestrado em Engenharia Informática (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
2021/09 - 2022/07 Empowering Classical AI with Quantum Computing
Co-supervisor of Filipe Santos
Universidade de Coimbra, Portugal
2021/09 - 2022/07 Program Transformations for improving software energy efficiency
Supervisor of Bernardo Santos
 Mestrado em Engenharia Informática (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
2021/09 - 2022/07 On the Automation of Machine Learning Pipelines
Supervisor of Alexandre Carqueja
 Mestrado em Engenharia Informática (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
2019/09 - 2022/07 Characterizing Data Scientists in the Real World
Co-supervisor
Universidade do Minho, Portugal
2020/09 - 2021/11 Quantum Computing for Optimizing Power Flow in Energy Grids
Supervisor
Universidade de Coimbra, Portugal
2020/09 - 2021/07 Portfolio Optimization in Financial Markets using Quantum Computing
Supervisor
Universidade de Coimbra, Portugal
2020/09 - 2021/07 Quantum Computing for Optimizing Routes in Smart Cities
Co-supervisor of André Santos
Universidade do Porto Faculdade de Engenharia, Portugal
2014/10 - 2020/12 Supporting Software Developers in Making Energy Saving Decisions
Co-supervisor of Marco Rafael Linhares Couto
 Informática (PhD)
Universidade do Minho, Portugal
2018/02 - 2019/02 Development of a module based in a service oriented architecture
Co-supervisor
 Engenharia Informática (Master)
Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal
2019 - 2019 Human Assistance Dashboard
Co-supervisor
 Engenharia Informática (Master)
Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal
2019 - 2019 Plataforma para publicação e subscrição de conteúdo específico de uma área.
Co-supervisor
 Engenharia Informática (Master)
Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal
2018 - 2019 A Study on the Energy Efficiency of Matrix Transposition Algorithms
Co-supervisor
 Engenharia Informática (Master)
Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal
2018 - 2019 A New Build Language
Co-supervisor of Nelson Fonseca
Universidade da Beira Interior, Portugal
2014 - 2016 Energy Consumption of Functional Programs in the Context of Lazy Evaluation
Supervisor
Universidade da Beira Interior, Portugal
2015 - 2015 Test automation and code dependencies in highly complex environments
Co-supervisor
 Engenharia Informática (Master)
Universidade da Beira Interior, Portugal
2010 - 2014 Embedding Attribute Grammars and their Extensions using Functional Zippers
Co-supervisor of Pedro Martins
Universidade do Minho, Portugal

Event organisation

Event name
Type of event (Role) 		Institution / Organization
2018 - Current The 18th IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2018) (2018)
Conference (President of the Organising Committee)
2015 - Current The 5th Summer School on Grand Timely Topics in Software Engineering (GTTSE 2015) (2015)
Conference (Member of the Scientific Committee)

Conference scientific committee

Conference name Conference host
2022 - Current The 1st International Conference on Quantum Software Analysis, Evolution and Engineering (Q-SANER 2022)
2022 - Current The 15th International Conference on the Quality of Information and Communications Technology (QUATIC 2022), Aspects in Quantum Computing Track
2021 - Current The 2nd International Workshop on Quantum Software Engineering (Q-SE2021)
2020 - Current The 9th Symposium on Languages, Applications and Technologies (SLATE 2020), Computer-Language Track
2020 - Current The 1st International Workshop on Quantum Software Engineering (Q-SE 2020)
2020 - Current The 24th Brazilian Symposium on Programming Languages (SBLP 2020)
2020 - Current The Data Showcase track of the Mining Software Repositories (MSR 2020) International Conference
2020 - Current The 23rd Iberoamerican Conference on Software Engineering (CIbSE 2020), Software Engineering Track
2020 - Current The 46th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2020), Foundations of Software Engineering Track
2019 - Current The 8th International Workshop on Requirements Engineering for Sustainable Systems (RE4SuSy 2019)
2019 - Current The Student Research Competition (SRC) of the 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2019)
2019 - Current The 19th IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2019)
2019 - Current The 33rd Brazilian Symposium on Software Engineering (SBES 2019)
2019 - Current The 23rd Brazilian Symposium on Programming Languages (SBLP 2019)
2019 - Current The 7th Workshop on Advances in Programming Languages (WAPL 2019)
2019 - Current The 8th Symposium on Languages, Applications and Technologies (SLATE 2019), Human-Computer Languages track
2018 - Current The 5th International Workshop on Software Engineering Methods in Spreadsheets (SEMS 2018)
2018 - Current The 7th International Workshop on Requirements Engineering for Sustainable Systems (RE4SuSy 2018)
2018 - Current The 15th International Conference on Parallel Problem Solving from Nature (PPSN 2018)
2018 - Current The 22nd Brazilian Symposium on Programming Languages (SBLP 2018)
2018 - Current The 6th International Workshop on Green and Sustainable Software (Greens 2018)
2017 - Current The 17th IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2017)
2017 - Current The 21st Brazilian Symposium on Programming Languages (SBLP 2017)
2017 - Current The 4th International Workshop on Software Engineering Methods in Spreadsheets (SEMS 2017)
2017 - Current The 6th International Workshop on Requirements Engineering for Sustainable Systems (RE4SuSy 2017)
2016 - Current The 5th International Workshop on Requirements Engineering for Sustainable Systems (RE4SuSy 2016)
2016 - Current The 20th Brazilian Symposium on Programming Languages (SBLP 2016)
2016 - Current The 3rd International Workshop on Software Engineering Methods in Spreadsheets (SEMS 2016)
2016 - Current The 16th IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2016)
2015 - Current The 5th Summer School on Grand Timely Topics in Software Engineering (GTTSE 2015)
2013 - Current The 22nd ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2013)
2011 - Current The 4th International Conference on Software Language Engineering (SLE 2011)

Interview (tv / radio show)

Program Topic
2018/09 - Current 90 segundos de ciência GreenHub: Este projeto quer ajudá-lo a poupar a bateria do seu smartphone
2018/04 - Current Ponto de Partida As baterias do futuro
Distinctions

Award

2019 MSR Data Showcase Special Mention Award
2019 SBES Outstanding Reviewer Award

Other distinction

2005 Prémio Universidade do Minho
Universidade do Minho, Portugal
2004 Bolsa de Mérito Escolar
Ministério da Educação, Brazil
2003 Prémio de Mérito Escolar
Universidade do Minho, Portugal
2002 Prémio de Mérito Escolar
Universidade do Minho, Portugal
2001 Prémio de Mérito Escolar
Universidade do Minho, Portugal
2000 Prémio de Mérito Escolar
Universidade do Minho, Portugal