{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,13]],"date-time":"2026-04-13T23:16:45Z","timestamp":1776122205537,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,12,21]],"date-time":"2020-12-21T00:00:00Z","timestamp":1608508800000},"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, 2017M3C4A7068177"],"award-info":[{"award-number":["NRF-2017R1A2B3012020, 2017M3C4A7068177"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,12,21]]},"DOI":"10.1145\/3324884.3416632","type":"proceedings-article","created":{"date-parts":[[2021,1,27]],"date-time":"2021-01-27T23:39:02Z","timestamp":1611790742000},"page":"647-658","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":16,"title":["JISET"],"prefix":"10.1145","author":[{"given":"Jihyeok","family":"Park","sequence":"first","affiliation":[{"name":"KAIST, South Korea"}]},{"given":"Jihee","family":"Park","sequence":"additional","affiliation":[{"name":"KAIST, South Korea"}]},{"given":"Seungmin","family":"An","sequence":"additional","affiliation":[{"name":"KAIST, South Korea"}]},{"given":"Sukyoung","family":"Ryu","sequence":"additional","affiliation":[{"name":"KAIST, South Korea"}]}],"member":"320","published-online":{"date-parts":[[2021,1,27]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Standard ECMA-262 5.1 Edition ECMAScript Language Specification. (2011). Retrieved","year":"2020","unstructured":"2011. Standard ECMA-262 5.1 Edition ECMAScript Language Specification. (2011). Retrieved May 8, 2020 from https:\/\/ecma-international.org\/ecma-262\/5.1\/"},{"key":"e_1_3_2_1_2_1","volume-title":"Standard ECMA-262","year":"2015","unstructured":"2015. Standard ECMA-262 6th Edition ECMAScript 2015 Language Specification. (2015). Retrieved May 8, 2020 from https:\/\/ecma-international.org\/ecma-262\/6.0\/","edition":"6"},{"key":"e_1_3_2_1_3_1","volume-title":"Espruino - JavaScript for Microcontrollers. (2019). Retrieved","year":"2020","unstructured":"2019. Espruino - JavaScript for Microcontrollers. (2019). Retrieved May 8, 2020 from https:\/\/www.espruino.com\/"},{"key":"e_1_3_2_1_4_1","volume-title":"GitHub repository for ECMAScript proposals. (2019). Retrieved","year":"2020","unstructured":"2019. GitHub repository for ECMAScript proposals. (2019). Retrieved May 8, 2020 from https:\/\/github.com\/tc39\/proposals"},{"key":"e_1_3_2_1_5_1","volume-title":"Retrieved","author":"Open-Source MEAN.JS","year":"2019","unstructured":"2019. MEAN.JS - Open-Source Full-Stack Solution for MEAN Applications. (2019). Retrieved May 8, 2020 from https:\/\/meanjs.org\/"},{"key":"e_1_3_2_1_6_1","volume-title":"Retrieved","author":"A JavaScript","year":"2019","unstructured":"2019. Node.js - A JavaScript runtime built on Chrome's V8 JavaScript engine. (2019). Retrieved May 8, 2020 from https:\/\/nodejs.org\/"},{"key":"e_1_3_2_1_7_1","volume-title":"Standard ECMA-262","year":"2019","unstructured":"2019. Standard ECMA-262 10th Edition ECMAScript 2019 Language Specification. (2019). Retrieved May 8, 2020 from https:\/\/ecma-international.org\/ecma-262\/10.0\/","edition":"10"},{"key":"e_1_3_2_1_8_1","volume-title":"Retrieved","year":"2019","unstructured":"2019. TC39 - ECMAScript. (2019). Retrieved May 8, 2020 from https:\/\/www.ecma-international.org\/memento\/tc39-m.htm"},{"key":"e_1_3_2_1_9_1","volume-title":"Tessel 2 is a robust IoT and robotics development platform. (2019). Retrieved","year":"2020","unstructured":"2019. Tessel 2 is a robust IoT and robotics development platform. (2019). Retrieved May 8, 2020 from https:\/\/tessel.io\/"},{"key":"e_1_3_2_1_10_1","volume-title":"Test262: ECMAScript Test Suite. (2019). Retrieved","year":"2020","unstructured":"2019. Test262: ECMAScript Test Suite. (2019). Retrieved May 8, 2020 from https:\/\/github.com\/tc39\/test262"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/365813.365821"},{"key":"e_1_3_2_1_13_1","volume-title":"The theory of Parsing. Translation and Compiling 1","author":"Aho Alfred V","year":"1972","unstructured":"Alfred V Aho and Jeffrey D Ullman. 1973. The theory of Parsing. Translation and Compiling 1, 1972 (1973)."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/581478.581483"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964011"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158138"},{"key":"e_1_3_2_1_18_1","volume-title":"The Essence of Javascript. In In Proceedings of the 24th European Conference on Object-oriented Programming (ECOOP'10)","author":"Guha Arjun","year":"2010","unstructured":"Arjun Guha, Claudiu Saftoiu, and Shriram Krishnamurthi. 2010. The Essence of Javascript. In In Proceedings of the 24th European Conference on Object-oriented Programming (ECOOP'10). Springer-Verlag, Berlin, Heidelberg, 126--150. http:\/\/dl.acm.org\/citation.cfm?id=1883978.1883988"},{"key":"e_1_3_2_1_19_1","volume-title":"Type Analysis for JavaScript. In In Proceedings of the International Symposium on Static Analysis. 238--255","author":"Jensen Simon Holm","year":"2009","unstructured":"Simon Holm Jensen, Anders M\u00f8ller, and Peter Thiemann. 2009. Type Analysis for JavaScript. In In Proceedings of the International Symposium on Static Analysis. 238--255."},{"key":"e_1_3_2_1_20_1","volume-title":"JSAI: A Static Analysis Platform for JavaScript. In In Proceedings of the International Symposium on Foundations of Software Engineering. 121--132","author":"Kashyap Vineeth","year":"2014","unstructured":"Vineeth Kashyap, Kyle Dewey, Ethan A. Kuefner, John Wagner, Kevin Gibbons, John Sarracino, Ben Wiedermann, and Ben Hardekopf. 2014. JSAI: A Static Analysis Platform for JavaScript. In In Proceedings of the International Symposium on Foundations of Software Engineering. 121--132."},{"key":"e_1_3_2_1_21_1","volume-title":"An Operational Semantics for JavaScript. In In Proceedings of the Asian Symposium on Programming Languages and Systems (APLAS '08)","author":"Maffeis Sergio","year":"2008","unstructured":"Sergio Maffeis, John C. Mitchell, and Ankur Taly. 2008. An Operational Semantics for JavaScript. In In Proceedings of the Asian Symposium on Programming Languages and Systems (APLAS '08). 307--325."},{"key":"e_1_3_2_1_22_1","volume-title":"Automatic extraction ofx86 formal semantics from its natural language description. Information Science","author":"Nguyen HLY","year":"2018","unstructured":"HLY Nguyen. 2018. Automatic extraction ofx86 formal semantics from its natural language description. Information Science (2018)."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECOOP.2015.735"},{"key":"e_1_3_2_1_24_1","volume-title":"KJS: A Complete Formal Semantics of JavaScript (Slides).","author":"Park Daejun","year":"2015","unstructured":"Daejun Park. 2015. KJS: A Complete Formal Semantics of JavaScript (Slides). (2015). Retrieved May 8, 2020 from https:\/\/daejunpark.github.io\/2015-06-16-park-stefanescu-rosu-PLDI.pdf"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737991"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660202"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2010.03.012"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","unstructured":"Elizabeth Scott and Adrian Johnstone. 2010. GLL Parsing. In Electronic Notes in Theoretical Computer Science. 10.1016\/j.entcs.2010.08.041","DOI":"10.1016\/j.entcs.2010.08.041"},{"key":"e_1_3_2_1_29_1","volume-title":"Correlation Tracking for Points-to Analysis of JavaScript. In In Proceedings of the European Conference on Object-Oriented Programming.","author":"Sridharan Manu","year":"2012","unstructured":"Manu Sridharan, Julian Dolby, Satish Chandra, Max Sch\u00e4fer, and Frank Tip. 2012. Correlation Tracking for Points-to Analysis of JavaScript. In In Proceedings of the European Conference on Object-Oriented Programming."},{"key":"e_1_3_2_1_30_1","first-page":"756","article-title":"An Efficient Context-Free Parsing Algorithm for Natural Languages","volume":"2","author":"Tomita Masaru","year":"1985","unstructured":"Masaru Tomita. 1985. An Efficient Context-Free Parsing Algorithm for Natural Languages.. In IJCAI, Vol. 2. 756--764.","journal-title":"IJCAI"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-30942-8_28"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328408.1328424"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884881"}],"event":{"name":"ASE '20: 35th IEEE\/ACM International Conference on Automated Software Engineering","location":"Virtual Event Australia","acronym":"ASE '20","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"]},"container-title":["Proceedings of the 35th IEEE\/ACM International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3324884.3416632","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3324884.3416632","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:47:22Z","timestamp":1750193242000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3324884.3416632"}},"subtitle":["JavaScript IR-based semantics extraction toolchain"],"short-title":[],"issued":{"date-parts":[[2020,12,21]]},"references-count":31,"alternative-id":["10.1145\/3324884.3416632","10.1145\/3324884"],"URL":"https:\/\/doi.org\/10.1145\/3324884.3416632","relation":{},"subject":[],"published":{"date-parts":[[2020,12,21]]},"assertion":[{"value":"2021-01-27","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}