{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T01:28:03Z","timestamp":1768267683791,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T00:00:00Z","timestamp":1556755200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["1302327, 1715387, 1553168"],"award-info":[{"award-number":["1302327, 1715387, 1553168"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,5,2]]},"DOI":"10.1145\/3290607.3313266","type":"proceedings-article","created":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T15:55:05Z","timestamp":1556639705000},"page":"1-4","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Live Programming By Example"],"prefix":"10.1145","author":[{"given":"Mark","family":"Santolucito","sequence":"first","affiliation":[{"name":"Yale University, New Haven, CT, USA"}]},{"given":"William T.","family":"Hallahan","sequence":"additional","affiliation":[{"name":"Yale University, New Haven, CT, USA"}]},{"given":"Ruzica","family":"Piskac","sequence":"additional","affiliation":[{"name":"Yale University, New Haven, CT, USA"}]}],"member":"320","published-online":{"date-parts":[[2019,5,2]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"crossref","unstructured":"Rajeev Alur Dana Fisman Rishabh Singh and Armando Solar-Lezama. 2017. SyGuS-Comp 2017: Results and Analysis. arXiv preprint arXiv:1711.11438 (2017).  Rajeev Alur Dana Fisman Rishabh Singh and Armando Solar-Lezama. 2017. SyGuS-Comp 2017: Results and Analysis. arXiv preprint arXiv:1711.11438 (2017).","DOI":"10.4204\/EPTCS.260.9"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1080\/07494460802663991"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908103"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.282.0294"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/108844.108850"},{"key":"e_1_3_2_2_6_1","unstructured":"A. Cypher and D.C. Halbert. 1993. Watch what I Do: Programming by Demonstration. MIT Press.   A. Cypher and D.C. Halbert. 1993. Watch what I Do: Programming by Demonstration. MIT Press."},{"key":"e_1_3_2_2_7_1","unstructured":"GitHub. 2018. Atom - The hackable text editor. https:\/\/github.com\/atom\/atom.  GitHub. 2018. Atom - The hackable text editor. https:\/\/github.com\/atom\/atom."},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926423"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/SYNASC.2012.69"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134355"},{"key":"e_1_3_2_2_11_1","unstructured":"H. Lieberman. 2001. Your Wish Is My Command: Programming by Example. Morgan Kaufmann Publishers.  H. Lieberman. 2001. Your Wish Is My Command: Programming by Example. Morgan Kaufmann Publishers."},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276497"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290327"},{"key":"e_1_3_2_2_14_1","unstructured":"Andrew Reynolds and Cesare Tinelli. 2017. SyGuS Techniques in the Core of an SMT Solver. arXiv preprint arXiv:1711.10641 (2017).  Andrew Reynolds and Cesare Tinelli. 2017. SyGuS Techniques in the Core of an SMT Solver. arXiv preprint arXiv:1711.10641 (2017)."},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3027063.3053187"},{"key":"e_1_3_2_2_16_1","unstructured":"Bret Victor. 2012. Learnable Programming : designing a programming system for understanding programs. (2012). Available at http:\/\/worrydream.com\/LearnableProgramming\/.  Bret Victor. 2012. Learnable Programming : designing a programming system for understanding programs. (2012). Available at http:\/\/worrydream.com\/LearnableProgramming\/."}],"event":{"name":"CHI '19: CHI Conference on Human Factors in Computing Systems","location":"Glasgow Scotland Uk","acronym":"CHI '19","sponsor":["SIGCHI ACM Special Interest Group on Computer-Human Interaction"]},"container-title":["Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3290607.3313266","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3290607.3313266","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3290607.3313266","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:53:17Z","timestamp":1750204397000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3290607.3313266"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,5,2]]},"references-count":16,"alternative-id":["10.1145\/3290607.3313266","10.1145\/3290607"],"URL":"https:\/\/doi.org\/10.1145\/3290607.3313266","relation":{},"subject":[],"published":{"date-parts":[[2019,5,2]]},"assertion":[{"value":"2019-05-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}