Seguir
Pedro Orvalho
Pedro Orvalho
INESC-ID, Instituto Superior Técnico, Universidade de Lisboa
Dirección de correo verificada de tecnico.ulisboa.pt - Página principal
Título
Citado por
Citado por
Año
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
52021
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–10