{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,2]],"date-time":"2026-03-02T00:31:13Z","timestamp":1772411473043,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":44,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,8,18]],"date-time":"2021-08-18T00:00:00Z","timestamp":1629244800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"National Research Foundation of Korea (NRF)","award":["NRF-2017R1A2B3012020 and 2017M3C4A7068177"],"award-info":[{"award-number":["NRF-2017R1A2B3012020 and 2017M3C4A7068177"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,8,20]]},"DOI":"10.1145\/3468264.3468556","type":"proceedings-article","created":{"date-parts":[[2021,8,19]],"date-time":"2021-08-19T01:40:20Z","timestamp":1629337220000},"page":"1129-1140","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Accelerating JavaScript static analysis via dynamic shortcuts"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9368-7347","authenticated-orcid":false,"given":"Joonyoung","family":"Park","sequence":"first","affiliation":[{"name":"KAIST, South Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8387-1984","authenticated-orcid":false,"given":"Jihyeok","family":"Park","sequence":"additional","affiliation":[{"name":"KAIST, South Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5766-2035","authenticated-orcid":false,"given":"Dongjun","family":"Youn","sequence":"additional","affiliation":[{"name":"KAIST, South Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0019-9772","authenticated-orcid":false,"given":"Sukyoung","family":"Ryu","sequence":"additional","affiliation":[{"name":"KAIST, South Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,8,18]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2020. Electron - A framework for cross-platform desktop apps with JavaScript HTML and CSS. https:\/\/www.electronjs.org\/  2020. Electron - A framework for cross-platform desktop apps with JavaScript HTML and CSS. https:\/\/www.electronjs.org\/"},{"key":"e_1_3_2_1_2_1","unstructured":"2020. Espruino - An open-source JavaScript interpreter for microcontrollers. https:\/\/www.espruino.com\/  2020. Espruino - An open-source JavaScript interpreter for microcontrollers. https:\/\/www.espruino.com\/"},{"key":"e_1_3_2_1_3_1","unstructured":"2020. Lodash - A modern JavaScript library delivering modularity performance and extras. https:\/\/lodash.com\/  2020. Lodash - A modern JavaScript library delivering modularity performance and extras. https:\/\/lodash.com\/"},{"key":"e_1_3_2_1_4_1","unstructured":"2020. Moddable - Tools to create open IoT products using standard JavaScript on low cast microcontrollers. https:\/\/www.moddable.com\/  2020. Moddable - Tools to create open IoT products using standard JavaScript on low cast microcontrollers. https:\/\/www.moddable.com\/"},{"key":"e_1_3_2_1_5_1","unstructured":"2020. Node.js - A JavaScript runtime built on Chrome\u2019s V8 JavaScript engine. https:\/\/nodejs.org\/  2020. Node.js - A JavaScript runtime built on Chrome\u2019s V8 JavaScript engine. https:\/\/nodejs.org\/"},{"key":"e_1_3_2_1_6_1","unstructured":"2020. React Native - A framework for building native apps using React. https:\/\/reactnative.dev\/  2020. React Native - A framework for building native apps using React. https:\/\/reactnative.dev\/"},{"key":"e_1_3_2_1_7_1","volume-title":"Standard ECMA-262","year":"2015","unstructured":"2020. Standard ECMA-262 6 th Edition, ECMAScript 2015 Language Specification . https:\/\/262.ecma-international.org\/6.0\/ 2020. Standard ECMA-262 6th Edition, ECMAScript 2015 Language Specification. https:\/\/262.ecma-international.org\/6.0\/","edition":"6"},{"key":"e_1_3_2_1_8_1","unstructured":"2020. SunSpider Javascript Benchmark. https:\/\/webkit.org\/perf\/sunspider\/sunspider.html  2020. SunSpider Javascript Benchmark. https:\/\/webkit.org\/perf\/sunspider\/sunspider.html"},{"key":"e_1_3_2_1_9_1","unstructured":"2020. Zoom - A videotelephony software program developed by Zoom Video Communications. https:\/\/zoom.us\/  2020. Zoom - A videotelephony software program developed by Zoom Video Communications. https:\/\/zoom.us\/"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54577-5_3"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635916"},{"key":"e_1_3_2_1_12_1","volume-title":"Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI). 8, 209\u2013224","author":"Cadar Cristian","year":"2008","unstructured":"Cristian Cadar , Daniel Dunbar , and Dawson Engler . 2008 . KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs . In Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI). 8, 209\u2013224 . https:\/\/dl.acm.org\/doi\/10.5555\/1855741.1855756 Cristian Cadar, Daniel Dunbar, and Dawson Engler. 2008. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. In Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI). 8, 209\u2013224. https:\/\/dl.acm.org\/doi\/10.5555\/1855741.1855756"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/2.4.511"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2093548.2093564"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2771809"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786875"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03237-0_17"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635904"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3230624"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-71237-6_8"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2676"},{"key":"e_1_3_2_1_25_1","volume-title":"Proceedings of 19th International Workshop on Foundations of Object-Oriented Languages (FOOL).","author":"Lee Hongki","year":"2012","unstructured":"Hongki Lee , Sooncheol Won , Joonho Jin , Junhee Cho , and Sukyoung Ryu . 2012 . SAFE: Formal Specification and Implementation of a Scalable Analysis Framework for ECMAScript . In Proceedings of 19th International Workshop on Foundations of Object-Oriented Languages (FOOL). Hongki Lee, Sooncheol Won, Joonho Jin, Junhee Cho, and Sukyoung Ryu. 2012. SAFE: Formal Specification and Implementation of a Scalable Analysis Framework for ECMAScript. In Proceedings of 19th International Workshop on Foundations of Object-Oriented Languages (FOOL)."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54807-9_12"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159803.1159807"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECOOP.2020.16"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2989225.2989228"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2676"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECOOP.2015.735"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2584469.2584472"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-16722-6_3"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2889160.2889227"},{"key":"e_1_3_2_1_35_1","unstructured":"Joonyoung Park Jihyeok Park Dongjun Youn and Sukyoung Ryu. 2021. Accelerating JavaScript Static Analysis via Dynamic Shortcuts (Extended Version). arxiv:2105.13699  Joonyoung Park Jihyeok Park Dongjun Youn and Sukyoung Ryu. 2021. Accelerating JavaScript Static Analysis via Dynamic Shortcuts (Extended Version). arxiv:2105.13699"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3088515.3088516"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-C.2017.4"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-89363-1_8"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2499370.2462168"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491447"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31057-7_20"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360566"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290356"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483788"}],"event":{"name":"ESEC\/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","location":"Athens Greece","acronym":"ESEC\/FSE '21","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3468264.3468556","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3468264.3468556","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:24:50Z","timestamp":1750195490000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3468264.3468556"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,8,18]]},"references-count":44,"alternative-id":["10.1145\/3468264.3468556","10.1145\/3468264"],"URL":"https:\/\/doi.org\/10.1145\/3468264.3468556","relation":{},"subject":[],"published":{"date-parts":[[2021,8,18]]},"assertion":[{"value":"2021-08-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}