Publications

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

PDF DOI ACM arXiv Github

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)

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. SQUARES : A SQL Synthesizer Using Query Reverse Engineering.

PDF MSc Thesis Extended Abstract