{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:12:27Z","timestamp":1775873547488,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,5,31]],"date-time":"2014-05-31T00:00:00Z","timestamp":1401494400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,5,31]]},"DOI":"10.1145\/2568225.2568250","type":"proceedings-article","created":{"date-parts":[[2014,5,20]],"date-time":"2014-05-20T13:48:00Z","timestamp":1400593680000},"page":"653-663","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":91,"title":["CodeHint: dynamic and interactive synthesis of code snippets"],"prefix":"10.1145","author":[{"given":"Joel","family":"Galenson","sequence":"first","affiliation":[{"name":"University of California at Berkeley, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philip","family":"Reames","sequence":"additional","affiliation":[{"name":"University of California at Berkeley, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rastislav","family":"Bodik","sequence":"additional","affiliation":[{"name":"University of California at Berkeley, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bj\u00f6rn","family":"Hartmann","sequence":"additional","affiliation":[{"name":"University of California at Berkeley, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Koushik","family":"Sen","sequence":"additional","affiliation":[{"name":"University of California at Berkeley, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,5,31]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1176617.1176671"},{"key":"e_1_3_2_1_2_1","volume-title":"Pharo by example","author":"Black A.","year":"2009","unstructured":"A. Black , S. Ducasse , O. Nierstrasz , D. Pollet , D. Cassou , M. Denker , Pharo by example . 2009 . A. Black, S. Ducasse, O. Nierstrasz, D. Pollet, D. Cassou, M. Denker, et al. Pharo by example. 2009."},{"key":"e_1_3_2_1_3_1","volume-title":"Implementing level 4 liveness in declarative visual programming languages. VL \u201998","author":"Burnett M. M.","year":"1998","unstructured":"M. M. Burnett , J. W. Atwood Jr , and Z. T. Welch . Implementing level 4 liveness in declarative visual programming languages. VL \u201998 , pages 126\u2013, 1998 . 4 A prototype implementation of CodeHint for JavaScript is available at https:\/\/github.com\/jgalenson\/codehint.js. M. M. Burnett, J. W. Atwood Jr, and Z. T. Welch. Implementing level 4 liveness in declarative visual programming languages. VL \u201998, pages 126\u2013, 1998. 4 A prototype implementation of CodeHint for JavaScript is available at https:\/\/github.com\/jgalenson\/codehint.js."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00593-0_26"},{"key":"e_1_3_2_1_5_1","volume-title":"Macho: Writing programs with natural language and examples. Technical report","author":"Cozzie A.","year":"2012","unstructured":"A. Cozzie and S. T. King . Macho: Writing programs with natural language and examples. Technical report , University of Illinois at Urbana-Champaign , 2012 . A. Cozzie and S. T. King. Macho: Writing programs with natural language and examples. Technical report, University of Illinois at Urbana-Champaign, 2012."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.602"},{"key":"e_1_3_2_1_7_1","volume-title":"Watch what I do: programming by demonstration","author":"Cypher A.","year":"1993","unstructured":"A. Cypher , D. C. Halbert , D. Kurlander , H. Lieberman , D. Maulsby , B. A. Myers , and A. Turransky , editors . Watch what I do: programming by demonstration . MIT Press , 1993 . A. Cypher, D. C. Halbert, D. Kurlander, H. Lieberman, D. Maulsby, B. A. Myers, and A. Turransky, editors. Watch what I do: programming by demonstration. MIT Press, 1993."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302467"},{"key":"e_1_3_2_1_9_1","first-page":"423","volume-title":"Computer Aided Verification","author":"Gvero T.","unstructured":"T. Gvero , V. Kuncak , and R. Piskac . Interactive synthesis of code snippets . In Computer Aided Verification , pages 418\u2013 423 . 2011. T. Gvero, V. Kuncak, and R. Piskac. Interactive synthesis of code snippets. In Computer Aided Verification, pages 418\u2013423. 2011."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993504"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062491"},{"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","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806632"},{"key":"e_1_3_2_1_15_1","volume-title":"Computer Human Interaction","author":"Lau T.","year":"2008","unstructured":"T. Lau . Why pbd systems fail: Lessons learned for usable ai . In Computer Human Interaction , 2008 . T. Lau. Why pbd systems fail: Lessons learned for usable ai. In Computer Human Interaction, 2008."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/945645.945654"},{"key":"e_1_3_2_1_17_1","first-page":"534","volume-title":"ICML \u201900","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 \u201900 , 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 \u201900, pages 527\u2013534, 2000."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1357054.1357323"},{"key":"e_1_3_2_1_19_1","volume-title":"Your wish is my command: programming by example","author":"Lieberman H.","year":"2001","unstructured":"H. Lieberman , editor. Your wish is my command: programming by example . Morgan Kaufmann Publishers Inc ., 2001 . H. Lieberman, editor. Your wish is my command: programming by example. Morgan Kaufmann Publishers Inc., 2001."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065018"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985809"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250785"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254098"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070525"},{"key":"e_1_3_2_1_26_1","first-page":"448","volume-title":"Transactional rollback for language-based systems. DSN \u201902","author":"Rudys A.","year":"2002","unstructured":"A. Rudys and D. S. Wallach . Transactional rollback for language-based systems. DSN \u201902 , pages 439\u2013 448 , 2002 . A. Rudys and D. S. Wallach. Transactional rollback for language-based systems. DSN \u201902, pages 439\u2013448, 2002."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167473.1167508"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081750"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1866307.1866331"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025153"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065045"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706337"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33167-1_48"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1045-926X(05)80012-6"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321663"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048083"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792786.1792798"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/258549.258721"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31980-1_24"},{"key":"e_1_3_2_1_40_1","first-page":"303","volume-title":"IJCAI\u201995","author":"Zhang J.","year":"1995","unstructured":"J. Zhang and H. Zhang . Sem: a system for enumerating models . IJCAI\u201995 , pages 298\u2013 303 , 1995 . J. Zhang and H. Zhang. Sem: a system for enumerating models. IJCAI\u201995, pages 298\u2013303, 1995."},{"key":"e_1_3_2_1_41_1","first-page":"162","volume-title":"How to do a million watchpoints: e\ufb03cient debugging using dynamic instrumentation. CC\u201908\/ETAPS\u201908","author":"Zhao Q.","year":"2008","unstructured":"Q. Zhao , R. Rabbah , S. Amarasinghe , L. Rudolph , and W.-F. Wong . How to do a million watchpoints: e\ufb03cient debugging using dynamic instrumentation. CC\u201908\/ETAPS\u201908 , pages 147\u2013 162 , 2008 . Q. Zhao, R. Rabbah, S. Amarasinghe, L. Rudolph, and W.-F. Wong. How to do a million watchpoints: e\ufb03cient debugging using dynamic instrumentation. CC\u201908\/ETAPS\u201908, pages 147\u2013162, 2008."}],"event":{"name":"ICSE '14: 36th International Conference on Software Engineering","location":"Hyderabad India","acronym":"ICSE '14","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","TCSE IEEE Computer Society's Tech. Council on Software Engin."]},"container-title":["Proceedings of the 36th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2568225.2568250","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2568225.2568250","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:10:30Z","timestamp":1750234230000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2568225.2568250"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,5,31]]},"references-count":39,"alternative-id":["10.1145\/2568225.2568250","10.1145\/2568225"],"URL":"https:\/\/doi.org\/10.1145\/2568225.2568250","relation":{},"subject":[],"published":{"date-parts":[[2014,5,31]]},"assertion":[{"value":"2014-05-31","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}