Publications

Articles

International Conferences: 3

2021

- Changjian Zhang and Ryan Wagner and Pedro Miguel Orvalho and David Garlan and Vasco Manquinho and Ruben Martins and Eunsuk Kang, AlloyMax: Bringing Maximum Satisfaction toRelational Specifications, presented at ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), Jun. 2021 [bibTex]

2020

- Pedro Miguel Orvalho and Miguel Neves and Miguel Ventura and Ruben Carlos Gonçalves Martins and Vasco Manquinho, SQUARES : A SQL Synthesizer Using Query Reverse Engineering, presented at International Conference on Very Large Databases, Jul. 2020 [bibTex] [Video]

2019

- Pedro Miguel Orvalho and Miguel Neves and Miguel Ventura and Ruben Carlos Gonçalves Martins and Vasco Manquinho, Encodings for Enumeration-Based Program Synthesis, presented at 25th International Conference on Principles and Practice of Constraint Programming, CP 2019, Oct. 2019 [DOI Article link] [bibTex]

Dissertations

MSc Theses: 1

2019

- Pedro Miguel Orvalho advised by Vasco Manquinho and Miguel Neves, SQUARES : A SQL Synthesizer Using Query Reverse Engineering, MSc Thesis, Nov. 2019 [bibTex]