Publications

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.

PDF AITP

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