84 citations · 356 across the 59 of their papers we have counts for
4 papers · 2 filters
Visualization by Example
Chenglong Wang, Yu Feng, Rastislav Bodik +2
While visualizations play a crucial role in gaining insights from data, generating useful visualizations from a complex dataset is far from an easy task. Besides understanding the…
Multi-modal Synthesis of Regular Expressions
Qiaochu Chen, Xinyu Wang, Xi Ye +2
In this paper, we propose a multi-modal synthesis technique for automatically constructing regular expressions (regexes) from a combination of examples and natural language. Using…
Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness
Greg Anderson, Shankara Pailoor, Isil Dillig +1
In recent years, the notion of local robustness (or robustness for short) has emerged as a desirable property of deep neural networks. Intuitively, robustness means that small pert…
Synthesizing Database Programs for Schema Refactoring
Yuepeng Wang, James Dong, Rushi Shah +1
Many programs that interact with a database need to undergo schema refactoring several times during their life cycle. Since this process typically requires making significant chang…