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 …
Artificial Intelligence for Reliable Code
Understanding the reasoning and robustness of AI systems, such as Large Language Models (LLMs), is critical for ensuring their reliable use in programming tasks. While recent …
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 …
Are Large Language Models Robust in Understanding Code Against Semantics-Preserving Mutations?
In this talk, I will present our evaluation on whether state-of-the-art LLMs with up to 8B parameters can reason about Python programs or are simply guessing.
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 …
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 …