João Saraiva

Orcid: 0000-0002-5686-7151

According to our database1, João Saraiva authored at least 133 papers between 1998 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Programming languages ranking based on energy measurements.
Softw. Qual. J., December, 2024

Embracing modern C++ features: An empirical assessment on the KDE community.
J. Softw. Evol. Process., May, 2024

A large-scale empirical study on mobile performance: energy, run-time and memory.
Empir. Softw. Eng., February, 2024

Zipper-based embedding of strategic attribute grammars.
J. Syst. Softw., 2024

Large Language Models in Automated Repair of Haskell Type Errors.
Proceedings of the IEEE/ACM International Workshop on Automated Program Repair, 2024

Tabulation with Zippers.
Proceedings of the Functional and Logic Programming - 17th International Symposium, 2024

pyZtrategic: A Zipper-Based Embedding of Strategies and Attribute Grammars in Python.
Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering, 2024

2023
A congestion-based local search for transmission expansion planning problems.
Swarm Evol. Comput., December, 2023

GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models for Code Repair.
Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering, 2023

Exploring Data Analysis and Visualization Techniques for Project Tracking: Insights from the ITC.
Proceedings of the Quality of Information and Communications Technology, 2023

Efficient Embedding of Strategic Attribute Grammars via Memoization.
Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, 2023

PyAnaDroid: A fully-customizable execution pipeline for benchmarking Android Applications.
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2023

Understanding the Motivations, Challenges, and Practices of Software Rejuvenation.
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2023

2022
Energy Efficiency of Web Browsers in the Android Ecosystem.
CoRR, 2022

E-MANAFA: Energy Monitoring and ANAlysis tool For Android.
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Energy Efficiency of Python Machine Learning Frameworks.
Proceedings of the Intelligent Systems Design and Applications - 22nd International Conference on Intelligent Systems Design and Applications (ISDA 2022) Held December 12-14, 2022, 2022

WebAssembly versus JavaScript: Energy and Runtime Performance.
Proceedings of the International Conference on ICT for Sustainability, 2022

Framing Program Repair as Code Completion.
Proceedings of the 3rd IEEE/ACM International Workshop on Automated Program Repair, 2022

Zipping Strategies and Attribute Grammars.
Proceedings of the Functional and Logic Programming - 16th International Symposium, 2022

2021
Ranking programming languages by energy efficiency.
Sci. Comput. Program., 2021

Green Software Lab: Towards an Engineering Discipline for Green Software.
CoRR, 2021

Identification of microservices from monolithic applications through topic modelling.
Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

On Understanding Contextual Changes of Failures.
Proceedings of the 21st IEEE International Conference on Software Quality, 2021

On the Runtime and Energy Performance of WebAssembly: Is WebAssembly superior to JavaScript yet?
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Bringing Green Software to Computer Science Curriculum: Perspectives from Researchers and Educators.
Proceedings of the ITiCSE '21: Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education V.1, Virtual Event, Germany, June 26, 2021

Patterns and Energy Consumption: Design, Implementation, Studies, and Stories.
Proceedings of the Software Sustainability, 2021

2020
Unifying Parsing and Reflective Printing for Fully Disambiguated Grammars.
New Gener. Comput., 2020

SPELLing out energy leaks: Aiding developers locate energy inefficient code.
J. Syst. Softw., 2020

Understanding the Impact of Introducing Lambda Expressions in Java Programs.
J. Softw. Eng. Res. Dev., 2020

Energy Refactorings for Android in the Large and in the Wild.
Proceedings of the 27th IEEE International Conference on Software Analysis, 2020

Expressing disambiguation filters as combinators.
Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

E-Debitum: managing software energy debt.
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering Workshops, 2020

Energy wars - Chrome vs. Firefox: which browser is more energy efficient?
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering Workshops, 2020

Greenspecting Android virtual keyboards.
Proceedings of the MOBILESoft '20: IEEE/ACM 7th International Conference on Mobile Software Engineering and Systems, 2020

