Pedro Orvalho
About
Publications
Experience
Vasco Manquinho
Latest
C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments, Accepted at APR 2024
Graph Neural Networks For Mapping Variables Between Programs, ECAI 2023
UpMax: User partitioning for MaxSAT, SAT 2023
MultIPAs: Applying Program Transformations to Introductory Programming Assignments for Data Augmentation, ESEC/FSE 2022
Project Proposal: Learning Variable Mappings to Repair Programs, AITP 2022
AlloyMax: Bringing Maximum Satisfaction to Relational Specifications, ESEC/FSE 2021
SQUARES: A SQL Synthesizer Using Query Reverse Engineering, VLDB 2020
Encodings for Enumeration-Based Program Synthesis, CP 2019
Cite
×