Designing and Implementing Combinator Languages. - S. Doaitse Swierstra; Pablo R. Azero Alcocer; João Saraiva (Advanced Functional Programming, 1998)

Lrc - A Generator for Incremental Language-Oriented Tools. - Matthijs F. Kuiper; João Saraiva (CC, 1998)

Data Structure Free Compilation. - João Saraiva; S. Doaitse Swierstra (CC, 1999)

Functional Incremental Attribute Evaluation. - João Saraiva; S. Doaitse Swierstra; Matthijs F. Kuiper (CC, 2000)

Component-based Programming for Attribute Grammars. - João Saraiva; Pablo R. Azero Alcocer (APPIA-GULP-PRODE, 2001)

Component-Based Programming for Higher-Order Attribute Grammars. - João Saraiva (GPCE, 2002)

Generating Spreadsheet-Like Tools from Strong Attribute Grammars. - João Saraiva; S. Doaitse Swierstra (GPCE, 2003)

Embedding Domain Specific Languages in the Attribute Grammar Formalism. - João Saraiva; Sérgio Schneider (HICSS, 2003)

Preface. - Barrett R. Bryant; João Saraiva (LDTA@ETAPS, 2003)

Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications. - João Carlos Silva 002; José Creissac Campos; João Saraiva (DSV-IS, 2006)

A shortcut fusion rule for circular program calculation. - João Paulo Fernandes; Alberto Pardo; João Saraiva (Haskell, 2007)

Tools and libraries to model and manipulate circular programs. - João Paulo Fernandes; João Saraiva (PEPM, 2007)

Integration of RE and MDE paradigms: the ProjectIT approach and tools. - Alberto Rodrigues da Silva; João Saraiva; David de Almeida Ferreira; R. Silva; Carlos Videira (IET Softw., 2007)

Report on selected papers from LDTA 2003. - Barrett R. Bryant; João Saraiva (Sci. Comput. Program., 2007)

The Objects and Arrows of Computational Design. - Don S. Batory; Maider Azanza; João Saraiva (MoDELS, 2008)

Disentangling Denotational Semantics Definitions. - Fabio Tirelo; Roberto da Silva Bigonha; João Saraiva (J. Univers. Comput. Sci., 2008)

From spreadsheets to relational databases and back. - Jácome Cunha; João Saraiva; Joost Visser 001 (PEPM, 2009)

Shortcut fusion rules for the derivation of circular and higher-order monadic programs. - Alberto Pardo; João Paulo Fernandes; João Saraiva (PEPM, 2009)

A generic library for GUI reasoning and testing. - João Carlos Silva 002; João Saraiva; José Creissac Campos (SAC, 2009)

Discovery-based edit assistance for spreadsheets. - Jácome Cunha; João Saraiva; Joost Visser 001 (VL/HCC, 2009)

The GUISurfer tool: towards a language independent approach to reverse engineering GUI code. - João Carlos Silva 002; Carlos E. Silva; Rui D. Gonçalo; João Saraiva; José Creissac Campos (EICS, 2010)

Automatically Inferring ClassSheet Models from Spreadsheets. - Jácome Cunha; Martin Erwig; João Saraiva (VL/HCC, 2010)

