Publications

Pedro Orvalho, Miguel Terra-Neves, Miguel Ventura, Ruben Martins, Vasco Manquinho (2020). SQUARES: A SQL Synthesizer Using Query Reverse Engineering. In VLDB 2020.

Pedro Orvalho (2019). SQUARES: A SQL Synthesizer Using Query Reverse Engineering. MSc Thesis.

Pedro Orvalho, Miguel Terra-Neves, Miguel Ventura, Ruben Martins, Vasco Manquinho (2019). Encodings for Enumeration-Based Program Synthesis. In CP 2019.