ProfileOfResearchers

TÃTULO: Tabulation with Zippers
AUTORES: Viera, Marcos; Pardo, Alberto; Saraiva, Joao ;
PUBLICAÇÃO: 2024, FONTE: 17th International Symposium on Functional and Logic Programming (FLOPS) in FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2024, VOLUME: 14659

INDEXADO EM:

Scopus

WOS

DBLP

CrossRef

NO MEU:

ORCID |

DBLP |

CIÊNCIAVITAE

TÃTULO: Trading Runtime for Energy Efficiency Leveraging Power Caps to Save Energy across Programming Languages
AUTORES: Cunha, Simao; Silva, Luis; Saraiva, Joao ; Fernandes, Joao Paulo ;
PUBLICAÇÃO: 2024, FONTE: 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

INDEXADO EM:

Scopus

WOS

DBLP

CrossRef: 1

NO MEU:

ORCID |

DBLP

TÃTULO: Zipper-based embedding of strategic attribute grammars Full Text
AUTORES: Macedo, Jose Nuno ; Rodrigues, Emanuel; Viera, Marcos; Saraiva, Joao ;
PUBLICAÇÃO: 2024, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 211

INDEXADO EM:

Scopus

WOS

DBLP

CrossRef: 1

NO MEU:

ORCID |

DBLP |

CIÊNCIAVITAE

TÃTULO: A congestion-based local search for transmission expansion planning problems
AUTORES: Phillipe V Gomes; Luiz Eduardo de Oliveira; João Saraiva ;
PUBLICAÇÃO: 2023, FONTE: Swarm Evol. Comput., VOLUME: 83

INDEXADO EM:

DBLP

NO MEU:

DBLP

TÃTULO: Efficient Embedding of Strategic Attribute Grammars via Memoization
AUTORES: José Nuno Macedo ; Emanuel Rodrigues; Marcos Viera; João Saraiva ;
PUBLICAÇÃO: 2023, FONTE: 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

INDEXADO EM:

Scopus

DBLP

CrossRef

Unpaywall

NO MEU:

ORCID |

DBLP |

CIÊNCIAVITAE

TÃTULO: Energy Efficient Software in an Engineering Course
AUTORES: João Saraiva ; Rui Pereira ;
PUBLICAÇÃO: 2023, FONTE: 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

INDEXADO EM:

Scopus

CrossRef

NO MEU:

CIÊNCIAVITAE

TÃTULO: Exploring Data Analysis and Visualization Techniques for Project Tracking: Insights from the ITC
AUTORES: Barrocas, Andre; da Silva, Alberto Rodrigues ; Saraiva, Joao ;
PUBLICAÇÃO: 2023, FONTE: 16th International Conference on the Quality of Information and Communications Technology (QUATIC) in QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY, QUATIC 2023, VOLUME: 1871

INDEXADO EM:

Scopus

WOS

DBLP

CrossRef: 2

NO MEU:

DBLP

TÃTULO: GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models for Code Repair
AUTORES: Ribeiro, Francisco; Castro de Macedo, Jose Nuno ; Tsushima, Kanae; Abreu, Rui ; Saraiva, Joao ;
PUBLICAÇÃO: 2023, FONTE: 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

INDEXADO EM:

Scopus

WOS

DBLP

CrossRef: 16

NO MEU:

ORCID |

DBLP |

CIÊNCIAVITAE

TÃTULO: Paint Your Programs Green: On the Energy Efficiency of Data Structures
AUTORES: Rui Pereira ; Marco Couto; Jácome Cunha ; Gilberto Melfe; João Saraiva ; João Paulo Fernandes ;
PUBLICAÇÃO: 2023, FONTE: 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

INDEXADO EM:

Scopus

CrossRef

NO MEU:

CIÊNCIAVITAE