Documents Related by Co-Citation

13 Oracle-Guided Component-Based Program Synthesis – Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari
17 Automating String Processing in Spreadsheets Using Input-Output Examples – Sumit Gulwani
22 Combinatorial sketching for finite programs – O Solar-lezama, Liviu Tancau, Rastislav Bodik, Vijay Saraswat, Sanjit Seshia - 2006
48 Version Space Algebra and its Application to Programming by Demonstration – Tessa Lau, Pedro Domingos, Daniel S. Weld - 2000
15 Complete Functional Synthesis – Viktor Kuncak, Mikaël Mayer, Ruzica Piskac
127 A deductive approach to program synthesis – Z Manna, R Waldinger - 1980
37 Programming By Demonstration Using Version Space Algebra – Tessa Lau, Steven A. Wolfman, Pedro Domingos, Daniel S. Weld - 2001
9 Dimensions in program synthesis – S Gulwani - 2010
318 Watch What I Do: Programming by Demonstration – A Cypher, D C Halbert, D Kurlander, H Lieberman, D Maulsby, B A Myers, A Turransky, Eds - 1993
6 A simple inductive synthesis methodology and its applications – Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Mooly Sagiv - 2010
9 Synthesizing Switching Logic using Constraint Solving ⋆ – Ankur Taly, Sumit Gulwani, Ashish Tiwari
8 Table Transformations from Examples – William R. Harris, Sumit Gulwani - 2011
27 R.J.: Toward automatic program synthesis – Z Manna, Waldinger - 1971
135 Your Wish Is My Command: Programming by Example – H Lieberman, ed
266 R.: On the synthesis of a reactive module – A Pnueli, Rosner - 1989
26 Optimizations for LTL synthesis – Roderick Bloem - 2006
517 Generalization as search – T Mitchell - 1982
24 TELS: learning text editing tasks from examples – I H Witten, D Mo - 1993
4 Excel 2010 Formulas – J Walkenbach - 2010