Hi! I am a Computer Science PhD Student on the CMU Portugal Affiliated PhD Program. My advisors are Vasco Manquinho at Instituto Superior Técnico, Lisboa and Ruben Martins at Carnegie Mellon University. My research focuses on helping programmers and non-programmes on their daily tasks, by leveraging Program Synthesis and Program Repair techniques. Some of my other research interests include Formal Methods and Compilers. Feel free to talk to me about any of these topics!
Publications
Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation in FASE 2024
This paper introduces CUBES, a parallel SQL program synthesizer using input-output examples and a user-guided disambiguation process, achieving up to 60% accuracy and super-linear speedups by leveraging multicore architectures.
Projects
FormHe
FormHe is a tool which helps users find and fix problems in ASP programs. FormHe is composed of two modules: a fault localizer module and a program repair module. The fault localizer identifies which statements of the program need to be changed/removed, based on an exemplifying query provided by the user. Then, FormHe provides the user with suggestions for how to fix the identified problems using program synthesis techniques.
Cubes
CUBES is a parallel program synthesizer for the domain of SQL queries using input-output examples. CUBES extends existing sequential query synthesizers with new pruning techniques and a divide-and-conquer approach, splitting the search space into smaller independent sub-problems.