Pedro Orvalho

According to our database, Pedro Orvalho authored at least 16 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C.

Pedro Orvalho, Marta Kwiatkowska

CoRR, August, 2025

Are Large Language Models Robust in Understanding Code Against Semantics-Preserving Mutations?

Pedro Orvalho, Marta Kwiatkowska

CoRR, May, 2025

Can Automated Feedback Turn Students into Happy Prologians?

Ricardo Brancas, Pedro Orvalho, Carolina Carreira, Vasco Manquinho, Ruben Martins

CoRR, April, 2025

InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments.

Pedro Orvalho, Mikolás Janota, Vasco Manquinho

J. Syst. Softw., 2025

Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization.

Pedro Orvalho, Mikolás Janota, Vasco M. Manquinho

Proceedings of the AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25, 2025

2024

CFaults: Model-Based Diagnosis for Fault Localization in C Programs with Multiple Test Cases.

Pedro Orvalho, Mikolás Janota, Vasco Manquinho

CoRR, 2024

GitSEED: A Git-backed Automated Assessment Tool for Software Engineering and Programming Education.

Pedro Orvalho, Mikolás Janota, Vasco Manquinho

Proceedings of the 2024 ACM Virtual Global Computing Education Conference V. 1, 2024

C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments.

Pedro Orvalho, Mikolás Janota, Vasco Manquinho

Proceedings of the IEEE/ACM International Workshop on Automated Program Repair, 2024

cfaults: Model-Based Diagnosis for Fault Localization in C with Multiple Test Cases.

Pedro Orvalho, Mikolás Janota, Vasco M. Manquinho

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

Graph Neural Networks For Mapping Variables Between Programs - Extended Version.

Pedro Orvalho, Jelle Piepenbrock, Mikolás Janota, Vasco Manquinho

CoRR, 2023

UpMax: User Partitioning for MaxSAT.

Pedro Orvalho, Vasco Manquinho, Ruben Martins

Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023

Graph Neural Networks for Mapping Variables Between Programs.

Pedro Orvalho, Jelle Piepenbrock, Mikolás Janota, Vasco Manquinho

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

2022

MultIPAs: applying program transformations to introductory programming assignments for data augmentation.

Pedro Orvalho, Mikolás Janota, Vasco Manquinho

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

2021

AlloyMax: bringing maximum satisfaction to relational specifications.

Changjian Zhang, Ryan Wagner, Pedro Orvalho, David Garlan, Vasco Manquinho, Ruben Martins, Eunsuk Kang

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

2020

SQUARES : A SQL Synthesizer Using Query Reverse Engineering.

Pedro Orvalho, Miguel Terra-Neves, Miguel Ventura, Ruben Martins, Vasco Manquinho

Proc. VLDB Endow., 2020

2019

Encodings for Enumeration-Based Program Synthesis.

Pedro Orvalho, Miguel Terra-Neves, Miguel Ventura, Ruben Martins, Vasco Manquinho

Proceedings of the Principles and Practice of Constraint Programming, 2019