Generative AI (GenAI) systems offer unprecedented opportunities for transforming
professional and personal work, yet present challenges around prompting, evaluating and …

The software engineering community recently has witnessed widespread deployment of AI
programming assistants, such as GitHub Copilot. However, in practice, developers do not …

AI-powered code assistants, such as Copilot, are quickly becoming a ubiquitous component
of contemporary coding contexts. Among these environments, computational notebooks …

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 …

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 …

Modern program synthesizers are increasingly delivering on their promise of lightening the
burden of programming by automatically generating code, but little research has addressed …

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 …

Programming a smart home is an iterative process in which users configure and test the
automation during the in-situ experience with IoT space. However, current end-user …

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 …

Data scientists, researchers, and clerks often create web automation programs to perform
repetitive yet essential tasks, such as data scra** and data entry. However, existing web …