Programming-by-Examples (PBE) involves synthesizing an" intended program" from a small
set of user-provided input-output examples. A key PBE strategy has been to restrict the …

Modifications to the data representation of an abstract data type (ADT) can require
significant semantic refactoring of the code. Motivated by this observation, this paper …

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 …

We present a novel bottom-up method for the synthesis of functional recursive programs.
While bottom-up synthesis techniques can work better than top-down methods in certain …

We present a novel approach to synthesizing recursive functional programs from input-
output examples. Synthesizing a recursive function is challenging because recursive …

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 …

We propose a new synthesis algorithm that can efficiently search programs with local
variables (eg, those introduced by lambdas). Prior bottom-up synthesis algorithms are not …

Programming by example (PBE) is an emerging programming paradigm that automatically
synthesizes programs specified by user-provided input-output examples. Despite the …

In this article, we present a novel method for synthesizing quantum circuits from user-
supplied components. Given input-output state vectors and component quantum gates, our …

Mixed Boolean Arithmetic (MBA) obfuscation transforms a program expression into an
equivalent but complex expression that is hard to understand. MBA obfuscation has been …