{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,22]],"date-time":"2026-01-22T23:41:28Z","timestamp":1769125288579,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642388552","type":"print"},{"value":"9783642388569","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38856-9_9","type":"book-chapter","created":{"date-parts":[[2013,6,15]],"date-time":"2013-06-15T04:05:28Z","timestamp":1371269128000},"page":"126-149","source":"Crossref","is-referenced-by-count":13,"title":["From Concrete Examples to Heap Manipulating Programs"],"prefix":"10.1007","author":[{"given":"Subhajit","family":"Roy","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","first-page":"289","volume-title":"ESEC\/FSE 2011","author":"R. Singh","year":"2011","unstructured":"Singh, R., Solar-Lezama, A.: Synthesizing data structure manipulations from storyboards. In: ESEC\/FSE 2011, pp. 289\u2013299. ACM, New York (2011)"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"738","DOI":"10.1007\/978-3-642-31424-7_58","volume-title":"Computer Aided Verification","author":"R. Singh","year":"2012","unstructured":"Singh, R., Solar-Lezama, A.: SPT: Storyboard programming tool. In: Madhusudan, P., Seshia, S.A. (eds.) CAV 2012. LNCS, vol.\u00a07358, pp. 738\u2013743. Springer, Heidelberg (2012)"},{"key":"9_CR3","unstructured":"Solar Lezama, A.: Program Synthesis By Sketching. PhD thesis, EECS Department, University of California, Berkeley (December 2008)"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1007\/978-3-642-10672-9_3","volume-title":"Programming Languages and Systems","author":"A. Solar-Lezama","year":"2009","unstructured":"Solar-Lezama, A.: The sketching approach to program synthesis. In: Hu, Z. (ed.) APLAS 2009. LNCS, vol.\u00a05904, pp. 4\u201313. Springer, Heidelberg (2009)"},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L. Moura De","year":"2008","unstructured":"De Moura, L., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol.\u00a04963, pp. 337\u2013340. Springer, Heidelberg (2008)"},{"key":"9_CR6","first-page":"317","volume-title":"POPL 2011","author":"S. Gulwani","year":"2011","unstructured":"Gulwani, S.: Automating string processing in spreadsheets using input-output examples. In: POPL 2011, pp. 317\u2013330. ACM, New York (2011)"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Gulwani, S., Harris, W.R., Singh, R.: Spreadsheet data manipulation using examples. Communications of the ACM (2012)","DOI":"10.1145\/2240236.2240260"},{"key":"9_CR8","first-page":"317","volume-title":"PLDI 2011","author":"W.R. Harris","year":"2011","unstructured":"Harris, W.R., Gulwani, S.: Spreadsheet table transformations from examples. In: PLDI 2011, pp. 317\u2013328. ACM, New York (2011)"},{"issue":"8","key":"9_CR9","doi-asserted-by":"crossref","first-page":"740","DOI":"10.14778\/2212351.2212356","volume":"5","author":"R. Singh","year":"2012","unstructured":"Singh, R., Gulwani, S.: Learning semantic string transformations from examples. Proc. VLDB Endow.\u00a05(8), 740\u2013751 (2012)","journal-title":"Proc. VLDB Endow."},{"issue":"2","key":"9_CR10","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1109\/T-C.1975.224180","volume":"24","author":"A.W. Biermann","year":"1975","unstructured":"Biermann, A.W., Baum, R.I., Petry, F.E.: Speeding up the synthesis of programs from traces. IEEE Trans. Comput.\u00a024(2), 122\u2013136 (1975)","journal-title":"IEEE Trans. Comput."},{"key":"9_CR11","volume-title":"Watch what I do: programming by demonstration","author":"A. Cypher","year":"1993","unstructured":"Cypher, A., Halbert, D.C., Kurlander, D., Lieberman, H., Maulsby, D., Myers, B.A., Turransky, A.: Watch what I do: programming by demonstration. MIT Press, Cambridge (1993)"},{"key":"9_CR12","first-page":"36","volume-title":"K-CAP 2003","author":"T. Lau","year":"2003","unstructured":"Lau, T., Domingos, P., Weld, D.S.: Learning programs from traces using version space algebra. In: K-CAP 2003, pp. 36\u201343. ACM, New York (2003)"},{"key":"9_CR13","first-page":"281","volume-title":"PLDI 2005","author":"A. Solar-Lezama","year":"2005","unstructured":"Solar-Lezama, A., Rabbah, R., Bod\u00edk, R., Ebcio\u011flu, K.: Programming by sketching for bit-streaming programs. In: PLDI 2005, pp. 281\u2013294. ACM, New York (2005)"},{"key":"9_CR14","doi-asserted-by":"publisher","first-page":"404","DOI":"10.1145\/1168857.1168907","volume-title":"ASPLOS-XII","author":"A. Solar-Lezama","year":"2006","unstructured":"Solar-Lezama, A., Tancau, L., Bodik, R., Seshia, S., Saraswat, V.: Combinatorial sketching for finite programs. In: ASPLOS-XII, pp. 404\u2013415. ACM, New York (2006)"},{"key":"9_CR15","first-page":"62","volume-title":"PLDI 2011","author":"S. Gulwani","year":"2011","unstructured":"Gulwani, S., Jha, S., Tiwari, A., Venkatesan, R.: Synthesis of loop-free programs. In: PLDI 2011, pp. 62\u201373. ACM, New York (2011)"},{"key":"9_CR16","first-page":"215","volume-title":"ICSE 2010","author":"S. Jha","year":"2010","unstructured":"Jha, S., Gulwani, S., Seshia, S.A., Tiwari, A.: Oracle-guided component-based program synthesis. In: ICSE 2010, pp. 215\u2013224. ACM, New York (2010)"},{"key":"9_CR17","first-page":"313","volume-title":"POPL 2010","author":"S. Srivastava","year":"2010","unstructured":"Srivastava, S., Gulwani, S., Foster, J.S.: From program verification to program synthesis. In: POPL 2010, pp. 313\u2013326. ACM, New York (2010)"},{"issue":"4","key":"9_CR18","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1023\/A:1008763422061","volume":"6","author":"A. Armando","year":"1999","unstructured":"Armando, A., Smaill, A., Green, I.: Automatic synthesis of recursive programs: The proof-planning paradigm. Automated Software Engg.\u00a06(4), 329\u2013356 (1999)","journal-title":"Automated Software Engg."},{"issue":"3","key":"9_CR19","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1145\/24039.24071","volume":"9","author":"D. Banerjee","year":"1987","unstructured":"Banerjee, D.: A methodology for synthesis of recursive functional programs. ACM Trans. Program. Lang. Syst.\u00a09(3), 441\u2013462 (1987)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"9_CR20","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1145\/1081706.1081750","volume-title":"ESEC\/FSE-13","author":"K. Sen","year":"2005","unstructured":"Sen, K., Marinov, D., Agha, G.: CUTE: a concolic unit testing engine for C. In: ESEC\/FSE-13, pp. 263\u2013272. ACM, New York (2005)"},{"key":"9_CR21","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1145\/1168857.1168906","volume-title":"ASPLOS-XII","author":"S. Bansal","year":"2006","unstructured":"Bansal, S., Aiken, A.: Automatic generation of peephole superoptimizers. In: ASPLOS-XII, pp. 394\u2013403. ACM, New York (2006)"},{"key":"9_CR22","first-page":"177","volume-title":"OSDI 2008","author":"S. Bansal","year":"2008","unstructured":"Bansal, S., Aiken, A.: Binary translation using peephole superoptimizers. In: OSDI 2008, pp. 177\u2013192. USENIX Association, Berkeley (2008)"},{"key":"9_CR23","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1145\/36206.36194","volume-title":"ASPLOS-II","author":"H. Massalin","year":"1987","unstructured":"Massalin, H.: Superoptimizer: a look at the smallest program. In: ASPLOS-II, pp. 122\u2013126. IEEE Computer Society Press, Los Alamitos (1987)"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38856-9_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,2]],"date-time":"2023-07-02T11:39:26Z","timestamp":1688297966000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38856-9_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642388552","9783642388569"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38856-9_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}