Synthesizing data structure transformations from input-output examples

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Volumn 2015-June, Issue , 2015, Pages 229-239

  Feser, John K ^a   Chaudhuri, Swarat ^a   Dillig, Isil ^b  

^a RICE UNIVERSITY   (United States)

^b UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

Automated deduction; Data transformations; Program synthesis; Programming by example; Search based synthesis

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES; DATA STRUCTURES; SYNTHESIS (CHEMICAL);

AUTOMATED DEDUCTION; DATA TRANSFORMATION; PROGRAM SYNTHESIS; PROGRAMMING BY EXAMPLE; SEARCH-BASED;

TREES (MATHEMATICS);

EID: 84951804419     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2737924.2737977     Document Type: Conference Paper

References (32)

1. A. Albarghouthi, S. Gulwani, and Z. Kincaid. Recursive program synthesis. In CAV, pages 934-950, 2013.
2. R. Alur, R. Bodík, G. Juniwal, M. M. K. Martin, M. Raghothaman, S. A. Seshia, R. Singh, A. Solar-Lezama, E. Torlak, and A. Udupa. Syntax-guided synthesis. In FMCAD, 2013.
3. D. W. Barron and C. Strachey. Programming. Advances in Programming and Non-Numerical Computation, pages 49-82, 1966.
4. T. A. Beyene, S. Chaudhuri, C. Popeea, and A. Rybalchenko. A constraint-based approach to solving games on infinite graphs. In POPL, pages 221-234, 2014.
5. R. Bloem, K. Chatterjee, T. A. Henzinger, and B. Jobstmann. Better quality in synthesis through quantitative objectives. In Computer Aided Verification, pages 140-156, 2009.
6. S. Chaudhuri, M. Clochard, and A. Solar-Lezama. Bridging boolean and quantitative synthesis using smoothed proof search. In POPL, pages 207-220, 2014.
7. O. Danvy and M. Spivey. On Barron and Strachey's cartesian product function. In ICFP, pages 41-46, 2007.
8. T. Dillig, I. Dillig, and S. Chaudhuri. Optimal guard synthesis for memory safety. 2014.
9. P. Garg, C. Löding, P. Madhusudan, and D. Neider. ICE: A robust framework for learning invariants. In CAV, pages 69-87, 2014.
10. S. Gulwani. Dimensions in program synthesis. In FMCAD, 2010.
11. S. Gulwani. Automating string processing in spreadsheets using inputoutput examples. In POPL, pages 317-330. ACM, 2011.
12. T. Gvero, V. Kuncak, I. Kuraj, and R. Piskac. Complete completion using types and weights. In PLDI, volume 48, pages 27-38. ACM, 2013.
13. W. R. Harris and S. Gulwani. Spreadsheet table transformations from examples. In PLDI, pages 317-328. ACM, 2011.
14. S. Katayama. Efficient exhaustive generation of functional programs using monte-carlo search with iterative deepening. In Trends in Artificial Intelligence, 10th Pacific Rim International Conference on Artificial Intelligence., pages 199-210, 2008.
15. E. Kitzelmann. Inductive programming: A survey of program synthesis techniques. In Approaches and Applications of Inductive Programming, Third International Workshop, pages 50-73, 2009.
16. E. Kitzelmann. Analytical inductive functional programming. In Logic-Based Program Synthesis and Transformation, pages 87-102. Springer, 2009.
17. E. Kitzelmann. A combined analytical and search-based approach for the inductive synthesis of functional programs. KI-Künstliche Intelligenz, 25(2):179-182, 2011.
18. E. Kitzelmann and U. Schmid. Inductive synthesis of functional programs: An explanation based generalization approach. Journal of Machine Learning Research, 7:429-454, 2006.
19. V. Kuncak, M. Mayer, R. Piskac, and P. Suter. Complete functional synthesis. In PLDI, pages 316-329, 2010.
20. N. Lavrac and S. Dzeroski. Inductive logic programming. In WLP, pages 146-160. Springer, 1994.
21. V. Le and S. Gulwani. Flashextract: A framework for data extraction by examples. In PLDI, pages 542-553, 2014.
22. H. Lieberman. Your wish is my command: Programming by example. Morgan Kaufmann, 2001.
23. D. Mandelin, L. Xu, R. Bodík, and D. Kimelman. Jungloid mining: helping to navigate the API jungle. In PLDI, pages 48-61, 2005.
24. A. Menon, O. Tamuz, S. Gulwani, B. Lampson, and A. Kalai. A machine learning framework for programming by example. In ICML, pages 187-195, 2013.
25. R. Olsson. Inductive functional programming using incremental program transformation. Artif. Intell., 74(1):55-8, 1995.
26. D. Perelman, S. Gulwani, T. Ball, and D. Grossman. Type-directed completion of partial expressions. In PLDI, volume 47, pages 275-286. ACM, 2012.
27. D. Perelman, S. Gulwani, D. Grossman, and P. Provost. Test-driven synthesis. In PLDI, page 43, 2014.
28. R. Sharma, S. Gupta, B. Hariharan, A. Aiken, P. Liang, and A. V. Nori. A data driven approach for algebraic loop invariants. In ESOP, pages 574-592, 2013.
29. R. Singh and S. Gulwani. Synthesizing number transformations from input-output examples. In Computer Aided Verification, pages 634-651. Springer, 2012.
30. A. Solar-Lezama, L. Tancau, R. Boík, S. A. Seshia, and V. A. Saraswat. Combinatorial sketching for finite programs. In ASPLOS, pages 404-415, 2006.
31. S. Srivastava, S. Gulwani, and J. S. Foster. Template-based program verification and program synthesis. STTT, 15(5-6):497-518, 2013.
32. M. T. Vechev, E. Yahav, and G. Yorsh. Abstraction-guided synthesis of synchronization. STTT, 15(5-6):413-431, 2013.