Publications

Articles

International Conferences: 2

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]

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, SQUARES : A SQL Synthesizer Using Query Reverse Engineering, MSc Thesis, Nov. 2019 [bibTex]