GUI Inspection from Source Code Analysis. - João Carlos Silva 002; José Creissac Campos; João Saraiva (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Type-Safe Evolution of Spreadsheets. - Jácome Cunha; Joost Visser 001; Tiago L. Alves; João Saraiva (FASE, 2011)

End-Users Productivity in Model-Based Spreadsheets: An Empirical Study. - Laura Beckwith; Jácome Cunha; João Paulo Fernandes; João Saraiva (IS-EUD, 2011)

Strictification of circular programs. - João Paulo Fernandes; João Saraiva; Daniel Seidel; Janis Voigtländer (PEPM, 2011)

Embedding and evolution of spreadsheet models in spreadsheet systems. - Jácome Cunha; Jorge Mendes 001; João Saraiva; João Paulo Fernandes (VL/HCC, 2011)

An Empirical Study on End-users Productivity Using Model-based Spreadsheets - Laura Beckwith; Jácome Cunha; João Paulo Fernandes; João Saraiva (CoRR, 2011)

Shortcut fusion rules for the derivation of circular and higher-order programs. - Alberto Pardo; João Paulo Fernandes; João Saraiva (High. Order Symb. Comput., 2011)

Towards a Catalog of Spreadsheet Smells. - Jácome Cunha; João Paulo Fernandes; Hugo Ribeiro; João Saraiva (ICCSA (4), 2012)

Program and Aspect Metrics for MATLAB. - Pedro Martins 001; Paulo Lopes; João Paulo Fernandes; João Saraiva; João M. P. Cardoso (ICCSA (4), 2012)

Bidirectional Transformation of Model-Driven Spreadsheets. - Jácome Cunha; João Paulo Fernandes; Jorge Mendes 001; Hugo Pacheco 001; João Saraiva (ICMT@TOOLS, 2012)

MDSheet: A framework for model-driven spreadsheet engineering. - Jácome Cunha; João Paulo Fernandes; Jorge Mendes 001; João Saraiva (ICSE, 2012)

A bidirectional model-driven spreadsheet environment. - Jácome Cunha; João Paulo Fernandes; Jorge Mendes 001; João Saraiva (ICSE, 2012)

Towards an evaluation of bidirectional model-driven spreadsheets. - Jácome Cunha; João Paulo Fernandes; Jorge Mendes 001; João Saraiva (USER@ICSE, 2012)

A Quality Model for Spreadsheets. - Jácome Cunha; João Paulo Fernandes; Christophe Peixoto; João Saraiva (QUATIC, 2012)

From relational ClassSheets to UML+OCL. - Jácome Cunha; João Paulo Fernandes; João Saraiva (SAC, 2012)

Model-Based Programming Environments for Spreadsheets. - Jácome Cunha; João Saraiva; Joost Visser 001 (SBLP, 2012)

A Web Portal for the Certification of Open Source Software. - Pedro Martins 001; João Paulo Fernandes; João Saraiva (SEFM Satellite Events, 2012)

A Purely Functional Combinator Language for Software Quality Assessment. - Pedro Martins 001; João Paulo Fernandes; João Saraiva (SLATE, 2012)

SmellSheet detective: A tool for detecting bad smells in spreadsheets. - Jácome Cunha; João Paulo Fernandes; Pedro Martins 001; Jorge Mendes 001; João Saraiva (VL/HCC, 2012)

Extension and implementation of ClassSheet models. - Jácome Cunha; João Paulo Fernandes; Jorge Mendes 001; João Saraiva (VL/HCC, 2012)

Zipper-Based Modular and Deforested Computations. - Pedro Martins 001; João Paulo Fernandes; João Saraiva (CEFP, 2013)

Design and Implementation of Queries for Model-Driven Spreadsheets. - Jácome Cunha; João Paulo Fernandes; Jorge Mendes 001; Rui Pereira; João Saraiva (CEFP, 2013)

Spreadsheet Engineering. - Jácome Cunha; João Paulo Fernandes; Jorge Mendes 001; João Saraiva (CEFP, 2013)

Complexity Metrics for ClassSheet Models. - Jácome Cunha; João Paulo Fernandes; Jorge Mendes 001; João Saraiva (ICCSA (2), 2013)

A Framework for Modular and Customizable Software Analysis. - Pedro Martins 001; Nuno Ramos Carvalho; João Paulo Fernandes; José João Almeida; João Saraiva (ICCSA (2), 2013)

Using Cloogy and Case Based Reasoning to Identify Electrical Consumptions. - Antonio Damasceno; Andreia Carreiro; João Saraiva; Jose Neto; Jorge Landeck (ICDM (Workshops), 2013)

Zipper-Based Attribute Grammars and Their Extensions. - Pedro Martins 001; João Paulo Fernandes; João Saraiva (SBLP, 2013)

QuerySheet: A bidirectional query environment for model-driven spreadsheets. - Orlando Belo; Jácome Cunha; João Paulo Fernandes; Jorge Mendes 001; Rui Pereira; João Saraiva (VL/HCC, 2013)

Querying model-driven spreadsheets. - Jácome Cunha; João Paulo Fernandes; Jorge Mendes 001; Rui Pereira; João Saraiva (VL/HCC, 2013)

Special section on the Brazilian Symposium on Programming Languages. - André L. M. Santos; João Saraiva (Sci. Comput. Program., 2013)

Defining Energy Consumption Plans for Data Querying Processes. - Ricardo Gonçalves; João Saraiva; Orlando Belo (BDCloud, 2014)

Graphical Querying of Model-Driven Spreadsheets. - Jácome Cunha; João Paulo Fernandes; Rui Pereira; João Saraiva (HCI (12), 2014)

Smelling Faults in Spreadsheets. - Rui Abreu 001; Jácome Cunha; João Paulo Fernandes; Pedro Martins 001; Alexandre Perez; João Saraiva (ICSME, 2014)

FaultySheet Detective: When Smells Meet Fault Localization. - Rui Abreu 001; Jácome Cunha; João Paulo Fernandes; Pedro Martins 001; Alexandre Perez; João Saraiva (ICSME, 2014)

Generating attribute grammar-based bidirectional transformations from rewrite rules. - Pedro Martins 001; João Saraiva; João Paulo Fernandes; Eric Van Wyk (PEPM, 2014)

Refactoring Meets Model-Driven Spreadsheet Evolution. - Jácome Cunha; João Paulo Fernandes; Pedro Martins 001; Rui Pereira; João Saraiva (QUATIC, 2014)

Detecting Anomalous Energy Consumption in Android Applications. - Marco Couto 001; Tiago Carção; Jácome Cunha; João Paulo Fernandes; João Saraiva (SBLP, 2014)

Embedding model-driven spreadsheet queries in spreadsheet systems. - Jácome Cunha; João Paulo Fernandes; Jorge Mendes 001; Rui Pereira; João Saraiva (VL/HCC, 2014)

ES-SQL: Visually querying spreadsheets. - Jácome Cunha; João Paulo Fernandes; Jorge Mendes 001; Rui Pereira; João Saraiva (VL/HCC, 2014)

An Approach for Graphical User Interface External Bad Smells Detection. - João Carlos Silva 002; José Creissac Campos; João Saraiva; José Luís Silva 001 (WorldCIST (2), 2014)

Model-based programming environments for spreadsheets. - Jácome Cunha; Jorge Mendes 001; João Saraiva; Joost Visser 001 (Sci. Comput. Program., 2014)

Watch Out for that Tree! A Tutorial on Shortcut Deforestation. - João Paulo Fernandes; Jácome Cunha; João Saraiva; Alberto Pardo (CEFP, 2015)

Establishing Energy Consumption Plans for Green Star-Queries in Data Warehousing Systems. - Orlando Belo; Ricardo Gonçalves; João Saraiva (DSDIS, 2015)

Towards the Design and Implementation of Aspect-Oriented Programming for Spreadsheets. - Pedro Maia; Jorge Mendes 001; Jácome Cunha; Henrique Rebêlo; João Saraiva (SEMS@ICSE, 2015)

Towards a catalog of usability smells. - Diogo Almeida; José Creissac Campos; João Saraiva; João Carlos Silva 002 (SAC, 2015)

BiYacc: Roll Your Parser and Reflective Printer into One. - Zirun Zhu; Hsiang-Shang Ko; Pedro Martins 001; João Saraiva; Zhenjiang Hu (Bx@STAF, 2015)

Querying Spreadsheets: An Empirical Study. - Jácome Cunha; João Paulo Fernandes; Rui Pereira; João Saraiva (CoRR, 2015)

Embedding, Evolution, and Validation of Model-Driven Spreadsheets. - Jácome Cunha; João Paulo Fernandes; Jorge Mendes 001; João Saraiva (IEEE Trans. Software Eng., 2015)

The influence of the Java collection framework on overall energy consumption. - Rui Pereira; Marco Couto 001; João Saraiva; Jácome Cunha; João Paulo Fernandes (GREENS@ICSE, 2016)

User-friendly spreadsheet querying: an empirical study. - Rui Pereira; João Saraiva; Jácome Cunha; João Paulo Fernandes (SAC, 2016)

Memoized Zipper-Based Attribute Grammars. - João Paulo Fernandes; Pedro Martins 001; Alberto Pardo; João Saraiva; Marcos Viera (SBLP, 2016)

Parsing and reflective printing, bidirectionally. - Zirun Zhu; Yongzhe Zhang; Hsiang-Shang Ko; Pedro Martins 001; João Saraiva; Zhenjiang Hu (SLE, 2016)

Towards an Automated Classification of Spreadsheets. - Jorge Mendes 001; Kha N. Do; João Saraiva (STAF Workshops, 2016)

Model inference for spreadsheets. - Jácome Cunha; Martin Erwig; Jorge Mendes 001; João Saraiva (Autom. Softw. Eng., 2016)

Determinants of Consumer Intention to Use Online Gambling Services: An Empirical Study of the Portuguese Market. - Nuno Fortes; António Carrizo Moreira; João Saraiva (Int. J. E Bus. Res., 2016)

Evaluating refactorings for spreadsheet models. - Jácome Cunha; João Paulo Fernandes; Pedro Martins 001; Jorge Mendes 001; Rui Pereira; João Saraiva (J. Syst. Softw., 2016)

Embedding attribute grammars and their extensions using functional zippers. - Pedro Martins 001; João Paulo Fernandes; João Saraiva; Eric Van Wyk; Anthony Sloane (Sci. Comput. Program., 2016)

Multiple intermediate structure deforestation by shortcut fusion. - Alberto Pardo; João Paulo Fernandes; João Saraiva (Sci. Comput. Program., 2016)

Towards systematic spreadsheet construction processes. - Jorge Mendes 001; Jácome Cunha; Francisco J. Duarte; Gregor Engels; João Saraiva; Stefan Sauer 001 (ICSE (Companion Volume), 2017)

Helping programmers improve the energy efficiency of source code. - Rui Pereira; Tiago Carção; Marco Couto 001; Jácome Cunha; João Paulo Fernandes; João Saraiva (ICSE (Companion Volume), 2017)

Towards a Green Ranking for Programming Languages. - Marco Couto 001; Rui Pereira; Francisco Ribeiro; Rui Rua; João Saraiva (SBLP, 2017)

Energy efficiency across programming languages: how do energy, time, and memory relate? - Rui Pereira; Marco Couto 001; Francisco Ribeiro; Rui Rua; Jácome Cunha; João Paulo Fernandes; João Saraiva (SLE, 2017)

Products go Green: Worst-Case Energy Consumption in Software Product Lines. - Marco Couto 001; Paulo Borba; Jácome Cunha; João Paulo Fernandes; Rui Pereira; João Saraiva (SPLC (A), 2017)

Energy Consumption Measurement of C/C++ Programs Using Clang Tooling. - Mário Santos; João Saraiva; Zoltán Porkoláb; Dániel Krupp (SQAMIA, 2017)

Systematic spreadsheet construction processes. - Jorge Mendes 001; Jácome Cunha; Francisco J. Duarte; Gregor Engels; João Saraiva; Stefan Sauer 001 (VL/HCC, 2017)

Tabula: A Language to Model Spreadsheet Tables. - Jorge Mendes 001; João Saraiva (CoRR, 2017)

jStanley: placing a green thumb on Java collections. - Rui Pereira; Pedro Simão; Jácome Cunha; João Saraiva (ASE, 2018)

Energyware Analysis. - Rui Pereira; Marco Couto 001; Francisco Ribeiro; Rui Rua; João Saraiva (SQAMIA, 2018)

Paint Your Programs Green: On the Energy Efficiency of Data Structures. - Rui Pereira; Marco Couto 001; Jácome Cunha; Gilberto Melfe; João Saraiva; João Paulo Fernandes (CEFP, 2019)

Energy Efficient Software in an Engineering Course. - João Saraiva; Rui Pereira (CEFP, 2019)

Get Your Spreadsheets Under (Version) Control. - José Nuno Macedo; Ricardo Moreira; Jácome Cunha; João Saraiva (CIbSE, 2019)

Towards using Memoization for Saving Energy in Android. - Rui Rua; Marco Couto 001; Adriano Pinto; Jácome Cunha; João Saraiva (CIbSE, 2019)

GreenSource: a large-scale collection of Android code, tests and energy metrics. - Rui Rua; Marco Couto 001; João Saraiva (MSR, 2019)

Java Stream Fusion: Adapting FP mechanisms for an OO setting. - Francisco Ribeiro; João Saraiva; Alberto Pardo (SBLP, 2019)

Memoized zipper-based attribute grammars and their higher order extension. - João Paulo Fernandes; Pedro Martins 001; Alberto Pardo; João Saraiva; Marcos Viera (Sci. Comput. Program., 2019)

InDubio: A Combinator Library to Disambiguate Ambiguous Grammars. - José Nuno Macedo; João Saraiva (ICCSA (4), 2020)

On energy debt: managing consumption on evolving software. - Marco Couto 001; Daniel Maia; João Saraiva; Rui Pereira (TechDebt@ICSE, 2020)

Greenspecting Android virtual keyboards. - Rui Rua; Tiago Fraga; Marco Couto 001; João Saraiva (MOBILESoft@ICSE, 2020)

Energy wars - Chrome vs. Firefox: which browser is more energy efficient? - João de Macedo; João Aloísio; Nelson Gonçalves; Rui Pereira; João Saraiva (ASE Workshops, 2020)

E-Debitum: managing software energy debt. - Daniel Maia; Marco Couto 001; João Saraiva; Rui Pereira (ASE Workshops, 2020)

Expressing disambiguation filters as combinators. - José Nuno Macedo; João Saraiva (SAC, 2020)

Energy Refactorings for Android in the Large and in the Wild. - Marco Couto 001; João Saraiva; João Paulo Fernandes (SANER, 2020)

Understanding the Impact of Introducing Lambda Expressions in Java Programs. - Walter Lucas Monteiro de Mendonça; José Fortes Neto; Francisco Vitor Lopes; Diego Marcilio; Rodrigo Bonifácio; Edna Dias Canedo; Fernanda Lima; João Saraiva (J. Softw. Eng. Res. Dev., 2020)

SPELLing out energy leaks: Aiding developers locate energy inefficient code. - Rui Pereira; Tiago Carção; Marco Couto 001; Jácome Cunha; João Paulo Fernandes; João Saraiva (J. Syst. Softw., 2020)

Unifying Parsing and Reflective Printing for Fully Disambiguated Grammars. - Zirun Zhu; Hsiang-Shang Ko; Yongzhe Zhang; Pedro Martins 001; João Saraiva; Zhenjiang Hu (New Gener. Comput., 2020)

Patterns and Energy Consumption: Design, Implementation, Studies, and Stories. - Daniel Feitosa; Luís Cruz 002; Rui Abreu 001; João Paulo Fernandes; Marco Couto 001; João Saraiva (Software Sustainability, 2021)

Bringing Green Software to Computer Science Curriculum: Perspectives from Researchers and Educators. - João Saraiva; Ziliang Zong; Rui Pereira (ITiCSE (1), 2021)

On the Runtime and Energy Performance of WebAssembly: Is WebAssembly superior to JavaScript yet? - João de Macedo; Rui Abreu 001; Rui Pereira; João Saraiva (ASE Workshops, 2021)

On Understanding Contextual Changes of Failures. - Francisco Ribeiro; Rui Abreu 001; João Saraiva (QRS, 2021)

Identification of microservices from monolithic applications through topic modelling. - Miguel A. Brito; Jácome Cunha; João Saraiva (SAC, 2021)

Green Software Lab: Towards an Engineering Discipline for Green Software. - Rui Abreu 001; Marco Couto 001; Luís Cruz 002; Jácome Cunha; João Paulo Fernandes; Rui Pereira; Alexandre Perez; João Saraiva (CoRR, 2021)

Ranking programming languages by energy efficiency. - Rui Pereira; Marco Couto 001; Francisco Ribeiro; Rui Rua; Jácome Cunha; João Paulo Fernandes; João Saraiva (Sci. Comput. Program., 2021)

Zipping Strategies and Attribute Grammars. - José Nuno Macedo; Marcos Viera; João Saraiva (FLOPS, 2022)

Framing Program Repair as Code Completion. - Francisco Ribeiro; Rui Abreu 001; João Saraiva (APR@ICSE, 2022)

WebAssembly versus JavaScript: Energy and Runtime Performance. - João de Macedo; Rui Abreu 001; Rui Pereira; João Saraiva (ICT4S, 2022)

Energy Efficiency of Python Machine Learning Frameworks. - Salwa Ajel; Francisco Ribeiro; Ridha Ejbali; João Saraiva (ISDA (2), 2022)

E-MANAFA: Energy Monitoring and ANAlysis tool For Android. - Rui Rua; João Saraiva (ASE, 2022)

Energy Efficiency of Web Browsers in the Android Ecosystem. - Nélson Gonçalves; Rui Rua; Jácome Cunha; Rui Pereira; João Saraiva (CoRR, 2022)

Understanding the Motivations, Challenges, and Practices of Software Rejuvenation. - Walter Lucas 001; Rodrigo Bonifácio; João Saraiva (ICSME, 2023)

PyAnaDroid: A fully-customizable execution pipeline for benchmarking Android Applications. - Rui Rua; João Saraiva (ICSME, 2023)

Efficient Embedding of Strategic Attribute Grammars via Memoization. - José Nuno Macedo; Emanuel Rodrigues; Marcos Viera; João Saraiva (PEPM@POPL, 2023)

Exploring Data Analysis and Visualization Techniques for Project Tracking: Insights from the ITC. - André Nobre Barrocas; Alberto Rodrigues da Silva; João Saraiva (QUATIC, 2023)

GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models for Code Repair. - Francisco Ribeiro; José Nuno Castro de Macedo; Kanae Tsushima; Rui Abreu 001; João Saraiva (SLE, 2023)

A congestion-based local search for transmission expansion planning problems. - Phillipe V. Gomes; Luiz Eduardo de Oliveira; João Saraiva (Swarm Evol. Comput., 2023)

pyZtrategic: A Zipper-Based Embedding of Strategies and Attribute Grammars in Python. - Emanuel Rodrigues; José Nuno Macedo; Marcos Viera; João Saraiva (ENASE, 2024)

Tabulation with Zippers. - Marcos Viera; Alberto Pardo; João Saraiva (FLOPS, 2024)

Large Language Models in Automated Repair of Haskell Type Errors. - Sofia Santos; João Saraiva; Francisco Ribeiro (APR, 2024)

On the Impact of PowerCap in Haskell, Java, and Python. - Luís Maia; Marta Sá; Inês Ferreira; Simão Cunha; Luís Silva; Paulo Azevedo; João Saraiva (RAW, 2024)

Trading Runtime for Energy Efficiency: Leveraging Power Caps to Save Energy across Programming Languages. - Simão Cunha; Luís Silva; João Saraiva; João Paulo Fernandes (SLE, 2024)

Zipper-based embedding of strategic attribute grammars. - José Nuno Macedo; Emanuel Rodrigues; Marcos Viera; João Saraiva (J. Syst. Softw., 2024)

A large-scale empirical study on mobile performance: energy, run-time and memory. - Rui Rua; João Saraiva (Empir. Softw. Eng., 2024)

Embracing modern C++ features: An empirical assessment on the KDE community. - Walter Lucas 001; Fausto Carvalho; Rafael Campos Nunes; Rodrigo Bonifácio; João Saraiva; Paola R. G. Accioly (J. Softw. Evol. Process., 2024)

Programming languages ranking based on energy measurements. - Alberto Gordillo; Coral Calero; María Ángeles Moraga; Félix García 001; João Paulo Fernandes; Rui Abreu 001; João Saraiva (Softw. Qual. J., 2024)

Is There Hypothesis for Attribute Grammars? - Emanuel Rodrigues; José Nuno Macedo; João Saraiva (Programming, 2025)

Property-based Testing of Attribute Grammars. - José Nuno Macedo; Marcos Viera; João Saraiva (SLE, 2025)

Greening AI-enabled Systems with Software Engineering: A Research Agenda for Environmentally Sustainable AI Practices. - Luis Cruz 002; João Paulo Fernandes; Maja H. Kirkeby; Silverio Martínez-Fernández; June Sallou; Hina Anwar; Enrique Barba Roque; Justus Bogner; Joel Castaño; Fernando Castor; Aadil Chasmawala; Simão Cunha; et al. (CoRR, 2025)

Understanding the adoption of modern Javascript features: An empirical study on open-source systems. - Walter Lucas 001; Rafael Campos Nunes; Rodrigo Bonifácio; Fausto Carvalho; Ricardo Lima; Michael Silva; Adriano Torres; Paola R. G. Accioly; Eduardo Monteiro; João Saraiva (Empir. Softw. Eng., 2025)