Machine learning is being increasingly used by individuals, research institutions, and
corporations. This has resulted in the surge of Machine Learning-as-a-Service (MLaaS) …

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

Program synthesis promises to help software developers with everyday tasks by generating
code snippets automatically from input-output examples and other high-level specifications …

A frequent programming pattern for small tasks, especially expressions, is to repeatedly
evaluate the program on an input as its editing progresses. The Read-Eval-Print Loop …

Accurate quantification of corrosivity of crude oil fractions has been a major challenge for
refiners, stemming from inadequate understanding of complex influences of naphthenic …

Data repositories often consist of text files in a wide variety of standard formats, ad-hoc
formats, as well as mixtures of formats where data in one format is embedded into a different …

Novice programmers face many challenges in introductory classes, which leads to high
dropout rates. Meanwhile, modern program synthesizers have progressed a lot—they now …

While Programming By Example (PBE) holds the promise of putting programming tasks in
reach for nonprogrammer domain experts, PBE for complex programs often requires a large …

Program synthesis is the problem of computing from a specification a program that
implements it. New and popular variations on the synthesis problem accept specifications in …

Authors' addresses: Sumit Gulwani, Microsoft, USA, sumitg@ microsoft. com; Vu Le,
Microsoft, USA, levu@ microsoft. com; Arjun Radhakrishna, Microsoft, USA, arradha …