{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T07:15:31Z","timestamp":1768288531049,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,11,5]],"date-time":"2015-11-05T00:00:00Z","timestamp":1446681600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Microsoft Research Redmond"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,11,5]]},"DOI":"10.1145\/2807442.2807459","type":"proceedings-article","created":{"date-parts":[[2015,11,6]],"date-time":"2015-11-06T15:04:29Z","timestamp":1446822269000},"page":"291-301","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":72,"title":["User Interaction Models for Disambiguation in Programming by Example"],"prefix":"10.1145","author":[{"given":"Mika\u00ebl","family":"Mayer","sequence":"first","affiliation":[{"name":"EPFL & Microsoft, Lausanne, Switzerland"}]},{"given":"Gustavo","family":"Soares","sequence":"additional","affiliation":[{"name":"Universidade Federal de Campina Grande, Campina Grande, Brazil"}]},{"given":"Maxim","family":"Grechkin","sequence":"additional","affiliation":[{"name":"University of Washington, Seattle, USA"}]},{"given":"Vu","family":"Le","sequence":"additional","affiliation":[{"name":"University of California, Davis & Microsoft, Davis, CA, USA"}]},{"given":"Mark","family":"Marron","sequence":"additional","affiliation":[{"name":"Microsoft, Redmond, WA, USA"}]},{"given":"Oleksandr","family":"Polozov","sequence":"additional","affiliation":[{"name":"Microsoft & University of Washington, Redmond, CA, USA"}]},{"given":"Rishabh","family":"Singh","sequence":"additional","affiliation":[{"name":"Microsoft, Redmond, WA, USA"}]},{"given":"Benjamin","family":"Zorn","sequence":"additional","affiliation":[{"name":"Microsoft, Redmond, WA, USA"}]},{"given":"Sumit","family":"Gulwani","sequence":"additional","affiliation":[{"name":"Microsoft, Redmond, WA, USA"}]}],"member":"320","published-online":{"date-parts":[[2015,11,5]]},"reference":[{"key":"e_1_3_2_2_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 M K Martin , Mukund Raghothaman, Sanjit A Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, and Abhishek Udupa. 2013 . Syntax-guided synthesis. In FMCAD. IEEE. Rajeev Alur, Rastislav Bodik, Garvit Juniwal, Milo M K Martin, Mukund Raghothaman, Sanjit A Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, and Abhishek Udupa. 2013. Syntax-guided synthesis. In FMCAD. IEEE."},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1622176.1622222"},{"key":"e_1_3_2_2_3_1","volume-title":"Tan","author":"Amershi Saleema","year":"2011","unstructured":"Saleema Amershi , James Fogarty , Ashish Kapoor , and Desney S . Tan . 2011 . Effective End-User Interaction with Machine Learning. In AAAI. Saleema Amershi, James Fogarty, Ashish Kapoor, and Desney S. Tan. 2011. Effective End-User Interaction with Machine Learning. In AAAI."},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737952"},{"key":"e_1_3_2_2_5_1","unstructured":"Allen Cypher (Ed.). 1993. Watch What I Do: Programming by Demonstration. MIT Press.   Allen Cypher (Ed.). 1993. Watch What I Do: Programming by Demonstration. MIT Press."},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737977"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926423"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2240236.2240260"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2736282"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806833"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2676966"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1978942.1979444"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/832276.834280"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1609\/aimag.v30i4.2262"},{"key":"e_1_3_2_2_15_1","unstructured":"Tessa Lau Pedro Domingos and Daniel S Weld. 2000. Version Space Algebra and its Application to Programming by Demonstration. In ICML. 527--534.   Tessa Lau Pedro Domingos and Daniel S Weld. 2000. Version Space Algebra and its Application to Programming by Demonstration. In ICML. 527--534."},{"key":"e_1_3_2_2_16_1","volume-title":"Weld","author":"Lau Tessa","year":"2001","unstructured":"Tessa Lau , Steven A. Wolfman , Pedro Domingos , and Daniel S . Weld . 2001 . Learning repetitive text-editing procedures with SMARTedit. Your Wish Is My Command: Giving Users the Power to Instruct Their Software ( 2001), 209--226. Tessa Lau, Steven A. Wolfman, Pedro Domingos, and Daniel S. Weld. 2001. Learning repetitive text-editing procedures with SMARTedit. Your Wish Is My Command: Giving Users the Power to Instruct Their Software (2001), 209--226."},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594333"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2738002"},{"key":"e_1_3_2_2_19_1","unstructured":"H. Lieberman. 2001. Your Wish Is My Command: Programming by Example. Morgan Kaufmann.  H. Lieberman. 2001. Your Wish Is My Command: Programming by Example. Morgan Kaufmann."},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/302979.303127"},{"key":"e_1_3_2_2_21_1","unstructured":"Aditya Krishna Menon Omer Tamuz Sumit Gulwani Butler W. Lampson and Adam Kalai. 2013. A Machine Learning Framework for Programming by Example. In ICML.  Aditya Krishna Menon Omer Tamuz Sumit Gulwani Butler W. Lampson and Adam Kalai. 2013. A Machine Learning Framework for Programming by Example. In ICML."},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/502348.502361"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/506443.506447"},{"key":"e_1_3_2_2_24_1","volume-title":"Generalization as search. Artificial intelligence 18, 2","author":"Mitchell Tom M","year":"1982","unstructured":"Tom M Mitchell . 1982. Generalization as search. Artificial intelligence 18, 2 ( 1982 ), 203--226. Tom M Mitchell. 1982. Generalization as search. Artificial intelligence 18, 2 (1982), 203--226."},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/15922.15914"},{"key":"e_1_3_2_2_26_1","volume-title":"Kosbie","author":"Myers Brad A.","year":"1993","unstructured":"Brad A. Myers , Richard G. McDaniel , and David S . Kosbie . 1993 . Marquise: creating complete user interfaces by demonstration. In INTERACT. 293--300. Brad A. Myers, Richard G. McDaniel, and David S. Kosbie. 1993. Marquise: creating complete user interfaces by demonstration. In INTERACT. 293--300."},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814310"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"crossref","unstructured":"Mohammad Raza Sumit Gulwani and Natasa Milic-Frayling. 2014. Programming by Example Using Least General Generalizations. In AAAI. 283--290.  Mohammad Raza Sumit Gulwani and Natasa Milic-Frayling. 2014. Programming by Example Using Least General Generalizations. In AAAI. 283--290.","DOI":"10.1609\/aaai.v28i1.8744"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368090"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2588555.2593664"},{"key":"e_1_3_2_2_31_1","volume-title":"Witten and Dan Mo","author":"Ian","year":"1993","unstructured":"Ian H. Witten and Dan Mo . 1993 . TELS : Learning Text Editing Tasks from Examples. In Watch What I Do, Allen Cypher (Ed.). MIT Press , 183--203. Ian H. Witten and Dan Mo. 1993. TELS: Learning Text Editing Tasks from Examples. In Watch What I Do, Allen Cypher (Ed.). MIT Press, 183--203."},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2501988.2502040"}],"event":{"name":"UIST '15: The 28th Annual ACM Symposium on User Interface Software and Technology","location":"Charlotte NC USA","acronym":"UIST '15","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 28th Annual ACM Symposium on User Interface Software & Technology"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2807442.2807459","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2807442.2807459","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:43:40Z","timestamp":1750225420000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2807442.2807459"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,11,5]]},"references-count":32,"alternative-id":["10.1145\/2807442.2807459","10.1145\/2807442"],"URL":"https:\/\/doi.org\/10.1145\/2807442.2807459","relation":{},"subject":[],"published":{"date-parts":[[2015,11,5]]},"assertion":[{"value":"2015-11-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}