Miguel Terra-Neves

Latest

• SQUARES : A SQL Synthesizer Using Query Reverse Engineering
• Encodings for Enumeration-Based Program Synthesis