{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,13]],"date-time":"2026-04-13T21:41:49Z","timestamp":1776116509697,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":50,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,10,20]],"date-time":"2020-10-20T00:00:00Z","timestamp":1603152000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/100006435","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1943623,1911149"],"award-info":[{"award-number":["1943623,1911149"]}],"id":[{"id":"10.13039\/100006435","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,10,20]]},"DOI":"10.1145\/3379337.3415869","type":"proceedings-article","created":{"date-parts":[[2020,10,16]],"date-time":"2020-10-16T19:01:43Z","timestamp":1602874903000},"page":"614-626","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":35,"title":["Small-Step Live Programming by Example"],"prefix":"10.1145","author":[{"given":"Kasra","family":"Ferdowsifard","sequence":"first","affiliation":[{"name":"University of California, San Diego, La Jolla, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Allen","family":"Ordookhanians","sequence":"additional","affiliation":[{"name":"University of California, San Diego, La Jolla, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hila","family":"Peleg","sequence":"additional","affiliation":[{"name":"University of California, San Diego, La Jolla, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sorin","family":"Lerner","sequence":"additional","affiliation":[{"name":"University of California, San Diego, La Jolla, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nadia","family":"Polikarpova","sequence":"additional","affiliation":[{"name":"University of California, San Diego, La Jolla, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,10,20]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"2019. Alfie. https:\/\/alfie.prodo.ai\/. (2019). Accessed: 2019-09-01.  2019. Alfie. https:\/\/alfie.prodo.ai\/. (2019). Accessed: 2019-09-01."},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"crossref","unstructured":"2019. LightTable. http:\/\/lighttable.com\/. (2019). Accessed: 2019-09-01.  2019. LightTable. http:\/\/lighttable.com\/. (2019). Accessed: 2019-09-01.","DOI":"10.1055\/s-0040-1701744"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_67"},{"key":"e_1_3_2_2_4_1","volume-title":"Sygus-comp 2017: Results and analysis. arXiv preprint arXiv:1711.11438","author":"Alur Rajeev","year":"2017"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2015.7332518"},{"key":"e_1_3_2_2_6_1","volume-title":"Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI '09)","author":"Brandt Joel","year":"1870"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3242587.3242661"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908103"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3313831.3376442"},{"key":"e_1_3_2_2_10_1","volume-title":"Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI '14)","author":"Fast Ethan"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568250"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3313831.3376316"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1925844.1926423"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.227"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2445196.2445368"},{"key":"e_1_3_2_2_16_1","volume-title":"Proceedings of the ACM on Programming Languages 4, POPL","author":"Guo Zheng","year":"2019"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462192"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3332165.3347925"},{"key":"e_1_3_2_2_20_1","volume-title":"Direct Manipulation for Imperative Programs. In International Static Analysis Symposium. Springer, 347--367","author":"Hu Qinheping","year":"2019"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092282.3092285"},{"key":"e_1_3_2_2_22_1","volume-title":"Proceedings of the 30th Annual ACM Symposium on User Interface Software and Technology (UIST '17)","author":"Kang Hyeonsu"},{"key":"e_1_3_2_2_23_1","volume-title":"2014 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC)","author":"Jan-Peter","year":"2014"},{"key":"e_1_3_2_2_24_1","volume-title":"CHI 2008 Workshop on Usable AI.","author":"Tessa"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594333"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3098225"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3313831.3376494"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2015.7081849"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786811"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2914770.2837617"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276497"},{"key":"e_1_3_2_2_32_1","volume-title":"Proc. ACM Program. Lang. 3, POPL, Article 14 (Jan.","author":"Omar Cyrus","year":"2019"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijhcs.2006.04.006"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"crossref","unstructured":"Hila Peleg Roi Gabay Shachar Itzhaky and Eran Yahav. 2020. Programming with a Read-Eval-Synth Loop. (2020). Manuscript submitted for publication.  Hila Peleg Roi Gabay Shachar Itzhaky and Eran Yahav. 2020. Programming with a Read-Eval-Synth Loop. (2020). Manuscript submitted for publication.","DOI":"10.1145\/3428227"},{"key":"e_1_3_2_2_35_1","volume-title":"34th European Conference on Object-Oriented Programming, ECOOP","author":"Peleg Hila","year":"2020"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180189"},{"key":"e_1_3_2_2_37_1","volume-title":"Babylonian-style Programming: Design and Implementation of an Integration of Live Examples Into General-purpose Source Code. The Art, Science, and Engineering of Programming 3, 3","author":"Rauch David","year":"2019"},{"key":"e_1_3_2_2_38_1","volume-title":"Live Programming By Example. In Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems. 1--4.","author":"Santolucito Mark","year":"2019"},{"key":"e_1_3_2_2_39_1","volume-title":"LIVE Workshop.","author":"Schuster Christopher","year":"2016"},{"key":"e_1_3_2_2_40_1","first-page":"57","article-title":"Direct Manipulation","volume":"16","author":"Shneiderman Ben","year":"1983","journal-title":"A Step Beyond Programming Languages. Computer"},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908102"},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168907"},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.5555\/2662726.2662735"},{"key":"e_1_3_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2499370.2462174"},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3332165.3347944"},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106263"},{"key":"e_1_3_2_2_47_1","unstructured":"Bret Victor. 2012. Learnable Programming. (2012). http:\/\/worrydream.com\/LearnableProgramming\/  Bret Victor. 2012. Learnable Programming. (2012). http:\/\/worrydream.com\/LearnableProgramming\/"},{"key":"e_1_3_2_2_48_1","volume-title":"Proceedings of the ACM SIGCHI Conference on Human Factors in Computing Systems (CHI '97)","author":"Wilcox E. M."},{"key":"e_1_3_2_2_49_1","doi-asserted-by":"crossref","volume-title":"The Formal Semantics of Programming Languages: An Introduction","author":"Winskel Glynn","DOI":"10.7551\/mitpress\/3054.001.0001"},{"key":"e_1_3_2_2_50_1","volume-title":"Precise Condition Synthesis for Program Repair. In 2017 IEEE\/ACM 39th International Conference on Software Engineering (ICSE)","volume":"00","author":"Xiong Y.","year":"2017"},{"key":"e_1_3_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3187009.3177735"}],"event":{"name":"UIST '20: The 33rd Annual ACM Symposium on User Interface Software and Technology","location":"Virtual Event USA","acronym":"UIST '20","sponsor":["SIGGRAPH ACM Special Interest Group on Computer Graphics and Interactive Techniques","SIGCHI ACM Special Interest Group on Computer-Human Interaction"]},"container-title":["Proceedings of the 33rd Annual ACM Symposium on User Interface Software and Technology"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3379337.3415869","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3379337.3415869","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:38:50Z","timestamp":1750199930000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3379337.3415869"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10,20]]},"references-count":50,"alternative-id":["10.1145\/3379337.3415869","10.1145\/3379337"],"URL":"https:\/\/doi.org\/10.1145\/3379337.3415869","relation":{},"subject":[],"published":{"date-parts":[[2020,10,20]]},"assertion":[{"value":"2020-10-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}