MENTOR

InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments featured image

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.

avatar
Pedro Orvalho
Read more
🏆 Honored to Receive the Vencer o Adamastor (VoA) Award 2025!! 🏆 featured image

🏆 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. 🎉 🎉

avatar
Pedro Orvalho
Read more
MENTOR: Automated Feedback for Introductory Programming Exercises featured image

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.

avatar
Pedro Orvalho
Read more
👨‍🎓 PhD Awarded Summa Cum Laude in Computer Science!! 🧑‍💻 featured image

👨‍🎓 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!

avatar
Pedro Orvalho
Read more
Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization featured image

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 …

avatar
Pedro Orvalho
Read more
Automated Feedback for Introductory Programming Exercises featured image

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 …

avatar
Pedro Orvalho
Read more
Graph Neural Networks For Mapping Variables Between Programs featured image

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 …

avatar
Pedro Orvalho
Read more
MultIPAs: Applying Program Transformations to Introductory Programming Assignments for Data Augmentation featured image

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) …

avatar
Pedro Orvalho
Read more