Fetching the paper…
Reading the bibliography…
This paper presents an example-driven synthesis technique for automating a large class of data preparation tasks that arise in data science.
SRILM - an extensible language modeling toolkit
A. Stolcke · 2002
Earlier work this paper cites.
Exploratory data mining and data cleaning , volume 479
T. Dasu and T. Johnson · 2003
Earlier work this paper cites.
Jungloid mining: helping to navigate the API jungle
D. Mandelin, L. Xu, R. Bodík, and D. Kimelman · 2005
Earlier work this paper cites.
Programming by sketching for bit-streaming programs
A. Solar-Lezama, R. M. Rabbah, R. Bodík, and K. Ebcioglu · 2005
Earlier work this paper cites.
Context-sensitive domain-independent algorithm composition and selection
T. A. Johnson and R. Eigenmann · 2006
Earlier work this paper cites.
Combinatorial sketching for finite programs
A. Solar-Lezama, L. Tancau, R. Bodik, S. Seshia, and V. Saraswat · 2006
Earlier work this paper cites.
Sketching stencils
A. Solar-Lezama, G. Arnold, L. Tancau, R. Bodík, V. A. Saraswat, and S. A. Seshia · 2007
Earlier work this paper cites.
Z3: An efficient SMT solver
L. De Moura and N. Bjørner · 2008
Earlier work this paper cites.
Liquid types
P. M. Rondon, M. Kawaguchi, and R. Jhala · 2008
Earlier work this paper cites.
Oracle-guided component-based program synthesis
S. Jha, S. Gulwani, S. Seshia, and A. Tiwari · 2010
Earlier work this paper cites.
Automating string processing in spreadsheets using input-output examples
S. Gulwani · 2011
Earlier work this paper cites.
Synthesis of loop-free programs
S. Gulwani, S. Jha, A. Tiwari, and R. Venkatesan · 2011
Earlier work this paper cites.
Proactive Wrangling: Mixed-initiative End-user Programming of Data Transformation Scripts
P. J. Guo, S. Kandel, J. M. Hellerstein, and J. Heer · 2011
Cited alongside, same era.
Spreadsheet table transformations from examples
W. R. Harris and S. Gulwani · 2011
Cited alongside, same era.
Wrangler: Interactive visual specification of data transformation scripts
S. Kandel, A. Paepcke, J. Hellerstein, and J. Heer · 2011
Cited alongside, same era.
A combined analytical and search-based approach for the inductive synthesis of functional programs
E. Kitzelmann · 2011
Cited alongside, same era.
Recursive Program Synthesis
A. Albarghouthi, S. Gulwani, and Z. Kincaid · 2013
Cited alongside, same era.
Complete completion using types and weights
T. Gvero, V. Kuncak, I. Kuraj, and R. Piskac · 2013
Cited alongside, same era.
Synthesizing data structure transformations from input-output examples
J. K. Feser, S. Chaudhuri, and I. Dillig · 2015
Later among the works it cites.
Type-and-example-directed program synthesis
P.-M. Osera and S. Zdancewic · 2015
Later among the works it cites.
FlashMeta: A framework for inductive program synthesis
O. Polozov and S. Gulwani · 2015
Later among the works it cites.
http://stackoverflow.com/questions/30399516/complex-data-reshaping-in-r
Motivating Example 1 · 2016
Closest in time.
http://stackoverflow.com/questions/33207263/finding-proportions-in-flights-dataset-in-r
Motivating Example 2 · 2016
Closest in time.
http://stackoverflow.com/questions/32875699/how-to-combine-two-data-frames-in-r-see-details
Motivating Example 3 · 2016
Closest in time.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Automatically synthesizing sql queries from input-output examples
S. Zhang and Y. Sun · 2013
Cited alongside, same era.
FlashExtract: a framework for data extraction by examples
V. Le and S. Gulwani · 2014
Cited alongside, same era.
Test-driven synthesis
D. Perelman, S. Gulwani, D. Grossman, and P. Provost · 2014
Cited alongside, same era.
Code completion with statistical language models
V. Raychev, M. Vechev, and E. Yahav · 2014
Cited alongside, same era.
FlashRelate: extracting relational data from semi-structured spreadsheets using examples
D. W. Barowy, S. Gulwani, T. Hart, and B. G. Zorn · 2015
Cited alongside, same era.
Example-directed synthesis: a type-theoretic interpretation
J. Frankle, P. Osera, D. Walker, and S. Zdancewic · 2016
Closest in time.
Program synthesis from polymorphic refinement types
N. Polikarpova, I. Kuraj, and A. Solar-Lezama · 2016
Closest in time.
Refinement types for typescript
P. Vekris, B. Cosman, and R. Jhala · 2016
Closest in time.
Synthesizing transformations on hierarchically structured data
N. Yaghmazadeh, C. Klinger, I. Dillig, and S. Chaudhuri · 2016
Closest in time.
Component-Based Synthesis for Complex APIs
Y. Feng, R. Martins, Y. Wang, I. Dillig, and T. Reps · 2017
Closest in time.