4 citations · 9 across the 5 of their papers we have counts for
5 papers
SAT-Based Algorithms for Regular Graph Pattern Matching
Miguel Terra-Neves, José Amaral, Alexandre Lemos +3
Graph matching is a fundamental problem in pattern recognition, with many applications such as software analysis and computational biology. One well-known type of graph matching pr…
On Repairing Natural Language to SQL Queries
Aidan Z. H. Yang, Ricardo Brancas, Pedro Esteves +5
Data analysts use SQL queries to access and manipulate data on their databases. However, these queries are often challenging to write, and small mistakes can lead to unexpected dat…
CUBES: A Parallel Synthesizer for SQL Using Examples
Ricardo Brancas, Miguel Terra-Neves, Miguel Ventura +2
In recent years, more people have seen their work depend on data manipulation tasks. However, many of these users do not have the background in programming required to write comple…
Duplicated Code Pattern Mining in Visual Programming Languages
Miguel Terra-Neves, João Nadkarni, Miguel Ventura +3
Visual Programming Languages (VPLs), coupled with the high-level abstractions that are commonplace in visual programming environments, enable users with less technical knowledge to…
FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions
Margarida Ferreira, Miguel Terra-Neves, Miguel Ventura +2
Form validators based on regular expressions are often used on digital forms to prevent users from inserting data in the wrong format. However, writing these validators can pose a…