Miguel Ventura

According to our database, Miguel Ventura authored at least 7 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation.

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

Proceedings of the Fundamental Approaches to Software Engineering, 2024

2022

CUBES: A Parallel Synthesizer for SQL Using Examples.

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

CoRR, 2022

2021

FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions.

Margarida Ferreira, Miguel Terra-Neves, Miguel Ventura, Inês Lynce, Ruben Martins

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

Duplicated code pattern mining in visual programming languages.

Miguel Terra-Neves, João Nadkarni, Miguel Ventura, Pedro Resende, Hugo Veiga, António Alegria

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

2020

SQUARES : A SQL Synthesizer Using Query Reverse Engineering.

Pedro Orvalho, Miguel Terra-Neves, Miguel Ventura, Ruben Martins, Vasco Manquinho

Proc. VLDB Endow., 2020

The B-Subtle framework: tailoring subtitles to your needs.

Miguel Ventura, Jessica Veiga, Luísa Coheur, Sandra Gama

Lang. Resour. Evaluation, 2020

2019

Encodings for Enumeration-Based Program Synthesis.

Pedro Orvalho, Miguel Terra-Neves, Miguel Ventura, Ruben Martins, Vasco Manquinho

Proceedings of the Principles and Practice of Constraint Programming, 2019