Inductive programming meets the real world Page 1 90 COMMUNICATIONS OF THE ACM |
NOVEMBER 2015 | VOL. 58 | NO. 11 review articles DOI:10.1145/2736282 Inductive …

Recent advances in Large Language Models (LLM) have made automatic code generation
possible for real-world programming tasks in general-purpose programming languages …

Expert problem-solving is driven by powerful languages for thinking about problems and
their solutions. Acquiring expertise means learning these languages—systems of concepts …

The rise of Alzheimer's disease is one of the greatest health crises facing the industrialized
world. Today, approximately four million Americans suffer from Aizheimer's disease; by …

We describe the design of a string programming/expression language that supports
restricted forms of regular expressions, conditionals and loops. The language is expressive …

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 …

Though error analysis is crucial to understanding and improving NLP models, the common
practice of manual, subjective categorization of a small sample of errors can yield biased …

Library learning compresses a given corpus of programs by extracting common structure
from the corpus into reusable library functions. Prior work on library learning suffers from two …

Millions of computer end users need to perform tasks over large spreadsheet data, yet lack
the programming knowledge to do such tasks automatically. We present a programming by …

This paper introduces corpus-guided top-down synthesis as a mechanism for synthesizing
library functions that capture common functionality from a corpus of programs in a domain …