SQUARES: A SQL Synthesizer Using Query Reverse Engineering
MSc Thesis. We propose a novel Enumeration-Based SQL synthesizer SQUARES, that uses a new line representation where we represent each program line with its own subtree.
Encodings for Enumeration-Based Program Synthesis
In this talk I will present a new compact line-based encoding is proposed that allows a faster enumeration of the program space.
Encodings for Enumeration-Based Program Synthesis
In this paper, a new compact line-based encoding is proposed that allows a faster enumeration of the program space.