12 citations · 17 across the 6 of their papers we have counts for
4 papers · 1 filter
Choose, Don't Label: Multiple-Choice Query Synthesis for Program Disambiguation
Celeste Barnaby, Danny Ding, Osbert Bastani +1
High-level specifications of code are inherently ambiguous, and prior systems have explored interactive techniques to help users clarify their intent and resolve such ambiguities.…
Active Learning for Neurosymbolic Program Synthesis
Celeste Barnaby, Qiaochu Chen, Ramya Ramalingam +2
The goal of active learning for program synthesis is to synthesize the desired program by asking targeted questions that minimize user interaction. While prior work has explored ac…
ImageEye: Batch Image Processing Using Program Synthesis
Celeste Barnaby, Qiaochu Chen, Roopsha Samanta +1
This paper presents a new synthesis-based approach for batch image processing. Unlike existing tools that can only apply global edits to the entire image, our method can apply fine…
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…