Publications

Articles

International Conferences: 3

2020

- Daniel Rosa Ramos and Jorge Pereira and Inês Lynce and Vasco Manquinho and Ruben Carlos Gonçalves Martins, UnchartIt: An Interactive Framework for Program Recovery from Charts, presented at IEEE/ACM International Conference on Automated Software Engineering, Oct. 2020 [bibTex]
- 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]