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 …
Counterexample Guided Program Repair Using Large Language Models and MaxSAT-based Fault Localization
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 …
MENTOR: Automated Feedback for Introductory Programming Exercises
In my talk, I will present MENTOR, a semantic automated program repair (APR) framework designed to provide Automated Feedback for Introductory Programming Exercises.
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. 🎉 🎉
Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization
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 …
Model-Based Diagnosis for Software
Localising system faults has long been recognised as one of the most time-consuming and costly tasks in software engineering. Given a buggy system, fault localisation (FL) refers …
LLM-Driven Automated Program Repair Using MaxSAT-based Fault Localization
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 …
CFaults: Model-Based Diagnosis for Fault Localization in C with Multiple Test Cases
In this talk I will introduce a novel fault localization approach for C programs with multiple faults. CFaults leverages Model-Based Diagnosis (MBD) with multiple observations and …
CFaults: Model-Based Diagnosis for Fault Localization in C with Multiple Test Cases
This paper introduces a novel fault localization approach for C programs with multiple faults. CFaults leverages Model-Based Diagnosis (MBD) with multiple observations and …