João Alexandre Baptista Vieira Saraiva


AuthID: R-000-6R4

Confirmed Publications: 166



11
TITLE: pyZtrategic: A Zipper-Based Embedding of Strategies and Attribute Grammars in Python
AUTHORS: Emanuel Rodrigues ; José Nuno Macedo ; Marcos Viera; João Saraiva ;
PUBLISHED: 2024, SOURCE: ENASE
INDEXED IN: Scopus DBLP CrossRef Unpaywall
12
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
13
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
INDEXED IN: Scopus WOS DBLP CrossRef: 3 Unpaywall
IN MY: ORCID
14
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: 2
IN MY: ORCID
15
TITLE: <i>PyAnaDroid</i>: A fully-customizable execution pipeline for benchmarking Android Applications  Full Text
AUTHORS: Rua, Rui ; Saraiva, Joao ;
PUBLISHED: 2023, SOURCE: 39th IEEE International Conference on Software Maintenance and Evolution (ICSME) in 2023 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION, ICSME
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID
16
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
17
TITLE: Efficient Embedding of Strategic Attribute Grammars via Memoization
AUTHORS: José Nuno Macedo ; Emanuel Rodrigues; Marcos Viera; João Saraiva ;
PUBLISHED: 2023, SOURCE: PEPM@POPL
INDEXED IN: Scopus DBLP CrossRef Unpaywall
IN MY: ORCID
18
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: 3
19
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
20
Page 2 of 17. Total results: 166.

footer slogan

Useful Links

Get Help

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