{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,2]],"date-time":"2025-08-02T19:01:42Z","timestamp":1754161302394,"version":"3.41.2"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","funder":[{"name":"National Research Foundation of Korea(NRF) grant funded by the Korea government(MSIT)","award":["RS-2024-00344597"],"award-info":[{"award-number":["RS-2024-00344597"]}]},{"name":"Institute of Information & Communications Technology Planning & Evaluation(IITP) grant funded by the Korea government(MSIT)","award":["RS-2024-00440780"],"award-info":[{"award-number":["RS-2024-00440780"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,23]]},"DOI":"10.1145\/3696630.3728579","type":"proceedings-article","created":{"date-parts":[[2025,7,28]],"date-time":"2025-07-28T19:09:27Z","timestamp":1753729767000},"page":"1050-1054","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["JSSpecVis: A JavaScript Language Specification Visualization Tool"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-2128-3410","authenticated-orcid":false,"given":"Minseok","family":"Choe","sequence":"first","affiliation":[{"name":"Department of Computer Science and Engineering, Korea University, Seoul, Republic of Korea"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-6620-5976","authenticated-orcid":false,"given":"Kyungho","family":"Song","sequence":"additional","affiliation":[{"name":"Sogang University, Seoul, Republic of Korea"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-7036-708X","authenticated-orcid":false,"given":"Hyunjoon","family":"Kim","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, Korea University, Seoul, Republic of Korea"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8387-1984","authenticated-orcid":false,"given":"Jihyeok","family":"Park","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, Korea University, Seoul, Republic of Korea"}]}],"member":"320","published-online":{"date-parts":[[2025,7,28]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2024. ESMeta: An ECMAScript specification metalanguage used for automatically generating language-based tools. https:\/\/github.com\/es-meta\/esmeta"},{"key":"e_1_3_2_1_2_1","volume-title":"Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). 10","author":"Bodin Martin","year":"2014","unstructured":"Martin Bodin, Arthur Chargueraud, Daniele Filaretti, Philippa Gardner, Sergio Maffeis, Daiva Naudziuniene, Alan Schmitt, and Gareth Smith. 2014. A Trusted Mechanised JavaScript Specification. In Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). 10.1145\/2535838.2535876"},{"key":"e_1_3_2_1_3_1","volume-title":"JSExplain: A Double Debugger for JavaScript. In Companion Proceedings of the The Web Conference (WWW). 10","author":"Chargu\u00e9raud Arthur","year":"2018","unstructured":"Arthur Chargu\u00e9raud, Alan Schmitt, and Thomas Wood. 2018. JSExplain: A Double Debugger for JavaScript. In Companion Proceedings of the The Web Conference (WWW). 10.1145\/3184558.3185969"},{"key":"e_1_3_2_1_4_1","first-page":"10","volume-title":"Proc. ACM Program. Lang. 8, ICFP, Article 270 (Aug.","author":"Santo No\u00e9 De","year":"2024","unstructured":"No\u00e9 De Santo, Aur\u00e8le Barri\u00e8re, and Cl\u00e9ment Pit-Claudel. 2024. A Coq Mechanization of JavaScript Regular Expression Semantics. Proc. ACM Program. Lang. 8, ICFP, Article 270 (Aug. 2024), 29 pages. 10.1145\/3674666"},{"key":"e_1_3_2_1_5_1","volume-title":"ECMA-262","author":"International ECMA","year":"2024","unstructured":"ECMA International. 2024. ECMA-262, 15th edition, ECMAScript \u00ae2024 Language Specification. https:\/\/tc39.es\/ecma262\/2024","edition":"15"},{"key":"e_1_3_2_1_6_1","unstructured":"ECMA International. 2024. Test262: A conformanece test suite for the latest draft of ECMAScript. https:\/\/github.com\/tc39\/test262"},{"key":"e_1_3_2_1_7_1","first-page":"10","volume-title":"Proc. ACM Program. Lang. 2, POPL, Article 50 (Dec.","author":"Santos Jos\u00e9 Fragoso","year":"2017","unstructured":"Jos\u00e9 Fragoso Santos, Petar Maksimovi\u0107, Daiva Naud\u017ei\u016bnienundefined, Thomas Wood, and Philippa Gardner. 2017. JaVerT: JavaScript verification toolchain. Proc. ACM Program. Lang. 2, POPL, Article 50 (Dec. 2017), 33 pages. 10.1145\/3158138"},{"volume-title":"Proceedings of the 30th Annual ACM Symposium on User Interface Software and Technology (UIST). 737\u2013745","author":"Kang Hyeonsu","key":"e_1_3_2_1_8_1","unstructured":"Hyeonsu Kang and Philip J. Guo. 2017. Omnicode: A Novice-Oriented Live Programming Environment with Always-On Run-Time Value Visualizations. In Proceedings of the 30th Annual ACM Symposium on User Interface Software and Technology (UIST). 737\u2013745. 10.1145\/3126594.3126632"},{"key":"e_1_3_2_1_9_1","volume-title":"JFLA 2021-Journ\u00e9es Francophones des Langages Applicatifs. 1\u201322","author":"Khayam Adam","year":"2021","unstructured":"Adam Khayam, Louis Noizet, and Alan Schmitt. 2021. JSkel: Towards a Formalization of JavaScript's Semantics. In JFLA 2021-Journ\u00e9es Francophones des Langages Applicatifs. 1\u201322."},{"key":"e_1_3_2_1_10_1","first-page":"10","volume-title":"Proc. ACM Program. Lang. 3, POPL, Article 14 (Jan.","author":"Omar Cyrus","year":"2019","unstructured":"Cyrus Omar, Ian Voysey, Ravi Chugh, and Matthew A. Hammer. 2019. Live functional programming with typed holes. Proc. ACM Program. Lang. 3, POPL, Article 14 (Jan. 2019), 32 pages. 10.1145\/3290327"},{"key":"e_1_3_2_1_11_1","volume-title":"Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"Park Daejun","year":"2015","unstructured":"Daejun Park, Andrei Stef\u0103nescu, and Grigore Ro\u015fu. 2015. KJS: a complete formal semantics of JavaScript. In Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation (Portland, OR, USA) (PLDI '15). Association for Computing Machinery, New York, NY, USA, 346\u2013356. 10.1145\/2737924.2737991"},{"key":"e_1_3_2_1_12_1","volume-title":"Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE). 10","author":"Park Jihyeok","year":"2022","unstructured":"Jihyeok Park, Seungmin An, and Sukyoung Ryu. 2022. Automatically Deriving JavaScript Static Analyzers from Specifications Using Meta-Level Static Analysis. In Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE). 10.1145\/3540250.3549097"},{"key":"e_1_3_2_1_13_1","volume-title":"Proceedings of the 36th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 10","author":"Park Jihyeok","year":"2021","unstructured":"Jihyeok Park, Seungmin An, Wonho Shin, Yusung Sim, and Sukyoung Ryu. 2021. JSTAR: JavaScript Specification Type Analyzer using Refinement. In Proceedings of the 36th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 10.1109\/ASE51524.2021.9678781"},{"key":"e_1_3_2_1_14_1","volume-title":"Proceedings of IEEE\/ACM 43rd International Conference on Software Engineering (ICSE). IEEE, 13\u201324","author":"Park Jihyeok","year":"2021","unstructured":"Jihyeok Park, Seungmin An, Dongjun Youn, Gyeongwon Kim, and Sukyoung Ryu. 2021. JEST: N+1-version Differential Testing of Both JavaScript Engines and Specification. In Proceedings of IEEE\/ACM 43rd International Conference on Software Engineering (ICSE). IEEE, 13\u201324. 10.1109\/ICSE43902.2021.00015"},{"key":"e_1_3_2_1_15_1","volume-title":"Proceedings of the 35th IEEE\/ACM International Conference on Automated Software Engineering (ASE). IEEE, 647\u2013658","author":"Park Jihyeok","year":"2020","unstructured":"Jihyeok Park, Jihee Park, Seungmin An, and Sukyoung Ryu. 2020. JISET: JavaScript IR-based Semantics Extraction Toolchain. In Proceedings of the 35th IEEE\/ACM International Conference on Automated Software Engineering (ASE). IEEE, 647\u2013658. 10.1145\/3324884.3416632"},{"key":"e_1_3_2_1_16_1","first-page":"10","volume-title":"Proc. ACM Program. Lang. 7, PLDI, Article 126","author":"Park Jihyeok","year":"2023","unstructured":"Jihyeok Park, Dongjun Youn, Kanguk Lee, and Sukyoung Ryu. 2023. Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations. Proc. ACM Program. Lang. 7, PLDI, Article 126, 23 pages. 10.1145\/3591240"},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis","author":"Ramos Frederico","year":"2023","unstructured":"Frederico Ramos, Diogo Costa Reis, Miguel Trigo, Ant\u00f3nio Morgado, and Jos\u00e9 Fragoso Santos. 2023. MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations. In Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis (Seattle, WA, USA) (ISSTA 2023). Association for Computing Machinery, New York, NY, USA, 1499\u20131502. 10.1145\/3597926.3604923"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3624723"},{"key":"e_1_3_2_1_19_1","volume-title":"2013 1st International Workshop on Live Programming (LIVE). 31\u201334","author":"Tanimoto Steven L.","year":"2013","unstructured":"Steven L. Tanimoto. 2013. A perspective on the evolution of live programming. In 2013 1st International Workshop on Live Programming (LIVE). 31\u201334. 10.1109\/LIVE.2013.6617346"},{"volume-title":"Proceedings of the ACM SIGCHI Conference on Human Factors in Computing Systems","author":"Wilcox E. M.","key":"e_1_3_2_1_20_1","unstructured":"E. M. Wilcox, J. W. Atwood, M. M. Burnett, J. J. Cadiz, and C. R. Cook. 1997. Does continuous visual feedback aid debugging in direct-manipulation programming systems?. In Proceedings of the ACM SIGCHI Conference on Human Factors in Computing Systems (Atlanta, Georgia, USA) (CHI '97). Association for Computing Machinery, New York, NY, USA, 258\u2013265. 10.1145\/258549.258721"}],"event":{"name":"FSE Companion '25: 33rd ACM International Conference on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Clarion Hotel Trondheim Trondheim Norway","acronym":"FSE Companion '25"},"container-title":["Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3696630.3728579","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,28]],"date-time":"2025-07-28T19:14:39Z","timestamp":1753730079000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3696630.3728579"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,23]]},"references-count":20,"alternative-id":["10.1145\/3696630.3728579","10.1145\/3696630"],"URL":"https:\/\/doi.org\/10.1145\/3696630.3728579","relation":{},"subject":[],"published":{"date-parts":[[2025,6,23]]},"assertion":[{"value":"2025-07-28","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}