Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation in FASE 2024
This paper introduces CUBES, a parallel SQL program synthesizer using input-output examples and a user-guided disambiguation process, achieving up to 60% accuracy and super-linear speedups by leveraging multicore architectures.