Publications

Pedro Orvalho, Mikoláš Janota, Vasco Manquinho (2025). InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments. In JSS 2025.

Pedro Orvalho (2025). MENTOR: Automated Feedback for Introductory Programming Exercises. PhD Thesis.

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

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

Pedro Orvalho, Mikoláš Janota, Vasco Manquinho (2024). CFaults: Model-Based Diagnosis for Fault Localization in C with Multiple Test Cases. In FM 2024.

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

Pedro Orvalho, Jelle Piepenbrock, Mikoláš Janota, Vasco Manquinho (2023). Graph Neural Networks For Mapping Variables Between Programs. In ECAI 2023.

Pedro Orvalho, Vasco Manquinho, Ruben Martins (2023). UpMax: User partitioning for MaxSAT. In SAT 2023.

Pedro Orvalho, Mikoláš Janota, Vasco Manquinho (2022). MultIPAs: Applying Program Transformations to Introductory Programming Assignments for Data Augmentation. In ESEC/FSE 2022.

Pedro Orvalho, Jelle Piepenbrock, Mikoláš Janota, Vasco Manquinho (2022). Project Proposal: Learning Variable Mappings to Repair Programs. In AITP 2022.

Changjian Zhang, Ryan Wagner, Pedro Orvalho, David Garlan, Ruben Martins, Vasco Manquinho, Eunsuk Kang (2021). AlloyMax: Bringing Maximum Satisfaction to Relational Specifications. In ESEC/FSE 2021. 🏆🏆 ACM SIGSOFT Distinguished Paper Award 🏆🏆.

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

Pedro Orvalho (2019). SQUARES: A SQL Synthesizer Using Query Reverse Engineering. MSc Thesis.

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