Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Sobre

Sobre

Nasci em Portugal em 1964. Sou licenciado em matemática pela Faculdade de Ciências da Universidade do Porto (FCUP) e tenho um doutoramento em ciência de computadores pela mesma instituição. Correntemente, sou professor auxiliar no departamento de ciências de computadores da FCUP. Também estou afiliado no Center for Research in Advanced Computing Systems (CRACS) uma unidade de investigação do INESC TEC, onde sou membro efectivo. Os meus interesses de investigação são o ensino mediado por computador, adaptabilidade web e web semântica.

Tópicos
de interesse
Detalhes

Detalhes

  • Nome

    José Paulo Leal
  • Cargo

    Investigador Sénior
  • Desde

    01 janeiro 2009
003
Publicações

2025

Incremental Repair Feedback on Automated Assessment of Programming Assignments

Autores
Paiva, JC; Leal, JP; Figueira, A;

Publicação
ELECTRONICS

Abstract
Automated assessment tools for programming assignments have become increasingly popular in computing education. These tools offer a cost-effective and highly available way to provide timely and consistent feedback to students. However, when evaluating a logically incorrect source code, there are some reasonable concerns about the formative gap in the feedback generated by such tools compared to that of human teaching assistants. A teaching assistant either pinpoints logical errors, describes how the program fails to perform the proposed task, or suggests possible ways to fix mistakes without revealing the correct code. On the other hand, automated assessment tools typically return a measure of the program's correctness, possibly backed by failing test cases and, only in a few cases, fixes to the program. In this paper, we introduce a tool, AsanasAssist, to generate formative feedback messages to students to repair functionality mistakes in the submitted source code based on the most similar algorithmic strategy solution. These suggestions are delivered with incremental levels of detail according to the student's needs, from identifying the block containing the error to displaying the correct source code. Furthermore, we evaluate how well the automatically generated messages provided by AsanasAssist match those provided by a human teaching assistant. The results demonstrate that the tool achieves feedback comparable to that of a human grader while being able to provide it just in time.

2025

PAP900: A dataset of semantic relationships between affective words in Portuguese

Autores
dos Santos, AF; Leal, JP; Alves, RA; Jacques, T;

Publicação
DATA IN BRIEF

Abstract
The PAP900 dataset centers on the semantic relationship between affective words in Portuguese. It contains 900 word pairs, each annotated by at least 30 human raters for both semantic similarity and semantic relatedness. In addition to the semantic ratings, the dataset includes the word categorization used to build the word pairs and detailed sociodemographic information about annotators, enabling the analysis of the influence of personal factors on the perception of semantic relationships. Furthermore, this article describes in detail the dataset construction process, from word selection to agreement metrics. Data was collected from Portuguese university psychology students, who completed two rounds of questionnaires. In the first round annotators were asked to rate word pairs on either semantic similarity or relatedness. The second round switched the relation type for most annotators, with a small percentage being asked to repeat the same relation. The instructions given emphasized the differences between semantic relatedness and semantic similarity, and provided examples of expected ratings of both. There are few semantic relations datasets in Portuguese, and none focusing on affective words. PAP900 is distributed in distinct formats to be easy to use for both researchers just looking for the final averaged values and for researchers looking to take advantage of the individual ratings, the word categorization and the annotator data. This dataset is a valuable resource for researchers in computational linguistics, natural language processing, psychology, and cognitive science. (c) 2025TheAuthors.

2025

Osiris: A Multi-Language Transpiler for Educational Purposes

Autores
Marrão, B; Leal, JP; Queirós, R;

Publicação
6th International Computer Programming Education Conference, ICPEC 2025, July 10-11, 2025, PORTIC, Polytechnic of Porto, Portugal

Abstract

2025

Designing a Multi-Narrative Gamified Learning Experience

Autores
Bauer, Y; Leal, JP; Queirós, R; Swacha, J; Paiva, JC;

Publicação
6th International Computer Programming Education Conference, ICPEC 2025, July 10-11, 2025, PORTIC, Polytechnic of Porto, Portugal

Abstract

2024

Comparing Semantic Graph Representations of Source Code: The Case of Automatic Feedback on Programming Assignments

Autores
Paiva, JC; Leal, JP; Figueira, A;

Publicação
COMPUTER SCIENCE AND INFORMATION SYSTEMS

Abstract
Static source code analysis techniques are gaining relevance in automated assessment of programming assignments as they can provide less rigorous evaluation and more comprehensive and formative feedback. These techniques focus on source code aspects rather than requiring effective code execution. To this end, syntactic and semantic information encoded in textual data is typically represented internally as graphs, after parsing and other preprocessing stages. Static automated assessment techniques, therefore, draw inferences from intermediate representations to determine the correctness of a solution and derive feedback. Consequently, achieving the most effective semantic graph representation of source code for the specific task is critical, impacting both techniques' accuracy, outcome, and execution time. This paper aims to provide a thorough comparison of the most widespread semantic graph representations for the automated assessment of programming assignments, including usage examples, facets, and costs for each of these representations. A benchmark has been conducted to assess their cost using the Abstract Syntax Tree (AST) as a baseline. The results demonstrate that the Code Property Graph (CPG) is the most feature -rich representation, but also the largest and most space -consuming (about 33% more than AST).

Teses
supervisionadas

2023

Assessment of simple web applications in a code playground

Autor
Luís Miguel Maia da Costa

Instituição
UP-FCUP

2023

Narrative extraction from semantic graphs

Autor
Daniil Lystopadskyi

Instituição
UP-FCUP

2023

Improving Teacher's User Experience in a Virtual Learning Environment

Autor
Yannik Bauer

Instituição
UP-FCUP

2023

Reasoning on Semantic Representations of Source Code to Support Programming Education

Autor
José Carlos Costa Paiva

Instituição
UP-FCUP

2023

Semantic Measures in Large Semantic Graphs

Autor
André Fernandes dos Santos

Instituição
UP-FCUP