Publications

Pedro Orvalho, Marta Kwiatkowska (2026). Large Language Models Are Not (Yet) Robust in Understanding Code Against Semantics-Preserving Mutations. In EPIA 2026.

Pedro Orvalho, Guillem Alenyà, Felip Manyà (2026). MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku. In EPIA 2026.

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.