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:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Softw. Qual. J., December, 2024
J. Softw. Evol. Process., May, 2024
Empir. Softw. Eng., February, 2024
Proceedings of the IEEE/ACM International Workshop on Automated Program Repair, 2024
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
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
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
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2023
2022
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022
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
Proceedings of the International Conference on ICT for Sustainability, 2022
Proceedings of the 3rd IEEE/ACM International Workshop on Automated Program Repair, 2022
Proceedings of the Functional and Logic Programming - 16th International Symposium, 2022
2021
Identification of microservices from monolithic applications through topic modelling.
Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021
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
Proceedings of the Software Sustainability, 2021
2020
New Gener. Comput., 2020
J. Syst. Softw., 2020
J. Softw. Eng. Res. Dev., 2020
Proceedings of the 27th IEEE International Conference on Software Analysis, 2020
Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering Workshops, 2020
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering Workshops, 2020
Proceedings of the MOBILESoft '20: IEEE/ACM 7th International Conference on Mobile Software Engineering and Systems, 2020
Proceedings of the TechDebt '20: International Conference on Technical Debt, 2020
Proceedings of the Computational Science and Its Applications - ICCSA 2020, 2020
2019
Sci. Comput. Program., 2019
Proceedings of the XXIII Brazilian Symposium on Programming Languages, 2019
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
Proceedings of the Composability, Comprehensibility and Correctness of Working Software, 2019
Proceedings of the Composability, Comprehensibility and Correctness of Working Software, 2019
2018
Proceedings of the Seventh Workshop on Software Quality Analysis, 2018
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018
2017
Proceedings of the 2017 IEEE Symposium on Visual Languages and Human-Centric Computing, 2017
Proceedings of the Sixth Workshop on Software Quality Analysis, 2017
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
Proceedings of the 21st Brazilian Symposium on Programming Languages, 2017
Proceedings of the 39th International Conference on Software Engineering, 2017
Proceedings of the 39th International Conference on Software Engineering, 2017
2016
Sci. Comput. Program., 2016
Sci. Comput. Program., 2016
Determinants of Consumer Intention to Use Online Gambling Services: An Empirical Study of the Portuguese Market.
Int. J. E Bus. Res., 2016
Proceedings of the Software Technologies: Applications and Foundations, 2016
Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, October 31, 2016
Proceedings of the Programming Languages - 20th Brazilian Symposium, 2016
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016
Proceedings of the 5th International Workshop on Green and Sustainable Software, 2016
2015
IEEE Trans. Software Eng., 2015
Proceedings of the 4th International Workshop on Bidirectional Transformations co-located with Software Technologies: Applications and Foundations, 2015
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
Proceedings of the Central European Functional Programming School - 6th Summer School, 2015
2014
Proceedings of the New Perspectives in Information Systems and Technologies, 2014
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2014
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2014
Proceedings of the Programming Languages - 18th Brazilian Symposium, 2014
Proceedings of the 9th International Conference on the Quality of Information and Communications Technology, 2014
Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, 2014
Proceedings of the 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29, 2014
Proceedings of the 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29, 2014
Proceedings of the Human Interface and the Management of Information. Information and Knowledge Design and Evaluation, 2014
Proceedings of the 2014 IEEE Fourth International Conference on Big Data and Cloud Computing, 2014
2013
Sci. Comput. Program., 2013
Proceedings of the 2013 IEEE Symposium on Visual Languages and Human Centric Computing, 2013
Proceedings of the 2013 IEEE Symposium on Visual Languages and Human Centric Computing, 2013
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
Proceedings of the Computational Science and Its Applications - ICCSA 2013, 2013
Proceedings of the Computational Science and Its Applications - ICCSA 2013, 2013
Proceedings of the Central European Functional Programming School - 5th Summer School, 2013
Proceedings of the Central European Functional Programming School - 5th Summer School, 2013
Proceedings of the Central European Functional Programming School - 5th Summer School, 2013
2012
Proceedings of the 2012 IEEE Symposium on Visual Languages and Human-Centric Computing, 2012
Proceedings of the 2012 IEEE Symposium on Visual Languages and Human-Centric Computing, 2012
Proceedings of the 1st Symposium on Languages, Applications and Technologies, 2012
Proceedings of the Information Technology and Open Source: Applications for Education, Innovation, and Sustainability, 2012
Proceedings of the Programming Languages - 16th Brazilian Symposium, 2012
Proceedings of the ACM Symposium on Applied Computing, 2012
Proceedings of the 8th International Conference on the Quality of Information and Communications Technology, 2012
Proceedings of the First International Workshop on User Evaluation for Software Engineering Researchers, 2012
Proceedings of the 34th International Conference on Software Engineering, 2012
Proceedings of the 34th International Conference on Software Engineering, 2012
Proceedings of the Theory and Practice of Model Transformations, 2012
Proceedings of the Computational Science and Its Applications - ICCSA 2012, 2012
Proceedings of the Computational Science and Its Applications - ICCSA 2012, 2012
2011
High. Order Symb. Comput., 2011
CoRR, 2011
Proceedings of the 2011 IEEE Symposium on Visual Languages and Human-Centric Computing, 2011
Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011
Proceedings of the End-User Development - Third International Symposium, 2011
Proceedings of the Fundamental Approaches to Software Engineering, 2011
2010
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
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
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2009
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
Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2009
2008
Proceedings of the Model Driven Engineering Languages and Systems, 2008
2007
IET Softw., 2007
Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007
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
Proceedings of the Workshop on Language Descriptions, Tools and Applications, 2003
Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36 2003), 2003
Proceedings of the Generative Programming and Component Engineering, 2003
2002
Proceedings of the Generative Programming and Component Engineering, 2002
2001
Proceedings of the APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, 2001
2000
Proceedings of the Compiler Construction, 9th International Conference, 2000
1999
Proceedings of the Compiler Construction, 8th International Conference, 1999
1998
Proceedings of the Compiler Construction, 7th International Conference, 1998
Proceedings of the Advanced Functional Programming, 1998