Follow
Pedro Orvalho
Pedro Orvalho
INESC-ID, Instituto Superior Técnico, Universidade de Lisboa
Verified email at tecnico.ulisboa.pt - Homepage
Title
Cited by
Cited by
Year
SQUARES: A SQL Synthesizer Using Query Reverse Engineering
P Orvalho, M Terra-Neves, M Ventura, R Martins, V Manquinho
Proceedings of the VLDB Endowment 13 (12), 2853-2856, 2020
282020
Encodings for Enumeration-Based Program Synthesis
P Orvalho, M Terra-Neves, M Ventura, R Martins, V Manquinho
International Conference on Principles and Practice of Constraint …, 2019
162019
SQUARES: A SQL Synthesizer Using Query Reverse Engineering
P da Silva
Instituto Superior Técnico, Universidade de Lisboa, 2019
72019
MultIPAs: Applying Program Transformations to Introductory Programming Assignments for Data Augmentation
P Orvalho, M Janota, V Manquinho
Proceedings of the 30th ACM Joint European Software Engineering Conference …, 2022
52022
C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments
P Orvalho, M Janota, V Manquinho
arXiv preprint arXiv:2206.08768, 2022
52022
AlloyMax: Bringing Maximum Satisfaction to Relational Specifications
C Zhang, R Wagner, P Orvalho, D Garlan, V Manquinho, R Martins, ...
Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021
42021
InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments
P Orvalho, M Janota, V Manquinho
arXiv preprint arXiv:2206.14175, 2022
32022
Project Proposal: Learning Variable Mappings to Repair Programs
P Orvalho, J Piepenbrock, M Janota, V Manquinho
7th Conference on Artificial Intelligence and Theorem Proving, AITP, 2022
22022
Graph Neural Networks for Mapping Variables Between Programs
P Orvalho, J Piepenbrock, M Janota, V Manquinho
ECAI 2023, 1811-1818, 2023
1*2023
UpMax: User Partitioning for MaxSAT
P Orvalho, V Manquinho, R Martins
Proceedings of the 26th International Conference on Theory and Applications …, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–10