Miguel Ventura

Latest

• SQUARES: A SQL Synthesizer Using Query Reverse Engineering, VLDB 2020
• Encodings for Enumeration-Based Program Synthesis, CP 2019