Pedro Orvalho

According to our database, Pedro Orvalho authored at least 9 papers between 2019 and 2023.

Collaborative distances:

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

2023

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

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

CoRR, 2023

UpMax: User Partitioning for MaxSAT.

Pedro Orvalho, Vasco M. 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 M. Manquinho

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

2022

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

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

CoRR, 2022

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

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

CoRR, 2022

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

Pedro Orvalho, Mikolás Janota, Vasco M. 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 M. 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 M. Manquinho

Proc. VLDB Endow., 2020

2019

Encodings for Enumeration-Based Program Synthesis.

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

Proceedings of the Principles and Practice of Constraint Programming, 2019