Interactive Program Synthesis

Program synthesis by sketching

A. Solar-Lezama · 2008

Earlier work this paper cites.

Dimensions in program synthesis

S. Gulwani · 2010

Earlier work this paper cites.

Automating string processing in spreadsheets using input-output examples

S. Gulwani · 2011

Earlier work this paper cites.

Active learning

B. Settles · 2012

Earlier work this paper cites.

Syntax-guided synthesis

R. Alur, R. Bodik, G. Juniwal, M. M. Martin, M. Raghothaman, S. A. Seshia, R. Singh, A. Solar-Lezama, E. Torlak, and A. Udupa · 2013

Earlier work this paper cites.

FlashExtract: A framework for data extraction by examples

V. Le and S. Gulwani · 2014

Cited alongside, same era.

Synthesizing data structure transformations from input-output examples

J. K. Feser, S. Chaudhuri, and I. Dillig · 2015

Cited alongside, same era.

A Theory of Formal Synthesis via Inductive Learning

S. Jha and S. A. Seshia · 2015

Cited alongside, same era.

FlashNormalize: Programming by examples for text normalization

D. Kini and S. Gulwani · 2015

Cited alongside, same era.

User interaction models for disambiguation in programming by example

M. Mayer, G. Soares, M. Grechkin, V. Le, M. Marron, O. Polozov, R. Singh, B. Zorn, and S. Gulwani · 2015

Cited alongside, same era.

Oracle-guided component-based program synthesis

S. Jha, S. Gulwani, S. A. Seshia, and A. Tiwari

Cited in the paper.

Oracle-guided component-based program synthesis

S. Jha, S. Gulwani, S. A. Seshia, and A. Tiwari

Cited in the paper.

FlashMeta: A framework for inductive program synthesis

O. Polozov and S. Gulwani · 2015

Later among the works it cites.

Predicting a correct program in programming by example

R. Singh and S. Gulwani · 2015

Later among the works it cites.

An iterative approach to synthesize data transformation programs

B. Wu and C. A. Knoblock · 2015

Later among the works it cites.

Walkthrough Part Two: Advanced Parsing with ConvertFrom-String

S. Owen · 2016

Later among the works it cites.

The research behind Flash Fill

J. Walkenbach · 2016

Later among the works it cites.