A machine learning framework for programming by example

30th International Conference on Machine Learning, ICML 2013

Volumn , Issue PART 1, 2013, Pages 187-195

  Menon, Aditya Krishna ^a   Tamuz, Omer ^b   Gulwani, Sumit ^c   Lampson, Butler ^d   Kalai, Adam Tauman ^d  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b WEIZMANN INSTITUTE OF SCIENCE   (Israel)

^c MICROSOFT RESEARCH   (United States)

^d MICROSOFT RESEARCH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

TEXT PROCESSING;

INPUT AND OUTPUTS; LEARNING FRAMEWORKS; LEARNING PROGRAMS; PROGRAMMING BY EXAMPLE; PROTOTYPE IMPLEMENTATIONS; SEARCH PROBLEM; SUB-COMPONENTS; TEXTUAL FEATURES;

LEARNING SYSTEMS;

EID: 84897476983     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. Cypher, Allen, Halbert, Daniel C., Kurlander, David, Lieberman, Henry, Maulsby, David, Myers, Brad A., and Turransky, Alan (eds.). Watch what I do: programming by demonstration. MIT Press, Cambridge, MA, USA, 1993. ISBN 0262032139.
2. Gulwani, Sumit. Automating string processing in spreadsheets using input-output examples. In POPL, pp. 317-330, 2011.
3. Gulwani, Sumit. Synthesis from examples: Interaction models and algorithms. 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012.
4. Gulwani, Sumit, Korthikanti, Vijay Anand, and Tiwari, Ashish. Synthesizing geometry constructions. In PLDI, pp. 50-61, 2011.
5. Gulwani, Sumit, Harris, William R., and Singh, Rishabh. Spreadsheet data manipulation using examples. Commun. ACM, 55(8):97-105, 2012.
6. Jha, Susmit, Gulwani, Sumit, Seshia, Sanjit A., and Tiwari, Ashish. Oracle-guided component-based program synthesis. In ICSE, pp. 215-224, 2010.
7. Johnson, Mark, Griffiths, Thomas L., and Goldwater, Sharon. Adaptor grammars: A framework for specifying compositional nonparametric bayesian models. In NIPS, pp. 641-648, 2006.
8. Lau, Tessa, Wolfman, Steven A., Domingos, Pedro, and Weld, Daniel S. Programming by demonstration using version space algebra. Mach. Learn., 53:111-156, October 2003. ISSN 0885-6125.
9. Lau, Tessa A., Domingos, Pedro, and Weld, Daniel S. Version space algebra and its application to programming by demonstration. In ICML, pp. 527-534, 2000.
10. Liang, Percy, Jordan, Michael I., and Klein, Dan. Learning programs: A hierarchical Bayesian approach. In ICML, pp. 639-646, 2010.
11. Lieberman, H. Your Wish Is My Command: Programming by Example. Morgan Kaufmann, 2001.
12. Miller, Robert C. Lightweight Structure in Text. PhD thesis, Carnegie Mellon University, Pittsburgh, PA, USA, May 2002. URL http://www.cs.cmu.edu/ ~rcm/papers/thesis/.
13. Nix, Robert P. Editing by example. TOPLAS, 7(4): 600-621, 1985.
14. Rush, Alexander M., Collins, Michael, and Kaelbling, Pack. A tutorial on dual decomposition and Lagrangian relaxation for inference in natural language processing. http://www.cs.columbia.edu/~mcollins/acltutorial.pdf, 2011.
15. Witten, Ian H. and Mo, Dan. TELS: learning text editing tasks from examples, pp. 183-203. MIT Press, Cambridge, MA, USA, 1993. ISBN 0-262-03213-9.