Publications

(2020). SQUARES: A SQL Synthesizer Using Query Reverse Engineering. In VLDB 2020.
(2019). Encodings for Enumeration-Based Program Synthesis. In CP 2019.