• Documents
  • Authors
  • Tables
  • Other Seers ▼
    RefSeer AckSeer CollabSeer SeerSeer
  • Log in
  • Sign up
  • MetaCart

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

Table Transformations from Examples (2011)

Cached

  • Download as a PDF

Download Links

  • [research.microsoft.com]
  • [www.research.microsoft.com]
  • [research.microsoft.com]
  • [research.microsoft.com]
  • [www.research.microsoft.com]
  • [research.microsoft.com]

  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by William R. Harris , Sumit Gulwani
Citations:8 - 6 self
  • Summary
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

BibTeX

@TECHREPORT{Harris11tabletransformations,
    author = {William R. Harris and Sumit Gulwani},
    title = {Table Transformations from Examples},
    institution = {},
    year = {2011}
}

Bookmark

citeulike Connotea Bibsonomy Del.icio.us Digg Reddit

OpenURL

 

Abstract

Every day, millions of computer end-users need to perform tasks over large, tabular data, yet lack the programming knowledge to do such tasks automatically. In this work, we present an automatic technique that takes from a user an example of how the user needs to transform a table of data, and provides to the user a program that implements the transformation described by the example. In particular, we present a language of programs TableProg that can describe transformations that real users require. We then present an algorithm ProgFromEx that takes an example input and output table, and infers a program in TableProg that implements the transformation described by the example. When the program is applied to the example input, it reproduces the example output. When the program is applied to another, potentially larger, table with a “similar” layout as the example input table, then the program produces

Citations

318 Watch What I Do: Programming by Demonstration - Cypher, Halbert, et al. - 1993
135 Your Wish Is My Command: Programming by Example - Lieberman, ed
57 Editing by examples - Nix - 1983
50 Header and Unit Inference for Spreadsheets Through Spatial Analyses - Abraham, Erwig - 2004
48 Version space algebra and its application to programming by demonstration - Lau, Domingos, et al. - 2000
37 Programming by demonstration using version space algebra - Lau, Wolfman, et al. - 2003
24 From dirt to shovels: Fully automatic tool generation from ad hoc data - Fisher, Walker, et al. - 2008
24 TELS: learning text editing tasks from examples - Witten, Mo - 1993
23 J.S.: From program verification to program synthesis - Srivastava, Gulwani, et al. - 2010
17 Automating string processing in spreadsheets using input-output examples - Gulwani - 2011
13 Oracle-guided componentbased program synthesis - Jha, Gulwani, et al. - 2010
13 Sketching stencils - Solar-Lezama, Arnold, et al. - 2007
9 Synthesizing switching logic using constraint solving - Taly, Gulwani, et al. - 2009
8 Matching lenses: alignment and view update - Barbosa, Cretin, et al. - 2010
8 Synthesis of loop-free programs - Gulwani, Jha, et al. - 2011
6 A simple inductive synthesis methodology and its applications - Itzhaky, Gulwani, et al. - 2010
6 Path-based inductive synthesis for program inversion - Srivastava, Gulwani, et al. - 2011
4 Synthesizing view definitions from data - Sarma, Parameswaran, et al. - 2010
4 Wrangler: Interactive visual specification of data transformation scripts - Kandel, Paepcke, et al. - 2011
4 Query by output - Tran, Chan, et al. - 2009
3 Dimensions in program synthesis (invited talk paper - Gulwani - 2010
The National Science Foundation
  • About CiteSeerX
  • Submit Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2010 The Pennsylvania State University