publicações selecionadas
-
artigo académico
- Programming languages ranking based on energy measurements. Software Quality Journal. 2024
- Zipper-based embedding of strategic attribute grammars. Journal of Systems and Software. 2024
- A large-scale empirical study on mobile performance: energy, run-time and memory. Empirical Software Engineering. 2023
- Embracing modern C++ features: An empirical assessment on the KDE community. Journal of Software-Evolution and Process. 2023
- Ranking programming languages by energy efficiency. Computational Methods in Applied Sciences. 2021
- Special section on the Brazilian Symposium on Programming Languages. Computational Methods in Applied Sciences. 2013
- Disentangling denotational semantics definitions. Journal of Universal Computer Science. 2008
- Evaluation of MDE tools from a metamodeling perspective. Journal of Database Management. 2008
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface. Computational Methods in Applied Sciences. 2008
- Combining formal methods and functional strategies regarding the reverse engineering of interactive applications. Computational Methods in Applied Sciences. 2007
- Integration of RE and MDE paradigms: the projectIT approach and tools. IET Software. 2007
- Report on selected papers from LDTA 2003. Computational Methods in Applied Sciences. 2007
- Selected papers from SBLP 2007: The 11th brazilian symposium on programming languages J.UCS special issue. Journal of Universal Computer Science. 2007
- Lecture Note in Computer Science (including subseries Lecture Note in Artificial Intelligence and Lecture Note in Bioinformatics): Preface. Computational Methods in Applied Sciences. 2006
- Selected papers from SBLP 2006: The 10th Brazilian Symposium on Programming Languages J.UCS Special Issue. Journal of Universal Computer Science. 2006
- Electronic Notes in Theoretical Computer Science: Preface. Electronic Notes in Theoretical Computer Science. 2003
- Generating spreadsheet-like tools from strong attribute grammars. Computational Methods in Applied Sciences. 2003
- Preface. Computational Methods in Applied Sciences. 2002
- Concurrent attribute evaluation. Computing Systems in Engineering. 1995
-
artigo de conferência
- GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models for Code Repair 2023
- Understanding the Motivations, Challenges, and Practices of Software Rejuvenation 2023
- Efficient Embedding of Strategic Attribute Grammars via Memoization 2023
- PyAnaDroid: A fully-customizable execution pipeline for benchmarking Android Applications 2023
- Framing program repair as code completion 2022
- E-MANAFA: Energy Monitoring and ANAlysis tool For Android 2022
- WebAssembly versus JavaScript: Energy and Runtime Performance 2022
- Bringing Green Software to Computer Science Curriculum: Perspectives from Researchers and Educators 2021
- Energy wars - Chrome vs. Firefox: Which browser is more energy efficient? 2021
- Identification of microservices from monolithic applications through topic modelling 2021
- On Understanding Contextual Changes of Failures 2021
- On the Runtime and Energy Performance of WebAssembly: Is WebAssembly superior to JavaScript yet? 2021
- Energy Refactorings for Android in the Large and in the Wild 2020
- Expressing Disambiguation Filters as Combinators 2020
- Greenspecting Android virtual keyboards 2020
- On energy debt: managing consumption on evolving software 2020
- Java Stream Fusion: Adapting FP mechanisms for an OO setting 2019
- Get Your Spreadsheets Under (Version) Control 2019
- GreenSource: A large-scale collection of android code, tests and energy metrics 2019
- Towards using Memoization for Saving Energy in Android 2019
- Functional Going Green: An Empirical Evaluation of Functional Languages Performance 2018
- Energyware Analysis 2018
- jStanley: placing a green thumb on Java collections. IEEE/ACM International Conference on Automated Software Engineering. 2018
- Static Energy Consumption Analysis in Variability Systems 2017
- AN ECONOMIC ENERGY APPROACH FOR QUERIES ON DATA CENTERS 2017
- Energy consumption measurement of C/C++ programs using clang tooling 2017
- Energy efficiency across programming languages: How do energy, time, and memory relate? 2017
- Helping programmers improve the energy efficiency of source code. Proceedings of the IEEE-ACM International Conference on Software Engineering Companion. 2017
- Products go green:Worst-case energy consumption in so-ware product lines 2017
- Systematic Spreadsheet Construction Processes 2017
- Towards a Green Ranking for Programming Languages 2017
- Towards systematic spreadsheet construction processes. Proceedings of the IEEE-ACM International Conference on Software Engineering Companion. 2017
- GreenDroid: A tool for analysing power consumption in the android ecosystem 2016
- Parsing and reflective printing, bidirectionally 2016
- The influence of the Java collection framework on overall energy consumption. Proceedings - International Conference on Software Engineering. 2016
- User-friendly spreadsheet querying: An empirical study 2016
- BiYacc: Roll your parser and reflective printer into one 2015
- Defining energy consumption plans for data querying processes 2015
- Establishing Energy Consumption Plans for Green Star-Queries in Data Warehousing Systems 2015
- Towards a Catalog of Usability Smells 2015
- Towards the design and implementation of aspect-oriented programming for spreadsheets. CEUR Workshop Proceedings. 2015
- Watch Out for that Tree! A Tutorial on Shortcut Deforestation. Computational Methods in Applied Sciences. 2015
- ES-SQL: Visually querying spreadsheets. Symposium on Visual Languages and Human Centric Computing VL/HCC. 2014
- Embedding model-driven spreadsheet queries in spreadsheet systems. Symposium on Visual Languages and Human Centric Computing VL/HCC. 2014
- FaultySheet detective: When smells meet fault localization. Proceedings-IEEE International Conference on Software Maintenance. 2014
- Generating attribute grammar-based bidirectional transformations from rewrite rules 2014
- MDSheet -model-driven spreadsheets 2014
- Refactoring meets model-driven spreadsheet evolution 2014
- Smelling faults in spreadsheets. Proceedings-IEEE International Conference on Software Maintenance. 2014
- A model-based approach for test cases generation | Uma abordagem para a geração de casos de teste baseada em modelos 2013
- QuerySheet: A bidirectional query environment for model-driven spreadsheets. Symposium on Visual Languages and Human Centric Computing VL/HCC. 2013
- Querying model-driven spreadsheets. Symposium on Visual Languages and Human Centric Computing VL/HCC. 2013
- Using Cloogy and Case Based Reasoning to Identify Electrical Consumptions 2013
- A Purely Functional Combinator Language for Software Quality Assessment 2012
- A bidirectional model-driven spreadsheet environment. Proceedings - International Conference on Software Engineering. 2012
- A quality model for spreadsheets 2012
- Extension and implementation of ClassSheet models. Symposium on Visual Languages and Human Centric Computing VL/HCC. 2012
- From relational ClassSheets to UML+OCL 2012
- MDSheet: A framework for model-driven spreadsheet engineering. Proceedings - International Conference on Software Engineering. 2012
- SmellSheet detective: A tool for detecting bad smells in spreadsheets. Symposium on Visual Languages and Human Centric Computing VL/HCC. 2012
- Towards an evaluation of bidirectional model-driven spreadsheets 2012
- Embedding and evolution of spreadsheet models in spreadsheet systems. Symposium on Visual Languages and Human Centric Computing VL/HCC. 2011
- Strictification of circular programs 2011
- Automatically inferring classsheet models from spreadsheets. Symposium on Visual Languages and Human Centric Computing VL/HCC. 2010
- The GUISurfer Tool: Towards a Language Independent Approach to Reverse Engineering GUI Code 2010
- A generic library for GUI reasoning and testing 2009
- Development of CMS-based web-applications using a model-driven approach 2009
- Discovery-based edit assistance for spreadsheets. Symposium on Visual Languages and Human Centric Computing VL/HCC. 2009
- From spreadsheets to relational databases and back 2009
- Shortcut fusion rules for the derivation of circular and higher-order monadic programs. Higher-Order and Symbolic Computation. 2009
- The projectIT-studio UMLmodeler: A tool for the design and transformation of UML models 2008
- A shortcut fusion rule for circular program calculation 2007
- Tools and libraries to model and manipulate circular programs 2007
- XIS - UML profile for eXtreme modeling interactive systems 2007
- Editorial: Programming languages track. International Journal of Information Systems and Project Management. 2005
- Embedding domain specific languages in the attribute grammar formalism 2003
- Designing and Implementing Combinator Languages 1998
-
artigo de revista
- Statically Analyzing the Energy Efficiency of Software Product Lines. Journal of Low Power Electronics and Applications. 2021
- SPELLing out energy leaks: Aiding developers locate energy inefficient code. Journal of Systems and Software. 2020
- Unifying Parsing and Reflective Printing for Fully Disambiguated Grammars. New Generation Computing. 2020
- Memoized zipper-based attribute grammars and their higher order extension. Computational Methods in Applied Sciences. 2019
- Embedding attribute grammars and their extensions using functional zippers. Computational Methods in Applied Sciences. 2016
- Evaluating refactorings for spreadsheet models. Journal of Systems and Software. 2016
- Model inference for spreadsheets. Automated Software Engineering. 2016
- Multiple intermediate structure deforestation by shortcut fusion. Computational Methods in Applied Sciences. 2016
- Embedding, evolution, and validation of model-driven spreadsheets. IEEE Transactions on Software Engineering. 2015
- Model-based programming environments for spreadsheets. Computational Methods in Applied Sciences. 2014
- Shortcut fusion rules for the derivation of circular and higher-order programs. Higher-Order and Symbolic Computation. 2011
- GUI Inspection from Source Code Analysis. Electronic Communications of the EASST. 2010
-
capítulo de livro
- Tabulation with Zippers 2024
- Energy Efficiency of Python Machine Learning Frameworks 2023
- Energy Efficient Software in an Engineering Course 2023
- Paint Your Programs Green: On the Energy Efficiency of Data Structures 2023
- Zipping Strategies and Attribute Grammars 2022
- Patterns and Energy Consumption: Design, Implementation, Studies, and Stories 2021
- InDubio: A Combinator Library to Disambiguate Ambiguous Grammars. Computational Methods in Applied Sciences. 2020
-
documento
- Proceedings of the 6th International Workshop on Green and Sustainable Software, GREENS@ICSE 2018, Gothenburg, Sweden, May 27, 2018 2018
- GreenSoftwareLab: Towards an Engineering Discipline for Green Software 2017
- Grand Timely Topics in Software Engineering - International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures 2017
- Tabula: A Language to Model Spreadsheet Tables 2017
- Querying Spreadsheets: An Empirical Study 2015
- Generative and Transformational Techniques in Software Engineering IV, International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers 2013
- An Empirical Study on End-users Productivity Using Model-based Spreadsheets 2011
- Generative and Transformational Techniques in Software Engineering II, International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers 2008
- Generative and Transformational Techniques in Software Engineering, International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers 2006
- Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures 2002
-
livro
- Preface 2017
- Memoized zipper-based attribute grammars 2016
- Towards an automated classification of spreadsheets 2016
- Design and implementation of queries for model-driven spreadsheets 2015
- Spreadsheet engineering 2015
- Zipper-based modular and deforested computations 2015
- A web portal for the certification of open source software 2014
- An Approach for Graphical User Interface External Bad Smells Detection 2014
- Detecting anomalous energy consumption in android applications 2014
- Graphical querying of model-driven spreadsheets 2014
- A framework for modular and customizable software analysis 2013
- Complexity metrics for classsheet models 2013
- Multiple intermediate structure deforestation by shortcut fusion 2013
- Preface 2013
- Zipper-based attribute grammars and their extensions 2013
- Bidirectional transformation of model-driven spreadsheets 2012
- Model-based programming environments for spreadsheets 2012
- Program and aspect metrics for MATLAB 2012
- Towards a catalog of spreadsheet smells 2012
- End-users productivity in model-based spreadsheets: An empirical study 2011
- Generative and Transformational Techniques in Software Engineering III 2011
- Preface 2011
- Type-safe evolution of spreadsheets 2011
- The objects and arrows of computational design 2008
- Component-based programming for higher-order attribute grammars 2002
- Functional incremental attribute evaluation 2000
- Data structure free compilation 1999
- Lrc - A generator for incremental language-oriented tools 1998