Automated Program Repair

🏆 Best PhD Thesis in Artificial Intelligence in Portugal 2025!! 🏆 featured image

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

avatar
Pedro Orvalho
•
Read more
MENTOR: Fixing Introductory Programming Assignments With Formula-Based Fault Localization and LLM-Driven Program Repair featured image

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 …

avatar
Pedro Orvalho
•
Read more
MENTOR: Fixing Introductory Programming Assignments With Formula-Based Fault Localization and LLM-Driven Program Repair @ INESC-ID featured image

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.

avatar
Pedro Orvalho
•
Read more
Honored to Receive the INESC-ID Best PhD Student 2025 Award!! 🏆 featured image

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

avatar
Pedro Orvalho
•
Read more
📄 Paper accepted @ the Journal of Systems and Software!! 🎉 featured image

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

avatar
Pedro Orvalho
•
Read more
From Logic to Learning: Rethinking Programming for the AI Era @ DEI, IST-UL featured image

From Logic to Learning: Rethinking Programming for the AI Era @ DEI, IST-UL

In this talk, I will present approaches that leverage the precision of formal logic and the adaptability of learning-based models to enable intelligent code generation, automated …

avatar
Pedro Orvalho
•
Read more
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
Counterexample Guided Program Repair Using Large Language Models and MaxSAT-based Fault Localization @ IIIA-CSIC featured image

Counterexample Guided Program Repair Using Large Language Models and MaxSAT-based Fault Localization @ IIIA-CSIC

In this talk I will present a hybrid method to automated repair of C code, using Maximum Satisfiability (MaxSAT)-based fault localization, CFaults, to localize bugs and LLMs to …

avatar
Pedro Orvalho
•
Read more
📄 Paper accepted @ the Journal of Systems and Software 2025!! 🎉 featured image

📄 Paper accepted @ the Journal of Systems and Software 2025!! 🎉

I am very happy to share that our paper on program clustering has been accepted at the JSS December 2025!! 🎉

avatar
Pedro Orvalho
•
Read more
MENTOR: Automated Feedback for Introductory Programming Exercises @ FCT-UNL featured image

MENTOR: Automated Feedback for Introductory Programming Exercises @ FCT-UNL

In my talk, I will present MENTOR, a semantic automated program repair (APR) framework designed to provide Automated Feedback for Introductory Programming Exercises.

avatar
Pedro Orvalho
•
Read more
MENTOR: Feedback Automático para Exercícios Introdutórios de Programação (Portuguese) @ VoA 2025 featured image

MENTOR: Feedback Automático para Exercícios Introdutórios de Programação (Portuguese) @ VoA 2025

Nesta palestra, irei apresentar o sistema MENTOR, uma ferramenta de reparação automática de programas orientada para fornecer feedback automatizado para exercícios introdutórios de …

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 @ OutSystems featured image

Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization @ OutSystems

In this talk I will present our novel approach that combines the strengths of both FM-based fault localization and LLMs, via zero-shot learning, to enhance Automated Program …

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