12 citations · 23 across the 7 of their papers we have counts for
4 papers
Type-Directed Synthesis of Visualizations from Natural Language Queries
Qiaochu Chen, Shankara Pailoor, Celeste Barnaby +4
We propose a new technique based on program synthesis for automatically generating visualizations from natural language queries. Our method parses the natural language query into a…
Static Detection of DoS Vulnerabilities in Programs that use Regular Expressions (Extended Version)
Valentin Wüstholz, Oswaldo Olivo, Marijn J. H. Heule +1
In an algorithmic complexity attack, a malicious party takes advantage of the worst-case behavior of an algorithm to cause denial-of-service. A prominent algorithmic complexity att…
Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples
Yu Feng, Ruben Martins, Jacob Van Geffen +2
This paper presents an example-driven synthesis technique for automating a large class of data preparation tasks that arise in data science. Given a set of input tables and an out-…
Type-Directed Code Reuse using Integer Linear Programming
Yuepeng Wang, Yu Feng, Ruben Martins +3
In many common scenarios, programmers need to implement functionality that is already provided by some third party library. This paper presents a tool called Hunter that facilitate…