Publications

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

PDF Github Zenodo AAAI arXiv (Extended) Poster

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

PDF JSS GitHub arXiv

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

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

PDF DOI GitLab Zenodo ACM arXiv

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

PDF DOI Github Zenodo Springer arXiv Poster

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

PDF DOI arXiv Github IEEE

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

PDF DOI ECAI GitHub arXiv (Extended) Poster

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

PDF DOI SAT GitHub arXiv (Extended)

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

PDF DOI FSE GitHub

Pedro Orvalho, Jelle Piepenbrock, Mikoláš Janota, Vasco Manquinho (2022). Project Proposal: Learning Variable Mappings to Repair Programs, AITP 2022. 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, ESEC/FSE 2021. In ESEC/FSE 2021.

PDF DOI FSE GitHub

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

PDF DOI VLDB GitHub

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

PDF DOI Springer

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

PDF MSc Thesis Extended Abstract