{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:12:28Z","timestamp":1775873548250,"version":"3.50.1"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319216898","type":"print"},{"value":"9783319216904","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-21690-4_23","type":"book-chapter","created":{"date-parts":[[2015,7,15]],"date-time":"2015-07-15T06:08:27Z","timestamp":1436940507000},"page":"398-414","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":36,"title":["Predicting a Correct Program in Programming by Example"],"prefix":"10.1007","author":[{"given":"Rishabh","family":"Singh","sequence":"first","affiliation":[]},{"given":"Sumit","family":"Gulwani","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,7,16]]},"reference":[{"key":"23_CR1","unstructured":"Flash Fill (Microsoft Excel 2013 feature). http:\/\/research.microsoft.com\/users\/sumitg\/flashfill.html"},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"Cao, Z., Qin, T., Liu, T.-Y., Tsai, M.-F., Li, H.: Learning to rank: from pairwise approach to listwise approach. In: ICML (2007)","DOI":"10.1145\/1273496.1273513"},{"key":"23_CR3","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"605","DOI":"10.1007\/11776420_44","volume-title":"Learning Theory","author":"D Cossock","year":"2006","unstructured":"Cossock, D., Zhang, T.: Subset ranking using regression. In: Lugosi, G., Simon, H.U. (eds.) COLT 2006. LNCS (LNAI), vol. 4005, pp. 605\u2013619. Springer, Heidelberg (2006)"},{"key":"23_CR4","first-page":"933","volume":"4","author":"Y Freund","year":"2003","unstructured":"Freund, Y., Iyer, R., Schapire, R.E., Singer, Y.: An efficient boosting algorithm for combining preferences. J. Mach. Learn. Res. 4, 933\u2013969 (2003)","journal-title":"J. Mach. Learn. Res."},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"Galenson, J., Reames, P., Bod\u00edk, R., Hartmann, B., Sen, K.: Codehint: dynamic and interactive synthesis of code snippets. In: ICSE, pp. 653\u2013663 (2014)","DOI":"10.1145\/2568225.2568250"},{"key":"23_CR6","first-page":"303","volume":"50","author":"SA Goldman","year":"1992","unstructured":"Goldman, S.A., Kearns, M.J.: On the complexity of teaching. J. Comput. Syst. Sci. 50, 303\u2013314 (1992)","journal-title":"J. Comput. Syst. Sci."},{"key":"23_CR7","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":"23_CR8","doi-asserted-by":"crossref","unstructured":"Gulwani, S.: Synthesis from examples: interaction models and algorithms. In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (2012)","DOI":"10.1109\/SYNASC.2012.69"},{"issue":"8","key":"23_CR9","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1145\/2240236.2240260","volume":"55","author":"S Gulwani","year":"2012","unstructured":"Gulwani, S., Harris, W., Singh, R.: Spreadsheet data manipulation using examples. Commun. ACM 55(8), 97\u2013105 (2012)","journal-title":"Commun. ACM"},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"Gvero, T., Kuncak, V., Kuraj, I., Piskac, R.: Complete completion using types and weights. In: PLDI, pp. 27\u201338 (2013)","DOI":"10.1145\/2499370.2462192"},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"Harris, W.R., Gulwani, S.: Spreadsheet table transformations from examples. In: PLDI (2011)","DOI":"10.1145\/1993498.1993536"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"Herbrich, R., Graepel, T., Obermayer, K.: Large margin rank boundaries for ordinal regression. In: Smola, A. J., Bartlett, P. L., Scholkopf, B., Schuur-mans, D. (eds.) Advances in Neural Information Processing Systems, pp. 115\u2013132 (1999)","DOI":"10.7551\/mitpress\/1113.003.0010"},{"key":"23_CR13","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"},{"issue":"1\u20132","key":"23_CR14","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. Mach. Learn. 53(1\u20132), 111\u2013156 (2003)","journal-title":"Mach. Learn."},{"key":"23_CR15","unstructured":"Liang, P., Jordan, M.I., Klein, D.: Learning programs: a hierarchical bayesian approach. In: ICML (2010)"},{"key":"23_CR16","doi-asserted-by":"crossref","unstructured":"Mandelin, D., Xu, L., Bod\u00edk, R., Kimelman, D.: Jungloid mining: helping to navigate the api jungle. In: PLDI, pp. 48\u201361 (2005)","DOI":"10.1145\/1064978.1065018"},{"key":"23_CR17","unstructured":"Menon, A., Tamuz, O., Gulwani, S., Lampson, B., Kalai, A.: A machine learning framework for programming by example. In: ICML (2013)"},{"key":"23_CR18","doi-asserted-by":"crossref","unstructured":"Mishne, A., Shoham, S., Yahav, E.: Typestate-based semantic code search over partial programs. In: OOPSLA, pp. 997\u20131016 (2012)","DOI":"10.1145\/2398857.2384689"},{"key":"23_CR19","doi-asserted-by":"crossref","unstructured":"Nguyen, H.D.T., Qi, D., Roychoudhury, A., Chandra, S.: Semfix: program repair via semantic analysis. In: ICSE (2013)","DOI":"10.1109\/ICSE.2013.6606623"},{"key":"23_CR20","doi-asserted-by":"crossref","unstructured":"Perelman, D., Gulwani, S., Ball, T., Grossman, D.: Type-directed completion of partial expressions. In: PLDI, pp. 275\u2013286 (2012)","DOI":"10.1145\/2345156.2254098"},{"key":"23_CR21","doi-asserted-by":"crossref","unstructured":"Raychev, V., Sch\u00e4fer, M., Sridharan, M., Vechev, M.T.: Refactoring with synthesis. In: OOPSLA, pp. 339\u2013354 (2013)","DOI":"10.1145\/2544173.2509544"},{"key":"23_CR22","doi-asserted-by":"crossref","unstructured":"Raychev, V., Vechev, M.T., Yahav, E.: Code completion with statistical language models. In: PLDI (2014)","DOI":"10.1145\/2594291.2594321"},{"issue":"8","key":"23_CR23","first-page":"740","volume":"5","author":"R Singh","year":"2012","unstructured":"Singh, R., Gulwani, S.: Learning semantic string transformations from examples. PVLDB 5(8), 740\u2013751 (2012)","journal-title":"PVLDB"},{"key":"23_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"634","DOI":"10.1007\/978-3-642-31424-7_44","volume-title":"Computer Aided Verification","author":"R Singh","year":"2012","unstructured":"Singh, R., Gulwani, S.: Synthesizing number transformations from input-output examples. In: Madhusudan, P., Seshia, S.A. (eds.) CAV 2012. LNCS, vol. 7358, pp. 634\u2013651. Springer, Heidelberg (2012)"},{"key":"23_CR25","doi-asserted-by":"crossref","unstructured":"Xia, F., Liu, T.-Y., Wang, J., Zhang, W., Li, H.: Listwise approach to learning to rank: theory and algorithm. In: ICML (2008)","DOI":"10.1145\/1390156.1390306"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-21690-4_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,10]],"date-time":"2024-06-10T00:04:42Z","timestamp":1717977882000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-21690-4_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319216898","9783319216904"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-21690-4_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"16 July 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}