Documents Related by Co-Citation

25 Oracle-Guided Component-Based Program Synthesis – Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari
35 Automating String Processing in Spreadsheets Using Input-Output Examples – Sumit Gulwani
154 A deductive approach to program synthesis – Z Manna, R J Waldinger - 1980
46 Combinatorial sketching for finite programs – Armando Solar-Lezama, Liviu Tancau, Rastislav Bodik, Vijay Saraswat, Sanjit Seshia - 2006
29 Complete Functional Synthesis – Viktor Kuncak, Mikaël Mayer, Ruzica Piskac
353 Watch What I Do: Programming by Demonstration – A Cypher - 1993
14 Synthesizing Switching Logic using Constraint Solving – Ankur Taly, Sumit Gulwani, Ashish Tiwari
12 A simple inductive synthesis methodology and its applications – Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Mooly Sagiv - 2010
14 Spreadsheet Table Transformations from Examples – William R. Harris, Sumit Gulwani - 2011
24 Synthesis of loop-free programs – Sumit Gulwani, Susmit Jha, Ashish Tiwari, Ramarathnam Venkatesan - 2011
15 Path-based Inductive Synthesis for Program Inversion – Saurabh Srivastava, Sumit Gulwani, Swarat Chaudhuri, Jeffrey S. Foster
46 Programming By Demonstration Using Version Space Algebra – Tessa Lau, Steven A. Wolfman, Pedro Domingos, Daniel S. Weld - 2001
164 Your Wish is My Command: Programming by Example – H Lieberman - 2001
36 Optimizations for LTL synthesis – Roderick Bloem - 2006
53 Version Space Algebra and its Application to Programming by Demonstration – Tessa Lau, Pedro Domingos, Daniel S. Weld - 2000
25 Dimensions in Program Synthesis – S Gulwani - 2010
6 Learning Semantic String Transformations from Examples – Rishabh Singh, Sumit Gulwani
17 Synthesizing geometry constructions – Sumit Gulwani, Vijay An, Ashish Tiwari - 2011
36 R.J.: Toward automatic program synthesis – Z Manna, Waldinger - 1971