Recursive program synthesis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 8044 LNCS, Issue , 2013, Pages 934-950

  Albarghouthi, Aws ^a   Gulwani, Sumit ^b   Kincaid, Zachary ^a  

^a UNIVERSITY OF TORONTO   (Canada)

^b MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL TASK; DIFFERENT DOMAINS; EXPERIMENTAL EVALUATION; PROGRAM SYNTHESIS; PROGRAMMING KNOWLEDGE; RECURSIVE PROCEDURE; RECURSIVE PROGRAMS; SYNTHESIS ALGORITHMS;

ALGORITHMS; COMPUTER AIDED ANALYSIS;

INTEGER PROGRAMMING;

EID: 84881119095     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-39799-8_67     Document Type: Conference Paper

References (24)

1. Flash Fill (Microsoft Excel 2013 feature), http://research.microsoft.com/ users/sumitg/flashfill.html
2. Your wish is my command: programming by example. Morgan Kaufmann Publishers Inc. (2001)
3. Aditya Menon, S.G.B.L., Tamuz, O., Kalai, A.: A machine learning framework for programming by example. In: ICML 2013 (2013)
4. Albarghouthi, A., Gulwani, S., Kincaid, Z.: Recursive program synthesis, http://www.cs.toronto.edu/~aws/papers/cav13a.pdf
5. Bonet, B., Geffner, H.: Planning as heuristic search. Artificial Intelligence 129(1-2), 5-33 (2001)
6. Flener, P.: Inductive logic program synthesis with dialogs. In: Inductive Logic Programming Workshop, pp. 175-198 (1996)
7. Flener, P., Yilmaz, S.: Inductive synthesis of recursive logic programs: Achievements and prospects. J. Log. Program. 41(2-3), 141-195 (1999)
8. Gulwani, S.: Automating string processing in spreadsheets using input-output examples. In: Proc. of POPL 2011, pp. 317-330 (2011)
9. Gulwani, S.: Synthesis from examples: Interaction models and algorithms. In: Proc. of SYNASC (2012) (Invited talk paper)
10. Gulwani, S., Jha, S., Tiwari, A., Venkatesan, R.: Synthesis of loop-free programs. In: Proc. of PLDI 2011, pp. 62-73 (2011)
11. Gulwani, S., Korthikanti, V.A., Tiwari, A.: Synthesizing geometry constructions. In: Proc. of PLDI 2011, pp. 50-61 (2011)
12. Harris, W.R., Gulwani, S.: Spreadsheet table transformations from examples. In: Proc. of PLDI 2011, pp. 317-328 (2011)
13. Jha, S., Gulwani, S., Seshia, S.A., Tiwari, A.: Oracle-guided component-based program synthesis. In: Proc. of ICSE 2010, pp. 215-224 (2010)
14. Kitzelmann, E., Schmid, U.: Inductive synthesis of functional programs: An explanation based generalization approach. JMLR 7, 429-454 (2006)
15. Lau, T., Wolfman, S.A., Domingos, P., Weld, D.S.: Programming by demonstration using version space algebra. JMLR 53(1-2), 111-156 (2003)
16. Manna, Z., Waldinger, R.J.: A deductive approach to program synthesis. ACM TOPLAS 2(1), 90-121 (1980)
17. Manna, Z., Wolper, P.: Synthesis of communicating processes from temporal logic specifications. ACM Trans. Program. Lang. Syst. 6(1), 68-93 (1984)
18. Menon, A., Tamuz, O., Gulwani, S., Lampson, B., Kalai, A.: A machine learning framework for programming by example. In: ICML (to appear, 2013)
19. Mitchell, T.M.: Generalization as search. Artif. Intell. 18(2), 203-226 (1982)
20. Nau, D., Ghallab, M., Traverso, P.: Automated Planning: Theory & Practice. Morgan Kaufmann Publishers Inc., San Francisco (2004)
21. Shapiro, E.Y.: Algorithmic Program DeBugging. MIT Press, Cambridge (1983)
22. Singh, R., Gulwani, S.: Synthesizing number transformations from input-output examples. In: Madhusudan, P., Seshia, S.A. (eds.) CAV 2012. LNCS, vol. 7358, pp. 634-651. Springer, Heidelberg (2012)
23. Solar-Lezama, A., Tancau, L., Bodík, R., Seshia, S.A., Saraswat, V.A.: Combinatorial sketching for finite programs. In: Proc. of ASPLOS 2006, pp. 404-415 (2006)
24. Summers, P.D.: A methodology for lisp program construction from examples. J. ACM 24(1), 161-175 (1977)