Publications

Pedro Orvalho, Jelle Piepenbrock, Mikolรกลก Janota, Vasco Manquinho (2022). Project Proposal: Learning Variable Mappings to Repair Programs. In AITP 2022.
PDF project
Changjian Zhang, Ryan Wagner, Pedro Orvalho, David Garlan, Ruben Martins, Vasco Manquinho, Eunsuk Kang (2021). AlloyMax: Bringing Maximum Satisfaction to Relational Specifications. In ESEC/FSE 2021. ๐Ÿ†๐Ÿ† ACM SIGSOFT Distinguished Paper Award ๐Ÿ†๐Ÿ†.
PDF Code project DOI
Pedro Orvalho, Miguel Terra-Neves, Miguel Ventura, Ruben Martins, Vasco Manquinho (2020). SQUARES: A SQL Synthesizer Using Query Reverse Engineering. In VLDB 2020.
PDF Code Site project DOI
Pedro Orvalho (2019). SQUARES: A SQL Synthesizer Using Query Reverse Engineering. MSc Thesis.
PDF Code Site IST Project
Pedro Orvalho, Miguel Terra-Neves, Miguel Ventura, Ruben Martins, Vasco Manquinho (2019). Encodings for Enumeration-Based Program Synthesis. In CP 2019.
PDF Code project DOI