Encodings for Enumeration-Based Program Synthesis. - Pedro Orvalho; Miguel Terra-Neves; Miguel Ventura; Ruben Martins; Vasco Manquinho (CP, 2019)

The B-Subtle framework: tailoring subtitles to your needs. - Miguel Ventura; Jessica Veiga; Luísa Coheur; Sandra Gama (Lang. Resour. Evaluation, 2020)

SQUARES : A SQL Synthesizer Using Query Reverse Engineering. - Pedro Orvalho; Miguel Terra-Neves; Miguel Ventura; Ruben Martins; Vasco Manquinho (Proc. VLDB Endow., 2020)

Duplicated code pattern mining in visual programming languages. - Miguel Terra-Neves; João Nadkarni; Miguel Ventura; Pedro Resende; Hugo Veiga; António Alegria (ESEC/SIGSOFT FSE, 2021)

FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions. - Margarida Ferreira; Miguel Terra-Neves; Miguel Ventura; Inês Lynce; Ruben Martins (TACAS (1), 2021)

CUBES: A Parallel Synthesizer for SQL Using Examples. - Ricardo Brancas; Miguel Terra-Neves; Miguel Ventura; Vasco Manquinho; Ruben Martins (CoRR, 2022)

Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation. - Ricardo Brancas; Miguel Terra-Neves; Miguel Ventura; Vasco Manquinho; Ruben Martins (FASE, 2024)