| 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 | 31 | 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 | 20 | 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 | 15 | 2022 |
| C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments P Orvalho, M Janota, V Manquinho 2024 IEEE/ACM International Workshop on Automated Program Repair (APR), 14-21, 2024 | 13 | 2024 |
| 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 | 9 | 2021 |
| Graph Neural Networks for Mapping Variables Between Programs P Orvalho, J Piepenbrock, M Janota, V Manquinho ECAI 2023, 1811-1818, 2023 | 8* | 2023 |
| InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments P Orvalho, M Janota, V Manquinho arXiv preprint arXiv:2206.14175, 2022 | 8 | 2022 |
| SQUARES: A SQL Synthesizer Using Query Reverse Engineering P da Silva Instituto Superior Técnico, Universidade de Lisboa, 2019 | 8 | 2019 |
| C-Pack of IPAs: a C90 program benchmark of introductory programming assignments. CoRR abs/2206.08768 (2022) P Orvalho, M Janota, V Manquinho arXiv preprint arXiv:2206.08768 10, 2022 | 5 | 2022 |
| cfaults: Model-Based Diagnosis for Fault Localization in C with Multiple Test Cases P Orvalho, M Janota, V Manquinho International Symposium on Formal Methods, 463-481, 2024 | 3* | 2024 |
| UpMax: User Partitioning for MaxSAT P Orvalho, V Manquinho, R Martins Proceedings of the 26th International Conference on Theory and Applications …, 2023 | 3 | 2023 |
| 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 | 3 | 2022 |
| GitSEED: A Git-backed Automated Assessment Tool for Software Engineering and Programming Education P Orvalho, M Janota, V Manquinho Proceedings of the 1st ACM Virtual Global Computing Education Conference …, 2024 | 2 | 2024 |
| Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization P Orvalho, M Janota, V Manquinho arXiv preprint arXiv:2502.07786, 2024 | | 2024 |
Vasco ManquinhoINESC-ID, Instituto Superior Técnico - Universidade de LisboaВерификована је имејл адреса на inesc-id.pt
