We propose a novel trace-guided approach to tackle the challenges of ambiguity and
generalization in synthesis of recursive functional programs from input-output examples. Our …

When writing programs, people have the ability to tackle a new complex task by
decomposing it into smaller and more familiar subtasks. While it is difficult to measure …

The success and popularity of deep learning is on the rise, partially due to powerful deep
learning frameworks such as TensorFlow and PyTorch, which make it easier to develop …

A key challenge in example-based program synthesis is the gigantic search space of
programs. To address this challenge, various work proposed to use abstract interpretation to …

Search is an important technique in program synthesis that allows for adaptive strategies
such as focusing on particular search directions based on execution results. Several prior …

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 …

Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities |
SpringerLink Skip to main content Advertisement SpringerLink Account Menu Find a journal …

The goal of program synthesis from examples is to find a computer program that is
consistent with a given set of input-output examples. Most learning-based approaches try to …

Programming-by-Examples (PBE) aims to generate an algorithm from input-output
examples. Such systems are practically and theoretically important: from an end-user …

Implementations of many data structures use several correlated fields to improve their
performance; however, inconsistencies between these fields can be a source of serious …