🏆 Best PhD Thesis in Artificial Intelligence in Portugal 2025!! 🏆
I am thrilled to share that I have received the 2025 Best PhD Thesis in Artificial Intelligence Award from APPIA, recognising doctoral research of outstanding merit in AI carried …
MENTOR: Fixing Introductory Programming Assignments With Formula-Based Fault Localization and LLM-Driven Program Repair
This paper introduces MENTOR, a semantic automated program repair (APR) framework designed to fix faulty student programs. MENTOR validates repairs through execution on a test …
MENTOR: Fixing Introductory Programming Assignments With Formula-Based Fault Localization and LLM-Driven Program Repair @ INESC-ID
In this talk, I will present my PhD work on MENTOR, a semantic automated program repair framework designed to provide meaningful feedback for introductory programming assignments.
Honored to Receive the INESC-ID Best PhD Student 2025 Award!! 🏆
I am thrilled to share that I was the recipient of the INESC-ID Best PhD Student 2025 Award, which recognises my PhD research conducted at INESC-ID (2020 -- 2024).
📄 Paper accepted @ the Journal of Systems and Software!! 🎉
Thrilled to share that our paper on MENTOR, a semantic automated program repair (APR) framework that fixes student programs and highlights faulty statements, has been accepted by …
InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments
This paper proposes InvAASTCluster, a novel approach for program clustering that uses dynamically generated program invariants to cluster semantically equivalent IPAs.
🏆 Honored to Receive the Vencer o Adamastor (VoA) Award 2025!! 🏆
I am thrilled to share that I was the recipient of the Vencer o Adamastor 2025 prize, which acknowledges innovative contributions by young scientists in Portugal. 🎉 🎉
MENTOR: Automated Feedback for Introductory Programming Exercises
This PhD thesis presents MENTOR, a semantic automated program repair (APR) framework designed to provide Automated Feedback for Introductory Programming Exercises.
👨🎓 PhD Awarded Summa Cum Laude in Computer Science!! 🧑💻
I am extremely happy to share that, I have been awarded my PhD summa cum laude in Computer Science and Engineering!
Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization
In this paper, we propose a novel approach that combines the strengths of both FM-based fault localization and LLMs, via zero-shot learning, to enhance APR for IPAs. Our method …
Automated Feedback for Introductory Programming Exercises
Delivering valuable and personalised feedback to students remains one of the greatest challenges in programming education, particularly in courses with large enrollments. Providing …
Graph Neural Networks For Mapping Variables Between Programs
In this work, we propose using graph neural networks (GNNs) to map the set of variables between two programs based on both programs' abstract syntax trees (ASTs). To demonstrate …
MultIPAs: Applying Program Transformations to Introductory Programming Assignments for Data Augmentation
This paper presents MultIPAs, a program transformation tool that can augment IPAs benchmarks by (1) applying six syntactic mutations that conserve the program's semantics and (2) …