{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,30]],"date-time":"2026-09-30T20:01:21Z","timestamp":1790798481681,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642314230","type":"print"},{"value":"9783642314247","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31424-7_44","type":"book-chapter","created":{"date-parts":[[2012,6,21]],"date-time":"2012-06-21T14:26:49Z","timestamp":1340288809000},"page":"634-651","source":"Crossref","is-referenced-by-count":67,"title":["Synthesizing Number Transformations from Input-Output Examples"],"prefix":"10.1007","author":[{"given":"Rishabh","family":"Singh","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sumit","family":"Gulwani","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"8","key":"44_CR1","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"R.E. Bryant","year":"1986","unstructured":"Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Trans. Computers\u00a035(8), 677\u2013691 (1986)","journal-title":"IEEE Trans. Computers"},{"key":"44_CR2","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: POPL (1977)","DOI":"10.1145\/512950.512973"},{"key":"44_CR3","unstructured":"Cypher, A. (ed.): Watch What I Do \u2013 Programming by Demonstration. MIT Press (1993)"},{"key":"44_CR4","unstructured":"Gualtieri, M.: Deputize end-user developers to deliver business agility and reduce costs. Forrester Report for Application Development and Program Management Professionals (April 2009)"},{"key":"44_CR5","doi-asserted-by":"crossref","unstructured":"Gulwani, S.: Dimensions in program synthesis. In: PPDP (2010)","DOI":"10.1145\/1836089.1836091"},{"key":"44_CR6","doi-asserted-by":"crossref","unstructured":"Gulwani, S.: Automating string processing in spreadsheets using input-output examples. In: POPL (2011)","DOI":"10.1145\/1926385.1926423"},{"key":"44_CR7","unstructured":"Gulwani, S.: Synthesis from examples. In: WAMBSE (Workshop on Advances in Model-Based Software Engineering) Special Issue, Infosys Labs Briefings, vol.\u00a010(2) (2012)"},{"key":"44_CR8","doi-asserted-by":"crossref","unstructured":"Gulwani, S., Harris, W.R., Singh, R.: Spreadsheet data manipulation using examples. Communications of the ACM (to appear, 2012)","DOI":"10.1145\/2240236.2240260"},{"key":"44_CR9","doi-asserted-by":"crossref","unstructured":"Gulwani, S., Jha, S., Tiwari, A., Venkatesan, R.: Synthesis of loop-free programs. In: PLDI (2011)","DOI":"10.1145\/1993498.1993506"},{"key":"44_CR10","doi-asserted-by":"crossref","unstructured":"Gulwani, S., Korthikanti, V.A., Tiwari, A.: Synthesizing geometry constructions. In: PLDI, pp. 50\u201361 (2011)","DOI":"10.1145\/1993498.1993505"},{"key":"44_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1007\/978-3-642-22110-1_33","volume-title":"Computer Aided Verification","author":"T. Gvero","year":"2011","unstructured":"Gvero, T., Kuncak, V., Piskac, R.: Interactive Synthesis of Code Snippets. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol.\u00a06806, pp. 418\u2013423. Springer, Heidelberg (2011)"},{"key":"44_CR12","doi-asserted-by":"crossref","unstructured":"Harris, W.R., Gulwani, S.: Spreadsheet table transformations from examples. In: PLDI, pp. 317\u2013328 (2011)","DOI":"10.1145\/1993498.1993536"},{"key":"44_CR13","doi-asserted-by":"crossref","unstructured":"Itzhaky, S., Gulwani, S., Immerman, N., Sagiv, M.: A simple inductive synthesis methodology and its applications. In: OOPSLA (2010)","DOI":"10.1145\/1869459.1869463"},{"key":"44_CR14","doi-asserted-by":"crossref","unstructured":"Jha, S., Gulwani, S., Seshia, S., Tiwari, A.: Oracle-guided component-based program synthesis. In: ICSE (2010)","DOI":"10.1145\/1806799.1806833"},{"key":"44_CR15","doi-asserted-by":"crossref","unstructured":"Kandel, S., Paepcke, A., Hellerstein, J., Heer, J.: Wrangler: Interactive visual specification of data transformation scripts. In: CHI (2011)","DOI":"10.1145\/1978942.1979444"},{"key":"44_CR16","unstructured":"Lau, T.: Why PBD systems fail: Lessons learned for usable AI. In: CHI Workshop on Usable AI (2008)"},{"issue":"1-2","key":"44_CR17","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1023\/A:1025671410623","volume":"53","author":"T. Lau","year":"2003","unstructured":"Lau, T., Wolfman, S., Domingos, P., Weld, D.: Programming by demonstration using version space algebra. Machine Learning\u00a053(1-2), 111\u2013156 (2003)","journal-title":"Machine Learning"},{"key":"44_CR18","unstructured":"Miller, R.C., Myers, B.A.: Interactive simultaneous editing of multiple text regions. In: USENIX Annual Technical Conference (2001)"},{"key":"44_CR19","doi-asserted-by":"crossref","unstructured":"Perelman, D., Gulwani, S., Ball, T., Grossman, D.: Type-directed completion of partial expressions. In: PLDI (2012)","DOI":"10.1145\/2254064.2254098"},{"key":"44_CR20","doi-asserted-by":"crossref","unstructured":"Scaffidi, C., Myers, B.A., Shaw, M.: Topes: reusable abstractions for validating data. In: ICSE, pp. 1\u201310 (2008)","DOI":"10.1145\/1368088.1368090"},{"issue":"8","key":"44_CR21","first-page":"740","volume":"5","author":"R. Singh","year":"2012","unstructured":"Singh, R., Gulwani, S.: Learning Semantic String Transformations from Examples. PVLDB\u00a05(8), 740\u2013751 (2012), http:\/\/vldb.org\/pvldp\/vol5\/p740_rishabhsingh_vldp2012.pdf","journal-title":"PVLDB"},{"key":"44_CR22","doi-asserted-by":"crossref","unstructured":"Singh, R., Gulwani, S.: Synthesizing number transformations from input-output examples. Technical Report MSR-TR-2012-42 (April 2012)","DOI":"10.1007\/978-3-642-31424-7_44"},{"key":"44_CR23","unstructured":"Singh, R., Gulwani, S., Rajamani, S.: Automatically generating algebra problems. In: AAAI (to appear, 2012)"},{"key":"44_CR24","doi-asserted-by":"crossref","unstructured":"Singh, R., Solar-Lezama, A.: Synthesizing data structure manipulations from storyboards. In: SIGSOFT FSE, pp. 289\u2013299 (2011)","DOI":"10.1145\/2025113.2025153"},{"key":"44_CR25","doi-asserted-by":"crossref","unstructured":"Solar-Lezama, A., Jones, C.G., Bod\u00edk, R.: Sketching concurrent data structures. In: PLDI, pp. 136\u2013148 (2008)","DOI":"10.1145\/1379022.1375599"},{"key":"44_CR26","doi-asserted-by":"crossref","unstructured":"Solar-Lezama, A., Rabbah, R.M., Bod\u00edk, R., Ebcioglu, K.: Programming by sketching for bit-streaming programs. In: PLDI, pp. 281\u2013294 (2005)","DOI":"10.1145\/1064978.1065045"},{"key":"44_CR27","doi-asserted-by":"crossref","unstructured":"Srivastava, S., Gulwani, S., Chaudhuri, S., Foster, J.S.: Path-based inductive synthesis for program inversion. In: PLDI (2011)","DOI":"10.1145\/1993498.1993557"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31424-7_44.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T03:08:03Z","timestamp":1606187283000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31424-7_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642314230","9783642314247"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31424-7_44","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}