Publications

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

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

PDF DOI Springer

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