{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,2]],"date-time":"2025-08-02T05:20:52Z","timestamp":1754112052129,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,8,22]],"date-time":"2021-08-22T00:00:00Z","timestamp":1629590400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["2105208"],"award-info":[{"award-number":["2105208"]}],"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":[[2021,8,27]]},"DOI":"10.1145\/3471872.3472972","type":"proceedings-article","created":{"date-parts":[[2021,8,19]],"date-time":"2021-08-19T01:21:27Z","timestamp":1629336087000},"page":"47-53","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Human-in-the-loop program synthesis for live coding"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8646-4364","authenticated-orcid":false,"given":"Mark","family":"Santolucito","sequence":"first","affiliation":[{"name":"Barnard College, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,8,22]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Mukund Raghothaman, Sanjit A Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, and Abhishek Udupa.","author":"Alur Rajeev","year":"2013","unstructured":"Rajeev Alur , Rastislav Bodik , Garvit Juniwal , Milo MK Martin , Mukund Raghothaman, Sanjit A Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, and Abhishek Udupa. 2013 . Syntax-guided synthesis. In 2013 Formal Methods in Computer-Aided Design . 1\u20138. Rajeev Alur, Rastislav Bodik, Garvit Juniwal, Milo MK Martin, Mukund Raghothaman, Sanjit A Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, and Abhishek Udupa. 2013. Syntax-guided synthesis. In 2013 Formal Methods in Computer-Aided Design. 1\u20138."},{"volume-title":"The 6th Competition on Syntax-Guided Synthesis. https:\/\/sygus.org\/comp\/2019\/results-slides.pdf Accessed: 2019-11-20","author":"Alur Rajeev","key":"e_1_3_2_1_2_1","unstructured":"Rajeev Alur , Dana Fisman , Saswat Padhi , Andrew Reynolds , Rishabh Singh , and Abhishek Udupa . 2019. The 6th Competition on Syntax-Guided Synthesis. https:\/\/sygus.org\/comp\/2019\/results-slides.pdf Accessed: 2019-11-20 . Rajeev Alur, Dana Fisman, Saswat Padhi, Andrew Reynolds, Rishabh Singh, and Abhishek Udupa. 2019. The 6th Competition on Syntax-Guided Synthesis. https:\/\/sygus.org\/comp\/2019\/results-slides.pdf Accessed: 2019-11-20."},{"key":"e_1_3_2_1_3_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.  Rajeev Alur Dana Fisman Rishabh Singh and Armando Solar-Lezama. 2017. Sygus-comp 2017: Results and analysis. arXiv preprint arXiv:1711.11438.","DOI":"10.4204\/EPTCS.260.9"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1080\/07494460802663991"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.2307\/2271310"},{"key":"e_1_3_2_1_6_1","unstructured":"cwilso. 2021. Shiny Happy MIDI Drum Machine. https:\/\/github.com\/cwilso\/MIDIDrums  cwilso. 2021. Shiny Happy MIDI Drum Machine. https:\/\/github.com\/cwilso\/MIDIDrums"},{"volume-title":"Allen Cypher","key":"e_1_3_2_1_7_1","unstructured":"1993. Watch What I Do: Programming by Demonstration , Allen Cypher , Daniel C. Halbert, David Kurlander, Henry Lieberman, David Maulsby, Brad A. Myers, and Alan Turransky (Eds.). MIT Press , Cambridge, MA, USA . isbn:0-262-03213-9 1993. Watch What I Do: Programming by Demonstration, Allen Cypher, Daniel C. Halbert, David Kurlander, Henry Lieberman, David Maulsby, Brad A. Myers, and Alan Turransky (Eds.). MIT Press, Cambridge, MA, USA. isbn:0-262-03213-9"},{"key":"e_1_3_2_1_8_1","volume-title":"Tenenbaum","author":"Ellis Kevin","year":"2020","unstructured":"Kevin Ellis , Catherine Wong , Maxwell Nye , Mathias Sable-Meyer , Luc Cary , Lucas Morales , Luke Hewitt , Armando Solar-Lezama , and Joshua B . Tenenbaum . 2020 . DreamCoder : Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning. arxiv:2006.08381. Kevin Ellis, Catherine Wong, Maxwell Nye, Mathias Sable-Meyer, Luc Cary, Lucas Morales, Luke Hewitt, Armando Solar-Lezama, and Joshua B. Tenenbaum. 2020. DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning. arxiv:2006.08381."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3379337.3415869"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3379337.3415869"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3379337.3415869"},{"key":"e_1_3_2_1_12_1","unstructured":"Joel Galenson Philip Reames Rastislav Bodik and Koushik Sen. 2013. A Hint in the Right Direction: Interactive Synthesis with Partial Dynamic Specifications.  Joel Galenson Philip Reames Rastislav Bodik and Koushik Sen. 2013. A Hint in the Right Direction: Interactive Synthesis with Partial Dynamic Specifications."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"Sumit Gulwani. 2011. Automating string processing in spreadsheets using input-output examples. In POPL. 317\u2013330.  Sumit Gulwani. 2011. Automating string processing in spreadsheets using input-output examples. In POPL. 317\u2013330.","DOI":"10.1145\/1925844.1926423"},{"key":"e_1_3_2_1_14_1","volume-title":"Harris and Sumit Gulwani","author":"William","year":"2011","unstructured":"William R. Harris and Sumit Gulwani . 2011 . Spreadsheet table transformations from examples. In PLDI. 317\u2013328. William R. Harris and Sumit Gulwani. 2011. Spreadsheet table transformations from examples. In PLDI. 317\u2013328."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3332165.3347925"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3332165.3347925"},{"key":"e_1_3_2_1_17_1","unstructured":"Olivia Jack. 2021. Hydra. https:\/\/hydra.ojack.xyz\/  Olivia Jack. 2021. Hydra. https:\/\/hydra.ojack.xyz\/"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1609\/aimag.v30i4.2262"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2633638.2633647"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3411764.3445356"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3242903.3242905"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"Andrew Reynolds and Cesare Tinelli. 2017. SyGuS Techniques in the Core of an SMT Solver. arXiv preprint arXiv:1711.10641.  Andrew Reynolds and Cesare Tinelli. 2017. SyGuS Techniques in the Core of an SMT Solver. arXiv preprint arXiv:1711.10641.","DOI":"10.4204\/EPTCS.260.8"},{"key":"e_1_3_2_1_23_1","volume-title":"PLATEAU at SPLASH. Also presented at SYNT","author":"Santolucito Mark","year":"2018","unstructured":"Mark Santolucito , Drew Goldman , Allyson Weseley , and Ruzica Piskac . 2018. Programming by Example: Efficient, but Not \"Helpful \". In PLATEAU at SPLASH. Also presented at SYNT 2018 . Mark Santolucito, Drew Goldman, Allyson Weseley, and Ruzica Piskac. 2018. Programming by Example: Efficient, but Not \"Helpful\". In PLATEAU at SPLASH. Also presented at SYNT 2018."},{"key":"e_1_3_2_1_24_1","volume-title":"Live Programming By Example. In Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems.","author":"Santolucito Mark","year":"2019","unstructured":"Mark Santolucito , William T. Hallahan , and Ruzica Piskac . 2019 . Live Programming By Example. In Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems. Mark Santolucito, William T. Hallahan, and Ruzica Piskac. 2019. Live Programming By Example. In Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","unstructured":"Mark Santolucito Kate Rogers Aedan Lombardo and Ruzica Piskac. 2018. Programming-by-example for Audio: Synthesizing Digital Signal Processing Programs. In Functional Art and Music (FARM) at ICFP.  Mark Santolucito Kate Rogers Aedan Lombardo and Ruzica Piskac. 2018. Programming-by-example for Audio: Synthesizing Digital Signal Processing Programs. In Functional Art and Music (FARM) at ICFP.","DOI":"10.1145\/3242903.3242906"},{"key":"e_1_3_2_1_26_1","volume-title":"LIVE Workshop.","author":"Schuster Christopher","year":"2016","unstructured":"Christopher Schuster and Cormac Flanagan . 2016 . Live programming by example: using direct manipulation for live program synthesis . In LIVE Workshop. Christopher Schuster and Cormac Flanagan. 2016. Live programming by example: using direct manipulation for live program synthesis. In LIVE Workshop."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/11560548_6"},{"key":"e_1_3_2_1_28_1","unstructured":"TOPLAP. 2020. TOPLAP draft manifesto. https:\/\/toplap.org\/wiki\/ManifestoDraft  TOPLAP. 2020. TOPLAP draft manifesto. https:\/\/toplap.org\/wiki\/ManifestoDraft"},{"key":"e_1_3_2_1_29_1","unstructured":"Bret Victor. 2000. Inventing on Principle. Available at https:\/\/vimeo.com\/36579366  Bret Victor. 2000. Inventing on Principle. Available at https:\/\/vimeo.com\/36579366"},{"key":"e_1_3_2_1_30_1","unstructured":"Bret Victor. 2012. Learnable Programming : designing a programming system for understanding programs. Available at http:\/\/worrydream.com\/LearnableProgramming\/  Bret Victor. 2012. Learnable Programming : designing a programming system for understanding programs. Available at http:\/\/worrydream.com\/LearnableProgramming\/"},{"key":"e_1_3_2_1_31_1","unstructured":"Ge Wang. 2019. Humans in the Loop: The Design of Interactive AI Systems. https:\/\/hai.stanford.edu\/blog\/humans-loop-design-interactive-ai-systems  Ge Wang. 2019. Humans in the Loop: The Design of Interactive AI Systems. https:\/\/hai.stanford.edu\/blog\/humans-loop-design-interactive-ai-systems"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3379337.3415900"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1504\/IJCCBS.2014.064668"}],"event":{"name":"ICFP '21: 26th ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Virtual Republic of Korea","acronym":"ICFP '21"},"container-title":["Proceedings of the 9th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3471872.3472972","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/abs\/10.1145\/3471872.3472972","content-type":"text\/html","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3471872.3472972","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3471872.3472972","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:24:49Z","timestamp":1750195489000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3471872.3472972"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,8,22]]},"references-count":33,"alternative-id":["10.1145\/3471872.3472972","10.1145\/3471872"],"URL":"https:\/\/doi.org\/10.1145\/3471872.3472972","relation":{},"subject":[],"published":{"date-parts":[[2021,8,22]]},"assertion":[{"value":"2021-08-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}