{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T11:21:17Z","timestamp":1773141677749,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":65,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,6,9]],"date-time":"2022-06-09T00:00:00Z","timestamp":1654732800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,6,9]]},"DOI":"10.1145\/3519939.3523711","type":"proceedings-article","created":{"date-parts":[[2022,6,2]],"date-time":"2022-06-02T21:05:05Z","timestamp":1654203905000},"page":"152-167","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":21,"title":["WebRobot: web robotic process automation using interactive programming-by-demonstration"],"prefix":"10.1145","author":[{"given":"Rui","family":"Dong","sequence":"first","affiliation":[{"name":"University of Michigan, USA"}]},{"given":"Zhicheng","family":"Huang","sequence":"additional","affiliation":[{"name":"University of Michigan, USA"}]},{"given":"Ian Iong","family":"Lam","sequence":"additional","affiliation":[{"name":"University of Michigan, USA"}]},{"given":"Yan","family":"Chen","sequence":"additional","affiliation":[{"name":"University of Toronto, Canada"}]},{"given":"Xinyu","family":"Wang","sequence":"additional","affiliation":[{"name":"University of Michigan, USA"}]}],"member":"320","published-online":{"date-parts":[[2022,6,9]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Cypress Studio. https:\/\/docs.cypress.io\/guides\/core-concepts\/cypress-studio  Cypress Studio. https:\/\/docs.cypress.io\/guides\/core-concepts\/cypress-studio"},{"key":"e_1_3_2_1_2_1","unstructured":"iMacros. https:\/\/www.progress.com\/imacros  iMacros. https:\/\/www.progress.com\/imacros"},{"key":"e_1_3_2_1_3_1","unstructured":"Robotic Process Automation (RPA). https:\/\/searchcio.techtarget.com\/definition\/RPA  Robotic Process Automation (RPA). https:\/\/searchcio.techtarget.com\/definition\/RPA"},{"key":"e_1_3_2_1_4_1","unstructured":"Selenium IDE. https:\/\/www.selenium.dev\/selenium-ide\/  Selenium IDE. https:\/\/www.selenium.dev\/selenium-ide\/"},{"key":"e_1_3_2_1_5_1","unstructured":"The Remarkable History of Robotic Process Automation (RPA). https:\/\/nandan.info\/history-of-robotic-process-automation-rpa\/  The Remarkable History of Robotic Process Automation (RPA). https:\/\/nandan.info\/history-of-robotic-process-automation-rpa\/"},{"key":"e_1_3_2_1_6_1","unstructured":"UiPath Webinar. https:\/\/www.uipath.com\/webinar-recording\/your-own-idea-robot-studiox?mkt_tok=OTk1LVhMVC04ODYAAAF8uBLrLqPW-QJHu_Hj1dkXeqK4JMZymY9EGBLkwL_2fSN8Kj2iwc09MVhHrBjf7PUkFUKBfYX-x-85mrFVUXZf2LawwpNcRPLTEDaZ9NM1  UiPath Webinar. https:\/\/www.uipath.com\/webinar-recording\/your-own-idea-robot-studiox?mkt_tok=OTk1LVhMVC04ODYAAAF8uBLrLqPW-QJHu_Hj1dkXeqK4JMZymY9EGBLkwL_2fSN8Kj2iwc09MVhHrBjf7PUkFUKBfYX-x-85mrFVUXZf2LawwpNcRPLTEDaZ9NM1"},{"key":"e_1_3_2_1_7_1","unstructured":"UiPath Webinar Slides. https:\/\/start.uipath.com\/rs\/995-XLT-886\/images\/StudioX_Webinar.pdf  UiPath Webinar Slides. https:\/\/start.uipath.com\/rs\/995-XLT-886\/images\/StudioX_Webinar.pdf"},{"key":"e_1_3_2_1_8_1","unstructured":"XPath. https:\/\/en.wikipedia.org\/wiki\/XPath  XPath. https:\/\/en.wikipedia.org\/wiki\/XPath"},{"key":"e_1_3_2_1_9_1","unstructured":"Simone Agostinelli Andrea Marrella and Massimo Mecella. 2020. Towards Intelligent Robotic Process Automation for BPMers. arXiv preprint arXiv:2001.00804.  Simone Agostinelli Andrea Marrella and Massimo Mecella. 2020. Towards Intelligent Robotic Process Automation for BPMers. arXiv preprint arXiv:2001.00804."},{"key":"e_1_3_2_1_10_1","volume-title":"GI Workshops, Saarbrcken. 126\u2013133","author":"Anton Tobias","year":"2005","unstructured":"Tobias Anton . 2005 . XPath-Wrapper Induction by Generalizing Tree Traversal Patterns. In Lernen, Wissensentdeckung und Adaptivitt (LWA) 2005 , GI Workshops, Saarbrcken. 126\u2013133 . Tobias Anton. 2005. XPath-Wrapper Induction by Generalizing Tree Traversal Patterns. In Lernen, Wissensentdeckung und Adaptivitt (LWA) 2005, GI Workshops, Saarbrcken. 126\u2013133."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2984020"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2813885.2737952"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44145-9_5"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-016-9383-3"},{"key":"e_1_3_2_1_15_1","volume-title":"Modern software tools for scientific computing","author":"Boyle James M","unstructured":"James M Boyle , Terence J Harmer , and Victor L Winter . 1997. The TAMPR program transformation system: Simplifying the development of numerical software . In Modern software tools for scientific computing . Springer , 353\u2013372. James M Boyle, Terence J Harmer, and Victor L Winter. 1997. The TAMPR program transformation system: Simplifying the development of numerical software. In Modern software tools for scientific computing. Springer, 353\u2013372."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2740908.2742849"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3242587.3242661"},{"key":"e_1_3_2_1_19_1","volume-title":"Bashon: A Hybrid Crowd-Machine Workflow for Shell Command Synthesis. In 2020 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC). 1\u20138.","author":"Chen Yan","year":"2020","unstructured":"Yan Chen , Jaylin Herskovitz , Walter S Lasecki , and Steve Oney . 2020 . Bashon: A Hybrid Crowd-Machine Workflow for Shell Command Synthesis. In 2020 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC). 1\u20138. Yan Chen, Jaylin Herskovitz, Walter S Lasecki, and Steve Oney. 2020. Bashon: A Hybrid Crowd-Machine Workflow for Shell Command Synthesis. In 2020 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC). 1\u20138."},{"key":"e_1_3_2_1_20_1","unstructured":"Miles Claver Jordan Schmerge Jackson Garner Jake Vossen and Jedidiah McClurg. 2021. ReGiS: Regular Expression Simplification via Rewrite-Guided Synthesis. arXiv preprint arXiv:2104.12039.  Miles Claver Jordan Schmerge Jackson Garner Jake Vossen and Jedidiah McClurg. 2021. ReGiS: Regular Expression Simplification via Rewrite-Guided Synthesis. arXiv preprint arXiv:2104.12039."},{"key":"e_1_3_2_1_21_1","volume-title":"Formal models and semantics","author":"Dershowitz Nachum","unstructured":"Nachum Dershowitz and Jean-Pierre Jouannaud . 1990. Rewrite systems . In Formal models and semantics . Elsevier , 243\u2013320. Nachum Dershowitz and Jean-Pierre Jouannaud. 1990. Rewrite systems. In Formal models and semantics. Elsevier, 243\u2013320."},{"key":"e_1_3_2_1_22_1","volume-title":"Yan Chen, and Xinyu Wang.","author":"Dong Rui","year":"2022","unstructured":"Rui Dong , Zhicheng Huang , Ian Iong Lam , Yan Chen, and Xinyu Wang. 2022 . WebRobot: Web Robotic Process Automation using Interactive Programming-by-Demonstration (Extended Version) . http:\/\/arxiv.org\/abs\/2203.09993. Rui Dong, Zhicheng Huang, Ian Iong Lam, Yan Chen, and Xinyu Wang. 2022. WebRobot: Web Robotic Process Automation using Interactive Programming-by-Demonstration (Extended Version). http:\/\/arxiv.org\/abs\/2203.09993."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3485530"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3379337.3415869"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454046"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2011.5767842"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1925844.1926423"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/543552.512566"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1978942.1979444"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1025671410623"},{"key":"e_1_3_2_1_31_1","volume-title":"Programming by demonstration: a machine learning approach","author":"Lau Tessa Ann","unstructured":"Tessa Ann Lau . 2001. Programming by demonstration: a machine learning approach . University of Washington. Tessa Ann Lau. 2001. Programming by demonstration: a machine learning approach. University of Washington."},{"key":"e_1_3_2_1_32_1","volume-title":"Proceedings of the 4th international conference on Intelligent user interfaces. 145\u2013152","author":"Lau Tessa A","year":"1998","unstructured":"Tessa A Lau and Daniel S Weld . 1998 . Programming by Demonstration: An Inductive Learning Formulation . In Proceedings of the 4th international conference on Intelligent user interfaces. 145\u2013152 . Tessa A Lau and Daniel S Weld. 1998. Programming by Demonstration: An Inductive Learning Formulation. In Proceedings of the 4th international conference on Intelligent user interfaces. 145\u2013152."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594333"},{"key":"e_1_3_2_1_34_1","volume-title":"Fabrizio Maria Maggi, and Artem Polyvyanyy.","author":"Leno Volodymyr","year":"2021","unstructured":"Volodymyr Leno , Adriano Augusto , Marlon Dumas , Marcello La Rosa , Fabrizio Maria Maggi, and Artem Polyvyanyy. 2021 . Discovering Executable Routine Specifications from User Interaction Logs . arXiv preprint arXiv:2106.13446. Volodymyr Leno, Adriano Augusto, Marlon Dumas, Marcello La Rosa, Fabrizio Maria Maggi, and Artem Polyvyanyy. 2021. Discovering Executable Routine Specifications from User Interaction Logs. arXiv preprint arXiv:2106.13446."},{"key":"e_1_3_2_1_35_1","volume-title":"Marlon Dumas, and Fabrizio Maria Maggi.","author":"Leno Volodymyr","year":"2020","unstructured":"Volodymyr Leno , Stanislav Deviatykh , Artem Polyvyanyy , Marcello La Rosa , Marlon Dumas, and Fabrizio Maria Maggi. 2020 . Robidium : Automated Synthesis of Robotic Process Automation Scripts from UI Logs . Volodymyr Leno, Stanislav Deviatykh, Artem Polyvyanyy, Marcello La Rosa, Marlon Dumas, and Fabrizio Maria Maggi. 2020. Robidium: Automated Synthesis of Robotic Process Automation Scripts from UI Logs."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1357054.1357323"},{"key":"e_1_3_2_1_37_1","volume-title":"Tinker: A programming by demonstration system for beginning programmers. In Watch what I do: programming by demonstration. 49\u201364.","author":"Lieberman Henry","year":"1993","unstructured":"Henry Lieberman . 1993 . Tinker: A programming by demonstration system for beginning programmers. In Watch what I do: programming by demonstration. 49\u201364. Henry Lieberman. 1993. Tinker: A programming by demonstration system for beginning programmers. In Watch what I do: programming by demonstration. 49\u201364."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1502650.1502667"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1240624.1240767"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/191666.191722"},{"key":"e_1_3_2_1_41_1","unstructured":"Dan Hua Mo. 1990. Learning Text Editing Procedures from Examples.  Dan Hua Mo. 1990. Learning Text Editing Procedures from Examples."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3472749.3474737"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386012"},{"key":"e_1_3_2_1_44_1","unstructured":"Julie L Newcomb and Rastislav Bodik. 2019. Using human-in-the-loop synthesis to author functional reactive programs. arXiv preprint arXiv:1909.11206.  Julie L Newcomb and Rastislav Bodik. 2019. Using human-in-the-loop synthesis to author functional reactive programs. arXiv preprint arXiv:1909.11206."},{"key":"e_1_3_2_1_45_1","unstructured":"Don Norman. 2013. The design of everyday things: Revised and expanded edition. Basic books.  Don Norman. 2013. The design of everyday things: Revised and expanded edition. Basic books."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v31i1.10633"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454063"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/2813885.2737959"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386001"},{"key":"e_1_3_2_1_50_1","unstructured":"Saikat Ray Arthur Villa Naved Rashid Paul Vincent Keith Guttridge and Melanie Alexander. 2021. Magic Quadrant for Robotic Process Automation. https:\/\/www.gartner.com\/doc\/reprints?id=1-26Q65VFT&ct=210706&st=sb  Saikat Ray Arthur Villa Naved Rashid Paul Vincent Keith Guttridge and Melanie Alexander. 2021. Magic Quadrant for Robotic Process Automation. https:\/\/www.gartner.com\/doc\/reprints?id=1-26Q65VFT&ct=210706&st=sb"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3318464.3380608"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290607.3313266"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290386"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-11245-5_2"},{"key":"e_1_3_2_1_55_1","volume-title":"Program synthesis by sketching","author":"Solar-Lezama Armando","unstructured":"Armando Solar-Lezama . 2008. Program synthesis by sketching . University of California , Berkeley. Armando Solar-Lezama. 2008. Program synthesis by sketching. University of California, Berkeley."},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/3474624.3474650"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/1594834.1480915"},{"key":"e_1_3_2_1_58_1","unstructured":"Alexa VanHattum Rachit Nigam Vincent T Lee James Bornholt and Adrian Sampson. [n.d.]. Vectorization for Digital Signal Processors via Equality Saturation Extended Abstract.  Alexa VanHattum Rachit Nigam Vincent T Lee James Bornholt and Adrian Sampson. [n.d.]. Vectorization for Digital Signal Processors via Equality Saturation Extended Abstract."},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/291251.289425"},{"key":"e_1_3_2_1_60_1","volume-title":"Proceedings of the ACM on Programming Languages, 4, POPL","author":"Wang Chenglong","year":"2019","unstructured":"Chenglong Wang , Yu Feng , Rastislav Bodik , Alvin Cheung , and Isil Dillig . 2019 . Visualization by example . Proceedings of the ACM on Programming Languages, 4, POPL (2019), 1\u201328. Chenglong Wang, Yu Feng, Rastislav Bodik, Alvin Cheung, and Isil Dillig. 2019. Visualization by example. Proceedings of the ACM on Programming Languages, 4, POPL (2019), 1\u201328."},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/3411764.3445249"},{"key":"e_1_3_2_1_62_1","unstructured":"Judith Wewerka and Manfred Reichert. 2020. Robotic Process Automation\u2013A Systematic Literature Review and Assessment Framework. arXiv preprint arXiv:2012.11951.  Judith Wewerka and Manfred Reichert. 2020. Robotic Process Automation\u2013A Systematic Literature Review and Assessment Framework. arXiv preprint arXiv:2012.11951."},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/3434304"},{"key":"e_1_3_2_1_64_1","first-page":"255","article-title":"Equality saturation for tensor graph superoptimization","volume":"3","author":"Yang Yichen","year":"2021","unstructured":"Yichen Yang , Phitchaya Phothilimthana , Yisu Wang , Max Willsey , Sudip Roy , and Jacques Pienaar . 2021 . Equality saturation for tensor graph superoptimization . Proceedings of Machine Learning and Systems , 3 (2021), 255 \u2013 268 . Yichen Yang, Phitchaya Phothilimthana, Yisu Wang, Max Willsey, Sudip Roy, and Jacques Pienaar. 2021. Equality saturation for tensor graph superoptimization. Proceedings of Machine Learning and Systems, 3 (2021), 255\u2013268.","journal-title":"Proceedings of Machine Learning and Systems"},{"key":"e_1_3_2_1_65_1","unstructured":"Dell Zhang Alexander Kuhnle Julian Richardson and Murat Sensoy. 2020. Process Discovery for Structured Program Synthesis. arXiv preprint arXiv:2008.05804.  Dell Zhang Alexander Kuhnle Julian Richardson and Murat Sensoy. 2020. Process Discovery for Structured Program Synthesis. arXiv preprint arXiv:2008.05804."},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/3379337.3415900"}],"event":{"name":"PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation","location":"San Diego CA USA","acronym":"PLDI '22","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3519939.3523711","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3519939.3523711","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:10:30Z","timestamp":1750183830000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3519939.3523711"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,9]]},"references-count":65,"alternative-id":["10.1145\/3519939.3523711","10.1145\/3519939"],"URL":"https:\/\/doi.org\/10.1145\/3519939.3523711","relation":{},"subject":[],"published":{"date-parts":[[2022,6,9]]},"assertion":[{"value":"2022-06-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}