João Alexandre Baptista Vieira Saraiva


AuthID: R-000-6R4

Confirmed Publications: 169



11
TITLE: Tabulation with Zippers
AUTHORS: Viera, Marcos; Pardo, Alberto; Saraiva, Joao ;
PUBLISHED: 2024, SOURCE: 17th International Symposium on Functional and Logic Programming (FLOPS) in FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2024, VOLUME: 14659
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
12
TITLE: Trading Runtime for Energy Efficiency Leveraging Power Caps to Save Energy across Programming Languages
AUTHORS: Cunha, Simao; Silva, Luis; Saraiva, Joao ; Fernandes, Joao Paulo ;
PUBLISHED: 2024, SOURCE: 17th ACM SIGPLAN International Conference on Software Language Engineering (SLE) in PROCEEDINGS OF THE 17TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, SLE 2024, VOLUME: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
13
TITLE: Zipper-based embedding of strategic attribute grammars  Full Text
AUTHORS: Macedo, Jose Nuno ; Rodrigues, Emanuel; Viera, Marcos; Saraiva, Joao ;
PUBLISHED: 2024, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 211
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP | CIÊNCIAVITAE
14
TITLE: A congestion-based local search for transmission expansion planning problems
AUTHORS: Phillipe V Gomes; Luiz Eduardo de Oliveira; João Saraiva ;
PUBLISHED: 2023, SOURCE: Swarm Evol. Comput., VOLUME: 83
INDEXED IN: DBLP
IN MY: DBLP
15
TITLE: Efficient Embedding of Strategic Attribute Grammars via Memoization
AUTHORS: José Nuno Macedo ; Emanuel Rodrigues; Marcos Viera; João Saraiva ;
PUBLISHED: 2023, SOURCE: 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2023, in affiliation with the Annual Symposium on Principles of Programming Languages, POPL 2023 in Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2023, Boston, MA, USA, January 16-17, 2023
INDEXED IN: Scopus DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP | CIÊNCIAVITAE
16
TITLE: Energy Efficient Software in an Engineering Course
AUTHORS: João Saraiva ; Rui Pereira ;
PUBLISHED: 2023, SOURCE: 8th Central European Functional Programming School, CEFP 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11950 LNCS
INDEXED IN: Scopus CrossRef
IN MY: CIÊNCIAVITAE
17
TITLE: Exploring Data Analysis and Visualization Techniques for Project Tracking: Insights from the ITC
AUTHORS: Barrocas, Andre; da Silva, Alberto Rodrigues ; Saraiva, Joao ;
PUBLISHED: 2023, SOURCE: 16th International Conference on the Quality of Information and Communications Technology (QUATIC) in QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY, QUATIC 2023, VOLUME: 1871
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: DBLP
18
TITLE: GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models for Code Repair
AUTHORS: Ribeiro, Francisco; Castro de Macedo, Jose Nuno ; Tsushima, Kanae; Abreu, Rui ; Saraiva, Joao ;
PUBLISHED: 2023, SOURCE: 16th ACM SIGPLAN International Conference on Software Language Engineering (SLE) as part of SPLASH Conference in PROCEEDINGS OF THE 16TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, SLE 2023
INDEXED IN: Scopus WOS DBLP CrossRef: 16
IN MY: ORCID | DBLP | CIÊNCIAVITAE
19
TITLE: Paint Your Programs Green: On the Energy Efficiency of Data Structures
AUTHORS: Rui Pereira ; Marco Couto; Jácome Cunha ; Gilberto Melfe; João Saraiva ; João Paulo Fernandes ;
PUBLISHED: 2023, SOURCE: 8th Central European Functional Programming School, CEFP 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11950 LNCS
INDEXED IN: Scopus CrossRef
IN MY: CIÊNCIAVITAE
20
Page 2 of 17. Total results: 169.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service