On the design of ai-powered code assistants for notebooks

AM McNutt, C Wang, RA Deline… - Proceedings of the 2023 …, 2023 - dl.acm.org
AI-powered code assistants, such as Copilot, are quickly becoming a ubiquitous component
of contemporary coding contexts. Among these environments, computational notebooks …

Program synthesis

S Gulwani, O Polozov, R Singh - Foundations and Trends® in …, 2017 - nowpublishers.com
Program synthesis is the task of automatically finding a program in the underlying
programming language that satisfies the user intent expressed in the form of some …

Flashmeta: A framework for inductive program synthesis

O Polozov, S Gulwani - Proceedings of the 2015 ACM SIGPLAN …, 2015 - dl.acm.org
Inductive synthesis, or programming-by-examples (PBE) is gaining prominence with
disruptive applications for automating repetitive tasks in end-user programming. However …

Synthesizing highly expressive SQL queries from input-output examples

C Wang, A Cheung, R Bodik - Proceedings of the 38th ACM SIGPLAN …, 2017 - dl.acm.org
SQL is the de facto language for manipulating relational data. Though powerful, many users
find it difficult to write SQL queries due to highly expressive constructs. While using the …

Learning syntactic program transformations from examples

R Rolim, G Soares, L D'Antoni… - 2017 IEEE/ACM 39th …, 2017 - ieeexplore.ieee.org
Automatic program transformation tools can be valuable for programmers to help them with
refactoring tasks, and for Computer Science students in the form of tutoring systems that …

Exploring the learnability of program synthesizers by novice programmers

D Jayagopal, J Lubin, SE Chasins - … of the 35th Annual ACM Symposium …, 2022 - dl.acm.org
Modern program synthesizers are increasingly delivering on their promise of lightening the
burden of programming by automatically generating code, but little research has addressed …

Sketch-n-sketch: Output-directed programming for svg

B Hempel, J Lubin, R Chugh - Proceedings of the 32nd Annual ACM …, 2019 - dl.acm.org
For creative tasks, programmers face a choice: Use a GUI and sacrifice flexibility, or write
code and sacrifice ergonomics? To obtain both flexibility and ease of use, a number of …

Program synthesis using natural language

A Desai, S Gulwani, V Hingorani, N Jain… - Proceedings of the 38th …, 2016 - dl.acm.org
Interacting with computers is a ubiquitous activity for millions of people. Repetitive or
specialized tasks often require creation of small, often one-off, programs. End-users struggle …

Interactive program synthesis by augmented examples

T Zhang, L Lowmanstone, X Wang… - Proceedings of the 33rd …, 2020 - dl.acm.org
Programming-by-example (PBE) has become an increasingly popular component in
software development tools, human-robot interaction, and end-user programming. A long …

Falx: Synthesis-powered visualization authoring

C Wang, Y Feng, R Bodik, I Dillig, A Cheung… - Proceedings of the 2021 …, 2021 - dl.acm.org
Modern visualization tools aim to allow data analysts to easily create exploratory
visualizations. When the input data layout conforms to the visualization design, users can …