Pedro Orvalho

Latest

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