On energy debt: managing consumption on evolving software.
Proceedings of the TechDebt '20: International Conference on Technical Debt, 2020

InDubio: A Combinator Library to Disambiguate Ambiguous Grammars.
Proceedings of the Computational Science and Its Applications - ICCSA 2020, 2020

2019
Memoized zipper-based attribute grammars and their higher order extension.
Sci. Comput. Program., 2019

Java Stream Fusion: Adapting FP mechanisms for an OO setting.
Proceedings of the XXIII Brazilian Symposium on Programming Languages, 2019

GreenSource: a large-scale collection of Android code, tests and energy metrics.
Proceedings of the 16th International Conference on Mining Software Repositories, 2019

Towards using Memoization for Saving Energy in Android.
Proceedings of the XXII Iberoamerican Conference on Software Engineering, 2019

Get Your Spreadsheets Under (Version) Control.
Proceedings of the XXII Iberoamerican Conference on Software Engineering, 2019

Energy Efficient Software in an Engineering Course.
Proceedings of the Composability, Comprehensibility and Correctness of Working Software, 2019

Paint Your Programs Green: On the Energy Efficiency of Data Structures.
Proceedings of the Composability, Comprehensibility and Correctness of Working Software, 2019

2018
Energyware Analysis.
Proceedings of the Seventh Workshop on Software Quality Analysis, 2018

jStanley: placing a green thumb on Java collections.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

2017
Tabula: A Language to Model Spreadsheet Tables.
CoRR, 2017

Systematic spreadsheet construction processes.
Proceedings of the 2017 IEEE Symposium on Visual Languages and Human-Centric Computing, 2017

Energy Consumption Measurement of C/C++ Programs Using Clang Tooling.
Proceedings of the Sixth Workshop on Software Quality Analysis, 2017

Products go Green: Worst-Case Energy Consumption in Software Product Lines.
Proceedings of the 21st International Systems and Software Product Line Conference, 2017

Energy efficiency across programming languages: how do energy, time, and memory relate?
Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, 2017

Towards a Green Ranking for Programming Languages.
Proceedings of the 21st Brazilian Symposium on Programming Languages, 2017

Helping programmers improve the energy efficiency of source code.
Proceedings of the 39th International Conference on Software Engineering, 2017

Towards systematic spreadsheet construction processes.
Proceedings of the 39th International Conference on Software Engineering, 2017

2016
Multiple intermediate structure deforestation by shortcut fusion.
Sci. Comput. Program., 2016

Embedding attribute grammars and their extensions using functional zippers.
Sci. Comput. Program., 2016

Evaluating refactorings for spreadsheet models.
J. Syst. Softw., 2016

Determinants of Consumer Intention to Use Online Gambling Services: An Empirical Study of the Portuguese Market.
Int. J. E Bus. Res., 2016

Model inference for spreadsheets.
Autom. Softw. Eng., 2016

Towards an Automated Classification of Spreadsheets.
Proceedings of the Software Technologies: Applications and Foundations, 2016

Parsing and reflective printing, bidirectionally.
Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, October 31, 2016

Memoized Zipper-Based Attribute Grammars.
Proceedings of the Programming Languages - 20th Brazilian Symposium, 2016

User-friendly spreadsheet querying: an empirical study.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

The influence of the Java collection framework on overall energy consumption.
Proceedings of the 5th International Workshop on Green and Sustainable Software, 2016

2015
Embedding, Evolution, and Validation of Model-Driven Spreadsheets.
IEEE Trans. Software Eng., 2015

Querying Spreadsheets: An Empirical Study.
CoRR, 2015

BiYacc: Roll Your Parser and Reflective Printer into One.
Proceedings of the 4th International Workshop on Bidirectional Transformations co-located with Software Technologies: Applications and Foundations, 2015

