In this survey, we study how recent advances in machine intelligence are disrupting the
world of business processes. Over the last decade, there has been steady progress towards …

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 …

Debugging software failures is still a painful, time consuming, and expensive process. For
instance, recent studies showed that debugging activities often account for about 50% of the …

A great part of software development involves conceptualizing or communicating the
underlying procedures and logic that needs to be expressed in programs. One major …

This paper presents a new technique for automatically synthesizing SQL queries from
natural language (NL). At the core of our technique is a new NL-based program synthesis …

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 …

Inductive synthesis, or programming-by-examples (PBE) is gaining prominence with
disruptive applications for automating repetitive tasks in end-user programming. However …

We present a method for example-guided synthesis of functional programs over recursive
data structures. Given a set of input-output examples, our method synthesizes a program in …

A notable class of techniques for automatic program repair is known as semantics-based.
Such techniques, eg, Angelix, infer semantic specifications via symbolic execution, and then …