{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,13]],"date-time":"2026-04-13T20:39:48Z","timestamp":1776112788593,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,9,27]],"date-time":"2026-09-27T00:00:00Z","timestamp":1790467200000},"content-version":"vor","delay-in-days":365,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["2046071"],"award-info":[{"award-number":["2046071"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003725","name":"National Research Foundation of Korea","doi-asserted-by":"publisher","award":["4199990214639"],"award-info":[{"award-number":["4199990214639"]}],"id":[{"id":"10.13039\/501100003725","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,9,28]]},"DOI":"10.1145\/3746058.3758454","type":"proceedings-article","created":{"date-parts":[[2025,9,27]],"date-time":"2025-09-27T14:33:09Z","timestamp":1758983589000},"page":"1-3","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["ReDemon UI: Reactive Synthesis by Demonstration for Web UI"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2224-4861","authenticated-orcid":false,"given":"Jay","family":"Lee","sequence":"first","affiliation":[{"name":"Department of Computer Science and Engineering, Seoul National University, Seoul, Republic of Korea"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-4693-5377","authenticated-orcid":false,"given":"Gyuhyeok","family":"Oh","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, Seoul National University, Seoul, Republic of Korea"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-0055-7297","authenticated-orcid":false,"given":"Joongwon","family":"Ahn","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, Seoul National University, Seoul, Republic of Korea"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9476-7349","authenticated-orcid":false,"given":"Xiaokang","family":"Qiu","sequence":"additional","affiliation":[{"name":"Elmore Family School of Electrical and Computer Engineering, Purdue University, West Lafayette, Indiana, USA"}]}],"member":"320","published-online":{"date-parts":[[2025,9,27]]},"reference":[{"key":"e_1_3_3_1_2_2","unstructured":"Ammar Ahmed and Ali\u00a0Shariq Imran. 2025. The Role of Large Language Models in UI\/UX Design: A Systematic Literature Review. arXiv:https:\/\/arXiv.org\/abs\/2507.04469\u00a0[cs.HC] https:\/\/arxiv.org\/abs\/2507.04469"},{"key":"e_1_3_3_1_3_2","series-title":"(NIPS \u201920)","volume-title":"Proceedings of the 34th International Conference on Neural Information Processing Systems","author":"Brown Tom\u00a0B.","year":"2020","unstructured":"Tom\u00a0B. Brown, Benjamin Mann, Nick Ryder, Melanie Subbiah, Jared Kaplan, Prafulla Dhariwal, Arvind Neelakantan, Pranav Shyam, Girish Sastry, Amanda Askell, Sandhini Agarwal, Ariel Herbert-Voss, Gretchen Krueger, Tom Henighan, Rewon Child, Aditya Ramesh, Daniel\u00a0M. Ziegler, Jeffrey Wu, Clemens Winter, Christopher Hesse, Mark Chen, Eric Sigler, Mateusz Litwin, Scott Gray, Benjamin Chess, Jack Clark, Christopher Berner, Sam McCandlish, Alec Radford, Ilya Sutskever, and Dario Amodei. 2020. Language models are few-shot learners. In Proceedings of the 34th International Conference on Neural Information Processing Systems (Vancouver, BC, Canada) (NIPS \u201920). Curran Associates Inc., Red Hook, NY, USA, Article 159, 25\u00a0pages."},{"key":"e_1_3_3_1_4_2","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908103"},{"key":"e_1_3_3_1_5_2","volume-title":"Watch What I Do: Programming by Demonstration","author":"Cypher Allen","year":"1993","unstructured":"Allen Cypher, Daniel\u00a0C. Halbert, David Kurlander, Henry Lieberman, David Maulsby, Brad\u00a0A. Myers, and Alan Turransky (Eds.). 1993. Watch What I Do: Programming by Demonstration. MIT Press, Cambridge, MA, USA."},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"publisher","unstructured":"Ria Das Joshua\u00a0B. Tenenbaum Armando Solar-Lezama and Zenna Tavares. 2023. Combining Functional and Automata Synthesis to Discover Causal Reactive Programs. Proc. ACM Program. Lang. 7 POPL Article 56 (Jan. 2023) 31\u00a0pages. 10.1145\/3571249","DOI":"10.1145\/3571249"},{"key":"e_1_3_3_1_7_2","doi-asserted-by":"publisher","unstructured":"Yuantian Ding and Xiaokang Qiu. 2024. Enhanced Enumeration Techniques for Syntax-Guided Synthesis of Bit-Vector Manipulations. Proc. ACM Program. Lang. 8 POPL Article 71 (Jan. 2024) 31\u00a0pages. 10.1145\/3632913","DOI":"10.1145\/3632913"},{"key":"e_1_3_3_1_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/3332165.3347925"},{"key":"e_1_3_3_1_9_2","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884856"},{"key":"e_1_3_3_1_10_2","unstructured":"Jay Lee Joongwon Ahn and Kwangkeun Yi. 2025. React-tRace: A Semantics for Understanding React Hooks. arXiv:https:\/\/arXiv.org\/abs\/2507.05234\u00a0[cs.PL] https:\/\/arxiv.org\/abs\/2507.05234"},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"publisher","unstructured":"Yixuan Li Jos\u00e9 Wesley de\u00a0Souza Magalh\u00e3es Alexander Brauckmann Michael F.\u00a0P. O\u2019Boyle and Elizabeth Polgreen. 2025. Guided Tensor Lifting. Proc. ACM Program. Lang. 9 PLDI Article 227 (June 2025) 23\u00a0pages. 10.1145\/3729330","DOI":"10.1145\/3729330"},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECOOP.2020.12"},{"key":"e_1_3_3_1_13_2","volume-title":"JSX","author":"Inc. Meta Platforms,","year":"2022","unstructured":"Meta Platforms, Inc.2022. JSX. Retrieved July 10, 2025 from https:\/\/facebook.github.io\/jsx\/ Draft."},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"publisher","unstructured":"Brad\u00a0A. Myers. 1990. Creating User Interfaces Using Programming by Example Visual Programming and Constraints. ACM Trans. Program. Lang. Syst. 12 2 (April 1990) 143\u2013177. 10.1145\/78942.78943","DOI":"10.1145\/78942.78943"},{"key":"e_1_3_3_1_15_2","doi-asserted-by":"publisher","unstructured":"Brad\u00a0A. Myers Dario\u00a0A. Giuse Roger\u00a0B. Dannenberg Brad\u00a0Vander Zanden David\u00a0S. Kosbie Edward Pervin Andrew Mickish and Philippe Marchal. 1990. Garnet: Comprehensive Support for Graphical Highly Interactive User Interfaces. Computer 23 11 (1990) 71\u201385. 10.1109\/2.60882","DOI":"10.1109\/2.60882"},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"publisher","DOI":"10.1145\/1378773.1378793"},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2009.5295287"},{"key":"e_1_3_3_1_18_2","doi-asserted-by":"publisher","DOI":"10.1109\/CCWC62904.2025.10903712"},{"key":"e_1_3_3_1_19_2","doi-asserted-by":"publisher","unstructured":"Noah Patton Kia Rahmani Meghana Missula Joydeep Biswas and I\u015f\u0131l Dillig. 2024. Programming-by-Demonstration for Long-Horizon Robot Tasks. Proc. ACM Program. Lang. 8 POPL Article 18 (Jan. 2024) 34\u00a0pages. 10.1145\/3632860","DOI":"10.1145\/3632860"},{"key":"e_1_3_3_1_20_2","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168907"},{"key":"e_1_3_3_1_21_2","doi-asserted-by":"publisher","unstructured":"Jialiang Wei Anne-Lise Courbis Thomas Lambolais G\u00e9rard Dray and Walid Maalej. 2025. On AI-Inspired User Interface Design. IEEE Software 42 3 (2025) 50\u201358. 10.1109\/MS.2025.3536838","DOI":"10.1109\/MS.2025.3536838"},{"key":"e_1_3_3_1_22_2","doi-asserted-by":"publisher","DOI":"10.1115\/DETC2024-143139"},{"key":"e_1_3_3_1_23_2","doi-asserted-by":"publisher","DOI":"10.1145\/3563657.3596138"}],"event":{"name":"UIST '25: The 38th Annual ACM Symposium on User Interface Software and Technology","location":"Busan Republic of Korea","acronym":"UIST Adjunct '25","sponsor":["SIGCHI ACM Special Interest Group on Computer-Human Interaction","SIGGRAPH ACM Special Interest Group on Computer Graphics and Interactive Techniques"]},"container-title":["Adjunct Proceedings of the 38th Annual ACM Symposium on User Interface Software and Technology"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3746058.3758454","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3746058.3758454","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,6]],"date-time":"2025-10-06T10:05:11Z","timestamp":1759745111000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3746058.3758454"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,27]]},"references-count":22,"alternative-id":["10.1145\/3746058.3758454","10.1145\/3746058"],"URL":"https:\/\/doi.org\/10.1145\/3746058.3758454","relation":{},"subject":[],"published":{"date-parts":[[2025,9,27]]},"assertion":[{"value":"2025-09-27","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}