{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:24Z","timestamp":1772164044970,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":38,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,10,23]],"date-time":"2015-10-23T00:00:00Z","timestamp":1445558400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100006112","name":"Microsoft Research","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100006112","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,10,23]]},"DOI":"10.1145\/2814270.2814310","type":"proceedings-article","created":{"date-parts":[[2015,11,2]],"date-time":"2015-11-02T16:04:33Z","timestamp":1446480273000},"page":"107-126","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":133,"title":["FlashMeta: a framework for inductive program synthesis"],"prefix":"10.1145","author":[{"given":"Oleksandr","family":"Polozov","sequence":"first","affiliation":[{"name":"University of Washington, USA"}]},{"given":"Sumit","family":"Gulwani","sequence":"additional","affiliation":[{"name":"Microsoft Research, USA"}]}],"member":"320","published-online":{"date-parts":[[2015,10,23]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"17","volume-title":"FMCAD","author":"Alur R.","unstructured":"R. Alur , R. Bodik , G. Juniwal , M. M. Martin , M. Raghothaman , S. A. Seshia , R. Singh , A. Solar-Lezama , E. Torlak , and A. Udupa . Syntax-guided synthesis . In FMCAD , pages 1\u2013 17 . IEEE, 2013. R. Alur, R. Bodik, G. Juniwal, M. M. Martin, M. Raghothaman, S. A. Seshia, R. Singh, A. Solar-Lezama, E. Torlak, and A. Udupa. Syntax-guided synthesis. In FMCAD, pages 1\u2013 17. IEEE, 2013."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737952"},{"key":"e_1_3_2_1_4_1","first-page":"76","volume-title":"Selectors level 3. W3C recommendation","author":"Celik T.","year":"2011","unstructured":"T. Celik , E. J. Etemad , D. Glazman , I. Hickson , P. Linss , and J. Williams . Selectors level 3. W3C recommendation . World Wide Web Consortium , page 76 , 2011 . T. Celik, E. J. Etemad, D. Glazman, I. Hickson, P. Linss, and J. Williams. Selectors level 3. W3C recommendation. World Wide Web Consortium, page 76, 2011."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737977"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1836089.1836091"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926423"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993536"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/366622.366647"},{"key":"e_1_3_2_1_10_1","volume-title":"Cambridge university press","author":"Hodges W.","year":"1997","unstructured":"W. Hodges . A shorter model theory. Cambridge university press , 1997 . W. Hodges. A shorter model theory. Cambridge university press, 1997."},{"key":"e_1_3_2_1_11_1","volume-title":"Pearson Education India","author":"Hopcroft J. E.","year":"1979","unstructured":"J. E. Hopcroft . Introduction to automata theory, languages, and computation . Pearson Education India , 1979 . J. E. Hopcroft. Introduction to automata theory, languages, and computation. Pearson Education India, 1979."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806833"},{"key":"e_1_3_2_1_14_1","volume-title":"Yacc: Yet another compiler-compiler","author":"Johnson S. C.","year":"1975","unstructured":"S. C. Johnson . Yacc: Yet another compiler-compiler , volume 32 . Bell Laboratories Murray Hill , NJ , 1975 . S. C. Johnson. Yacc: Yet another compiler-compiler, volume 32. Bell Laboratories Murray Hill, NJ, 1975."},{"key":"e_1_3_2_1_15_1","volume-title":"Systematic search for lambda expressions. Trends in functional programming, 6:111\u2013126","author":"Katayama S.","year":"2005","unstructured":"S. Katayama . Systematic search for lambda expressions. Trends in functional programming, 6:111\u2013126 , 2005 . S. Katayama. Systematic search for lambda expressions. Trends in functional programming, 6:111\u2013126, 2005."},{"key":"e_1_3_2_1_16_1","volume-title":"IJCAI","author":"Kini D.","year":"2015","unstructured":"D. Kini and S. Gulwani . FlashNormalize: Programming by examples for text normalization . IJCAI , 2015 . D. Kini and S. Gulwani. FlashNormalize: Programming by examples for text normalization. IJCAI, 2015."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s13218-010-0071-x"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429125"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2076450.2076472"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/70.338535"},{"key":"e_1_3_2_1_21_1","first-page":"534","volume-title":"ICML","author":"Lau T. A.","year":"2000","unstructured":"T. A. Lau , P. Domingos , and D. S. Weld . Version space algebra and its application to programming by demonstration . In ICML , pages 527\u2013 534 , 2000 . T. A. Lau, P. Domingos, and D. S. Weld. Version space algebra and its application to programming by demonstration. In ICML, pages 527\u2013534, 2000."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594333"},{"key":"e_1_3_2_1_23_1","volume-title":"Morgan Kaufmann","author":"Lieberman H.","year":"2001","unstructured":"H. Lieberman . Your wish is my command: Programming by example . Morgan Kaufmann , 2001 . H. Lieberman. Your wish is my command: Programming by example. Morgan Kaufmann, 2001."},{"key":"e_1_3_2_1_24_1","volume-title":"University of California","author":"Lu E.","year":"2013","unstructured":"E. Lu and R. Bodik . Quicksilver: Automatic synthesis of relational queries. Master\u2019s thesis, EECS Department , University of California , Berkeley , May 2013 . E. Lu and R. Bodik. Quicksilver: Automatic synthesis of relational queries. Master\u2019s thesis, EECS Department, University of California, Berkeley, May 2013."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/357084.357090"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2807442.2807459"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(82)90040-6"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2738007"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737959"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2004.840306"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2490301.2451150"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31424-7_44"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.14778\/2212351.2212356"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21690-4_23"},{"key":"e_1_3_2_1_35_1","volume-title":"ProQuest","author":"Solar-Lezama A.","year":"2008","unstructured":"A. Solar-Lezama . Program synthesis by sketching . ProQuest , 2008 . A. Solar-Lezama. Program synthesis by sketching. ProQuest, 2008."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509578.2509586"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462174"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2501988.2502040"},{"key":"e_1_3_2_1_39_1","first-page":"285","volume-title":"ICCAD","author":"Zhang L.","unstructured":"L. Zhang , C. F. Madigan , M. H. Moskewicz , and S. Malik . Efficient conflict driven learning in a boolean satisfiability solver . In ICCAD , pages 279\u2013 285 . IEEE Press, 2001. L. Zhang, C. F. Madigan, M. H. Moskewicz, and S. Malik. Efficient conflict driven learning in a boolean satisfiability solver. In ICCAD, pages 279\u2013285. IEEE Press, 2001."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491456"}],"event":{"name":"SPLASH '15: Conference on Systems, Programming, Languages, and Applications: Software for Humanity","location":"Pittsburgh PA USA","acronym":"SPLASH '15","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2814270.2814310","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2814270.2814310","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:48:41Z","timestamp":1750211321000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2814270.2814310"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,23]]},"references-count":38,"alternative-id":["10.1145\/2814270.2814310","10.1145\/2814270"],"URL":"https:\/\/doi.org\/10.1145\/2814270.2814310","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2858965.2814310","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2015,10,23]]},"assertion":[{"value":"2015-10-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}