Automating string processing in spreadsheets using input-output examples

ACM SIGPLAN Notices

Volumn 46, Issue 1, 2011, Pages 317-329

  Gulwani, Sumit ^a  

^a MICROSOFT RESEARCH   (United States)

Author keywords

Program Synthesis; Programming by Example (PBE); Spreadsheet Programming; String Manipulation; User Intent; Version Space Algebra

Indexed keywords

PROGRAM SYNTHESIS; PROGRAMMING BY EXAMPLE; STRING MANIPULATION; USER INTENT; VERSION SPACE ALGEBRA;

ALGEBRA; ALGORITHMS; CONVERGENCE OF NUMERICAL METHODS;

SPREADSHEETS;

EID: 79251539902     PISSN: 15232867     EISSN: None     Source Type: Journal    
DOI: 10.1145/1925844.1926423     Document Type: Conference Paper

References (23)

1. D. Angluin. Learning regular sets from queries and counterexamples. Inf. Comput., 75(2):87-106, 1987.
2. K. Fisher and R. Gruber. PADS: A domain-specific language for processing ad hoc data. In PLDI, pages 295-304, 2005.
3. K. Fisher, Y. Mandelbaum, and D. Walker. The next 700 data description languages. In POPL, pages 2-15, 2006.
4. K. Fisher, D. Walker, K. Q. Zhu, and P. White. From dirt to shovels: Fully automatic tool generation from ad hoc data. In POPL, 2008.
5. M. Gualtieri. Deputize end-user developers to deliver business agility and reduce costs. In Forrester Report for Application Development and Program Management Professionals, April 2009.
6. S. Gulwani. Dimensions in program synthesis. In PPDP. ACM, 2010.
7. S. Gulwani and G. C. Necula. A polynomial-time algorithm for global value numbering. In SAS, pages 212-227, 2004.
8. S. Jha, S. Gulwani, S. Seshia, and A. Tiwari. Oracle-guided component-based program synthesis. In ICSE, 2010.
9. A. J. Ko, B. A. Myers, and H. H. Aung. Six learning barriers in enduser programming systems. In VL/HCC, pages 199-206, 2004.
10. T. Lau. Why PBD systems fail: Lessons learned for usable AI. In CHI 2008 Workshop on Usable AI, Florence, Italy, 2008.
11. T. Lau, S. Wolfman, P. Domingos, and D. Weld. Programming by demonstration using version space algebra. Machine Learning, 53(1- 2), 2003.
12. T. Lau, L. Bergman, V. Castelli, and D. Oblinger. Programming shell scripts by demonstration. In Workshop on SCLAS, AAAI, 2004.
13. T. A. Lau, P. Domingos, and D. S.Weld. Version space algebra and its application to programming by demonstration. In ICML, 2000.
14. T. A. Lau, P. Domingos, and D. S. Weld. Learning programs from traces using version space algebra. In K-CAP, pages 36-43, 2003.
15. R. C. Miller and B. A. Myers. Interactive simultaneous editing of multiple text regions. In USENIX Annual Technical Conference, 2001.
16. T. M. Mitchell. Generalization as search. Artif. Intell., 18(2), 1982.
17. R. P. Nix. Editing by example. TOPLAS, 7(4):600-621, 1985.
18. S. Russell and P. Norvig. Artificial Intelligence: A Modern Approach (2nd Edition). Prentice Hall, 2 edition, December 2002.
19. S. Srivastava, S. Gulwani, and J. Foster. From program verification to program synthesis. In POPL, 2010.
20. J. M. Vilar. Query learning of subsequential transducers. In Proceedings of the 3rd International Colloquium on Grammatical Inference, 1996.
21. J. Walkenbach. Excel 2010 Formulas. John Wiley and Sons, 2010.
22. I. H. Witten and D. Mo. TELS: Learning text editing tasks from examples. In Watch what I do: Programming by demonstration, pages 293-307. MIT Press, Cambridge, MA, USA, 1993.
23. Q. Xi and D. Walker. A context-free markup language for semistructured text. In PLDI, pages 221-232, 2010.