On the design of ai-powered code assistants for notebooks
AI-powered code assistants, such as Copilot, are quickly becoming a ubiquitous component
of contemporary coding contexts. Among these environments, computational notebooks …
of contemporary coding contexts. Among these environments, computational notebooks …
Discovering the syntax and strategies of natural language programming with generative language models
In this paper, we present a natural language code synthesis tool, GenLine, backed by 1) a
large generative language model and 2) a set of task-specific prompts that create or change …
large generative language model and 2) a set of task-specific prompts that create or change …
Grounded copilot: How programmers interact with code-generating models
Powered by recent advances in code-generating models, AI assistants like Github Copilot
promise to change the face of programming forever. But what is this new face of …
promise to change the face of programming forever. But what is this new face of …
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 …
burden of programming by automatically generating code, but little research has addressed …
Understanding the usability of AI programming assistants
The software engineering community recently has witnessed widespread deployment of AI
programming assistants, such as GitHub Copilot. However, in practice, developers do not …
programming assistants, such as GitHub Copilot. However, in practice, developers do not …
A large-scale survey on the usability of ai programming assistants: Successes and challenges
The software engineering community recently has witnessed widespread deployment of AI
programming assistants, such as GitHub Copilot. However, in practice, developers do not …
programming assistants, such as GitHub Copilot. However, in practice, developers do not …
WebRobot: web robotic process automation using interactive programming-by-demonstration
It is imperative to democratize robotic process automation (RPA), as RPA has become a
main driver of the digital transformation but is still technically very demanding to construct …
main driver of the digital transformation but is still technically very demanding to construct …
Explainable Program Synthesis by Localizing Specifications
The traditional formulation of the program synthesis problem is to find a program that meets
a logical correctness specification. When synthesis is successful, there is a guarantee that …
a logical correctness specification. When synthesis is successful, there is a guarantee that …
Synthesizing analytical SQL queries from computation demonstration
Analytical SQL is widely used in modern database applications and data analysis. However,
its partitioning and grouping operators are challenging for novice users. Unfortunately …
its partitioning and grouping operators are challenging for novice users. Unfortunately …
LooPy: interactive program synthesis with control structures
One vision for program synthesis, and specifically for programming by example (PBE), is an
interactive programmer's assistant, integrated into the development environment. To make …
interactive programmer's assistant, integrated into the development environment. To make …