4 citations · 8 across the 3 of their papers we have counts for
3 papers
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…