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 | 28 | 2020 |
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 | 16 | 2019 |
SQUARES: A SQL Synthesizer Using Query Reverse Engineering P da Silva Instituto Superior Técnico, Universidade de Lisboa, 2019 | 7 | 2019 |
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 | 5 | 2022 |
C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments P Orvalho, M Janota, V Manquinho arXiv preprint arXiv:2206.08768, 2022 | 5 | 2022 |
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 | 5 | 2021 |
InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments P Orvalho, M Janota, V Manquinho arXiv preprint arXiv:2206.14175, 2022 | 3 | 2022 |
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 | 2 | 2022 |
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 |