Sitemap

A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.

Pages

About me

Posts

Future Blog Post

less than 1 minute read

This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.

Blog Post number 4

less than 1 minute read

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 3

less than 1 minute read

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 2

less than 1 minute read

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 1

less than 1 minute read

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

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.