Towards a catalog of usability smells.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Towards the Design and Implementation of Aspect-Oriented Programming for Spreadsheets.
Proceedings of the Second Workshop on Software Engineering Methods in Spreadsheets co-located with the 37th International Conference on Software Engineering (ICSE 2015) , 2015

Establishing Energy Consumption Plans for Green Star-Queries in Data Warehousing Systems.
Proceedings of the IEEE International Conference on Data Science and Data Intensive Systems, 2015

Watch Out for that Tree! A Tutorial on Shortcut Deforestation.
Proceedings of the Central European Functional Programming School - 6th Summer School, 2015

2014
Model-based programming environments for spreadsheets.
Sci. Comput. Program., 2014

An Approach for Graphical User Interface External Bad Smells Detection.
Proceedings of the New Perspectives in Information Systems and Technologies, 2014

ES-SQL: Visually querying spreadsheets.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2014

Embedding model-driven spreadsheet queries in spreadsheet systems.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2014

Detecting Anomalous Energy Consumption in Android Applications.
Proceedings of the Programming Languages - 18th Brazilian Symposium, 2014

Refactoring Meets Model-Driven Spreadsheet Evolution.
Proceedings of the 9th International Conference on the Quality of Information and Communications Technology, 2014

Generating attribute grammar-based bidirectional transformations from rewrite rules.
Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, 2014

FaultySheet Detective: When Smells Meet Fault Localization.
Proceedings of the 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29, 2014

Smelling Faults in Spreadsheets.
Proceedings of the 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29, 2014

Graphical Querying of Model-Driven Spreadsheets.
Proceedings of the Human Interface and the Management of Information. Information and Knowledge Design and Evaluation, 2014

Defining Energy Consumption Plans for Data Querying Processes.
Proceedings of the 2014 IEEE Fourth International Conference on Big Data and Cloud Computing, 2014

2013
Special section on the Brazilian Symposium on Programming Languages.
Sci. Comput. Program., 2013

Querying model-driven spreadsheets.
Proceedings of the 2013 IEEE Symposium on Visual Languages and Human Centric Computing, 2013

QuerySheet: A bidirectional query environment for model-driven spreadsheets.
Proceedings of the 2013 IEEE Symposium on Visual Languages and Human Centric Computing, 2013

Zipper-Based Attribute Grammars and Their Extensions.
Proceedings of the Programming Languages - 17th Brazilian Symposium, 2013

Using Cloogy and Case Based Reasoning to Identify Electrical Consumptions.
Proceedings of the Advances in Data Mining, 13th Industrial Conference, 2013

A Framework for Modular and Customizable Software Analysis.
Proceedings of the Computational Science and Its Applications - ICCSA 2013, 2013

Complexity Metrics for ClassSheet Models.
Proceedings of the Computational Science and Its Applications - ICCSA 2013, 2013

Spreadsheet Engineering.
Proceedings of the Central European Functional Programming School - 5th Summer School, 2013

Design and Implementation of Queries for Model-Driven Spreadsheets.
Proceedings of the Central European Functional Programming School - 5th Summer School, 2013

Zipper-Based Modular and Deforested Computations.
Proceedings of the Central European Functional Programming School - 5th Summer School, 2013

2012
Extension and implementation of ClassSheet models.
Proceedings of the 2012 IEEE Symposium on Visual Languages and Human-Centric Computing, 2012

SmellSheet detective: A tool for detecting bad smells in spreadsheets.
Proceedings of the 2012 IEEE Symposium on Visual Languages and Human-Centric Computing, 2012

A Purely Functional Combinator Language for Software Quality Assessment.
Proceedings of the 1st Symposium on Languages, Applications and Technologies, 2012

A Web Portal for the Certification of Open Source Software.
Proceedings of the Information Technology and Open Source: Applications for Education, Innovation, and Sustainability, 2012

Model-Based Programming Environments for Spreadsheets.
Proceedings of the Programming Languages - 16th Brazilian Symposium, 2012

