???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.
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
João Paulo Fernandes

Nomes de citação

  • Fernandes, João Paulo

Identificadores de autor

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

Moradas

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

Websites

Domínios de atuação

  • Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Português (Idioma materno)
Inglês Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2)
Formação
Grau Classificação
2009/04
Concluído
 Informática (Doutoramento)
Especialização em Fundamentos da Computação
Universidade do Minho, Portugal
"Design, Implementation and Calculation of Circular Programs" (TESE/DISSERTAÇÃO)
2004/11
Concluído
 Matemática e Ciências da Computação (Licenciatura)
Universidade do Minho, Portugal
 17/20
Percurso profissional

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2021 - Atual Professor Associado (Docente Universitário) Universidade do Porto Faculdade de Engenharia, Portugal
2016 - 2020 Professor Auxiliar (Docente Universitário) Universidade de Coimbra, Portugal
2013 - 2016 Professor Auxiliar (Docente Universitário) Universidade da Beira Interior, Portugal

Outros

Categoria Profissional
Instituição de acolhimento 		Empregador
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
Projetos

Bolsa

Designação Financiadores
2009 - 2011 Circular Programs as a Programming Paradigm
SFRH/BPD/46987/2008
Bolseiro de Pós-Doutoramento
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
Bolseiro de Doutoramento
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

Projeto

Designação Financiadores
2020/09/29 - Atual CERCIRAS: Connecting Education and Research Communities for an Innovative Resource Aware Society
CA19135
Management Committee Member
European Cooperation in Science and Technology
Em curso
2020/09/01 - 2023/08/31 Sustrainable - Promoting Sustainability as a Fundamental Driver in Software Development Training and Education
2020-1-PT01-KA203-078646
Investigador responsável
Erasmus Plus
Concluído
2021/09/01 - 2023/07/31 GreenStamp - Mobile Energy Efficiency Services
CENTRO-01-0247-FEDER-047256
Investigador responsável
Concluído
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
Concluído
2017 - 2019 Focusing Education on Composability, Comprehensibility and Correctness of Working Software
2017-1-SK01-KA203-035402
Investigador
Universidade de Coimbra, Portugal
 Erasmus Plus
Concluído
2016 - 2018 Software Repositories for Green Computing
Proj. 300/2015
Investigador responsável
Fundação Luso-Americana
Concluído
2015 - 2017 Spreadsheet Models for the Real World
FCT/DAAD 441.00
Investigador
Fundação para a Ciência e a Tecnologia
Concluído
2014 - 2016 Towards Variational Software, Types, and Spreadsheets
Proj. 233/2014
Investigador
Fundação Luso-Americana
Concluído
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
Concluído
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
Concluído
2011 - 2013 Bidirectional Transformations Applied to Programming Environments for Scientific Computing
FLAD/NSF
Investigador
Fundação Luso-Americana
Concluído
2010 - 2012 Strictification of Circular Programs in Calculational Form
FCT/DAAD
Investigador
Fundação para a Ciência e a Tecnologia
Concluído
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
Concluído
Produções

Publicações

Artigo em conferência
  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". Trabalho apresentado em 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". Trabalho apresentado em 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". Trabalho apresentado em 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?". Trabalho apresentado em 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". Trabalho apresentado em 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". Trabalho apresentado em 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". Trabalho apresentado em 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". Trabalho apresentado em 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". Trabalho apresentado em 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". Trabalho apresentado em 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". Trabalho apresentado em 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". Trabalho apresentado em 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". Trabalho apresentado em 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
Artigo em revista
  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
Capítulo de livro
  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
Edição de livro
  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.
Livro
  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

Outros

Outra produção
  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.
Atividades

Orientação

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

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação) 		Instituição / Organização
2018 - Atual The 18th IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2018) (2018)
Conferência (Presidente da Comissão Organizadora)
2015 - Atual The 5th Summer School on Grand Timely Topics in Software Engineering (GTTSE 2015) (2015)
Conferência (Membro da Comissão Científica)

Arbitragem científica em conferência

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

Entrevista / Programa (rádio / tv)

Programa Tema
2018/09 - Atual 90 segundos de ciência GreenHub: Este projeto quer ajudá-lo a poupar a bateria do seu smartphone
2018/04 - Atual Ponto de Partida As baterias do futuro
Distinções

Prémio

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

Outra distinção

2005 Prémio Universidade do Minho
Universidade do Minho, Portugal
2004 Bolsa de Mérito Escolar
Ministério da Educação, Brasil
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