From Logic to Learning: Rethinking Programming for the AI Era
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 …
MENTOR: Feedback Automático para Exercícios Introdutórios de Programação (Portuguese)
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 …
🏆 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!
GitSEED: A Git-backed Automated Assessment Tool for Software Engineering and Programming Education
In this talk I will present GitSEED, a language-agnostic automated assessment tool designed for Programming Education and Software Engineering (SE) and backed by GitLab.
GitSEED: A Git-backed Automated Assessment Tool for Software Engineering and Programming Education
This paper introduces GitSEED, a language-agnostic automated assessment tool designed for Programming Education and Software Engineering (SE) and backed by GitLab.
Automated Assessment Tools for Programming Education
Delivering personalised, scalable feedback to students in large programming courses remains one of the most persistent challenges in Computer Science and Software Engineering …
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 …
C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments
In this talk I will present C-Pack-IPAs, a publicly available benchmark comprising student-program submissions for 25 distinct introductory programming assignments (IPAs).
C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments
A C90 Program Benchmark of Introductory Programming Assignments (IPAs), that contains semantically correct, semantically incorrect, and syntactically incorrect programs and a test …