Publications

Pedro Orvalho, Marta Kwiatkowska, Guillem Alenyà, Felip Manyà (2026). Solving MaxSAT Problems from Natural Language Descriptions with LLMs and PySAT. In LLM-Solve @ FLoC 2026.

Ricardo Brancas, Pedro Orvalho, Carolina Carreira, Vasco Manquinho, Ruben Martins (2026). Can Automated Feedback Turn Students into Happy Prologians?. In ICLP 2026.

Ricardo Brancas, Pedro Orvalho, Carolina Carreira, Vasco Manquinho, Ruben Martins (2026). What Bugs Do Prolog Students Write? An Empirical Taxonomy and Data-Driven Mutation Framework. In ICLP 2026.

Pedro Orvalho, Mikoláš Janota, Vasco Manquinho (2026). MENTOR: Fixing Introductory Programming Assignments With Formula-Based Fault Localization and LLM-Driven Program Repair. In JSS 2026.

Pedro Orvalho, Marta Kwiatkowska (2026). PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C. In P-AI-FM @ AAAI 2026.

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 @ ICSE 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 🏆🏆.