Program Synthesis

SQUARES: A SQL Synthesizer Using Query Reverse Engineering featured image

SQUARES: A SQL Synthesizer Using Query Reverse Engineering

In this talk I present SQUARES, an open-source tool that generates SQL and R queries from specifications. The specifications are expressed with input-output tables and some …

avatar
Pedro Orvalho
Read more
SQUARES: A SQL Synthesizer Using Query Reverse Engineering featured image

SQUARES: A SQL Synthesizer Using Query Reverse Engineering

In this paper, we present SQUARES, an open-source tool that generates SQL and R queries from specifications. The specifications are expressed with input-output tables and some …

avatar
Pedro Orvalho
Read more
SQUARES: A SQL Synthesizer Using Query Reverse Engineering featured image

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.

avatar
Pedro Orvalho
Read more
Encodings for Enumeration-Based Program Synthesis featured image

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.

avatar
Pedro Orvalho
Read more
Encodings for Enumeration-Based Program Synthesis featured image

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.

avatar
Pedro Orvalho
Read more
Query Reverse Engineering featured image

Query Reverse Engineering

Many data analysts are domain experts but lack programming expertise. While they can describe what transformation they want to perform, they often struggle to express it in a query …

avatar
Pedro Orvalho
Read more