Posts by Collection

publications

Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation in FASE 2024

Ricardo Brancas, Miguel Terra-Neves, Miguel Ventura, Vasco Manquinho and Ruben Martins

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.

Paper arXiv (extended) Code

teaching

Teaching experience 1 in University 1, Department

This is a description of a teaching experience. You can use markdown like any other post.

Teaching experience 2 in University 1, Department

This is a description of a teaching experience. You can use markdown like any other post.