From relational ClassSheets to UML+OCL.
Proceedings of the ACM Symposium on Applied Computing, 2012

A Quality Model for Spreadsheets.
Proceedings of the 8th International Conference on the Quality of Information and Communications Technology, 2012

Towards an evaluation of bidirectional model-driven spreadsheets.
Proceedings of the First International Workshop on User Evaluation for Software Engineering Researchers, 2012

A bidirectional model-driven spreadsheet environment.
Proceedings of the 34th International Conference on Software Engineering, 2012

MDSheet: A framework for model-driven spreadsheet engineering.
Proceedings of the 34th International Conference on Software Engineering, 2012

Bidirectional Transformation of Model-Driven Spreadsheets.
Proceedings of the Theory and Practice of Model Transformations, 2012

Program and Aspect Metrics for MATLAB.
Proceedings of the Computational Science and Its Applications - ICCSA 2012, 2012

Towards a Catalog of Spreadsheet Smells.
Proceedings of the Computational Science and Its Applications - ICCSA 2012, 2012

2011
Shortcut fusion rules for the derivation of circular and higher-order programs.
High. Order Symb. Comput., 2011

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

Embedding and evolution of spreadsheet models in spreadsheet systems.
Proceedings of the 2011 IEEE Symposium on Visual Languages and Human-Centric Computing, 2011

Strictification of circular programs.
Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011

End-Users Productivity in Model-Based Spreadsheets: An Empirical Study.
Proceedings of the End-User Development - Third International Symposium, 2011

Type-Safe Evolution of Spreadsheets.
Proceedings of the Fundamental Approaches to Software Engineering, 2011

2010
GUI Inspection from Source Code Analysis.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Automatically Inferring ClassSheet Models from Spreadsheets.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2010

The GUISurfer tool: towards a language independent approach to reverse engineering GUI code.
Proceedings of the 2nd ACM SIGCHI Symposium on Engineering Interactive Computing System, 2010

2009
Discovery-based edit assistance for spreadsheets.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2009

A generic library for GUI reasoning and testing.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Shortcut fusion rules for the derivation of circular and higher-order monadic programs.
Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2009

From spreadsheets to relational databases and back.
Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2009

2008
Disentangling Denotational Semantics Definitions.
J. Univers. Comput. Sci., 2008

The Objects and Arrows of Computational Design.
Proceedings of the Model Driven Engineering Languages and Systems, 2008

2007
Report on selected papers from LDTA 2003.
Sci. Comput. Program., 2007

Integration of RE and MDE paradigms: the ProjectIT approach and tools.
IET Softw., 2007

Tools and libraries to model and manipulate circular programs.
Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007

A shortcut fusion rule for circular program calculation.
Proceedings of the ACM SIGPLAN Workshop on Haskell, 2007

2006
Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications.
Proceedings of the Interactive Systems. Design, 2006

2003
Preface.
Proceedings of the Workshop on Language Descriptions, Tools and Applications, 2003

Embedding Domain Specific Languages in the Attribute Grammar Formalism.
Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36 2003), 2003

Generating Spreadsheet-Like Tools from Strong Attribute Grammars.
Proceedings of the Generative Programming and Component Engineering, 2003

2002
Component-Based Programming for Higher-Order Attribute Grammars.
Proceedings of the Generative Programming and Component Engineering, 2002

2001
Component-based Programming for Attribute Grammars.
Proceedings of the APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, 2001

2000
Functional Incremental Attribute Evaluation.
Proceedings of the Compiler Construction, 9th International Conference, 2000

1999
Data Structure Free Compilation.
Proceedings of the Compiler Construction, 8th International Conference, 1999

1998
Lrc - A Generator for Incremental Language-Oriented Tools.
Proceedings of the Compiler Construction, 7th International Conference, 1998

Designing and Implementing Combinator Languages.
Proceedings of the Advanced Functional Programming, 1998


  Loading...