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

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

AlloyMax: bringing maximum satisfaction to relational specifications. - Changjian Zhang; Ryan Wagner; Pedro Orvalho; David Garlan; Vasco Manquinho; Ruben Martins; Eunsuk Kang (ESEC/SIGSOFT FSE, 2021)

MultIPAs: applying program transformations to introductory programming assignments for data augmentation. - Pedro Orvalho; Mikolás Janota; Vasco Manquinho (ESEC/SIGSOFT FSE, 2022)

Graph Neural Networks for Mapping Variables Between Programs. - Pedro Orvalho; Jelle Piepenbrock; Mikolás Janota; Vasco Manquinho (ECAI, 2023)

UpMax: User Partitioning for MaxSAT. - Pedro Orvalho; Vasco Manquinho; Ruben Martins (SAT, 2023)

Graph Neural Networks For Mapping Variables Between Programs - Extended Version. - Pedro Orvalho; Jelle Piepenbrock; Mikolás Janota; Vasco Manquinho (CoRR, 2023)

cfaults: Model-Based Diagnosis for Fault Localization in C with Multiple Test Cases. - Pedro Orvalho; Mikolás Janota; Vasco M. Manquinho (FM (1), 2024)

C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments. - Pedro Orvalho; Mikolás Janota; Vasco Manquinho (APR, 2024)

GitSEED: A Git-backed Automated Assessment Tool for Software Engineering and Programming Education. - Pedro Orvalho; Mikolás Janota; Vasco Manquinho (SIGCSE Virtual (1), 2024)

CFaults: Model-Based Diagnosis for Fault Localization in C Programs with Multiple Test Cases. - Pedro Orvalho; Mikolás Janota; Vasco Manquinho (CoRR, 2024)

Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization. - Pedro Orvalho; Mikolás Janota; Vasco M. Manquinho (AAAI, 2025)

InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments. - Pedro Orvalho; Mikolás Janota; Vasco Manquinho (J. Syst. Softw., 2025)

Can Automated Feedback Turn Students into Happy Prologians? - Ricardo Brancas; Pedro Orvalho; Carolina Carreira; Vasco Manquinho; Ruben Martins (CoRR, 2025)

Are Large Language Models Robust in Understanding Code Against Semantics-Preserving Mutations? - Pedro Orvalho; Marta Kwiatkowska (CoRR, 2025)

PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C. - Pedro Orvalho; Marta Kwiatkowska (CoRR, 2025)