{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T08:42:58Z","timestamp":1780994578973,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,4,12]],"date-time":"2024-04-12T00:00:00Z","timestamp":1712880000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100003725","name":"National Research Foundation of Korea","doi-asserted-by":"publisher","award":["2021R1A5A1021944"],"award-info":[{"award-number":["2021R1A5A1021944"]}],"id":[{"id":"10.13039\/501100003725","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003725","name":"National Research Foundation of Korea","doi-asserted-by":"publisher","award":["2021R1C1C1003876"],"award-info":[{"award-number":["2021R1C1C1003876"]}],"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":[[2024,4,12]]},"DOI":"10.1145\/3597503.3639189","type":"proceedings-article","created":{"date-parts":[[2024,4,12]],"date-time":"2024-04-12T16:43:26Z","timestamp":1712940206000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Translation Validation for JIT Compiler in the V8 JavaScript Engine"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-7774-2147","authenticated-orcid":false,"given":"Seungwan","family":"Kwon","sequence":"first","affiliation":[{"name":"KAIST, Daejeon, United States of America"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-1927-5077","authenticated-orcid":false,"given":"Jaeseong","family":"Kwon","sequence":"additional","affiliation":[{"name":"KAIST, Daejeon, Korea"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9318-1511","authenticated-orcid":false,"given":"Wooseok","family":"Kang","sequence":"additional","affiliation":[{"name":"KAIST, Daejeon, Korea"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8152-9330","authenticated-orcid":false,"given":"Juneyoung","family":"Lee","sequence":"additional","affiliation":[{"name":"Amazon Web Services, Seattle, Washington, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2671-0142","authenticated-orcid":false,"given":"Kihong","family":"Heo","sequence":"additional","affiliation":[{"name":"KAIST, Daejeon, Korea"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,4,12]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"SMT-Based Translation Validation for Machine Learning Compiler. In International Conference on Computer Aided Verification (CAV). Springer.","author":"Bang Seongwon","year":"2022","unstructured":"Seongwon Bang, Seunghyeon Nam, Inwhan Chun, Ho Young Jhoo, and Juneyoung Lee. 2022. SMT-Based Translation Validation for Machine Learning Compiler. In International Conference on Computer Aided Verification (CAV). Springer."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3434327"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3571202"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3548606.3560624"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3395642"},{"key":"e_1_3_2_1_6_1","unstructured":"Chromium. 2016. Chromium Bug Tracker. https:\/\/bugs.chromium.org\/p\/chromium\/issues\/list"},{"key":"e_1_3_2_1_7_1","unstructured":"Chromium. 2020. Issue 1126249. https:\/\/bugs.chromium.org\/p\/chromium\/issues\/detail?id=1126249"},{"key":"e_1_3_2_1_8_1","unstructured":"Chromium. 2021. Issue 1195650. https:\/\/bugs.chromium.org\/p\/chromium\/issues\/detail?id=1195650"},{"key":"e_1_3_2_1_9_1","unstructured":"Chromium. 2021. Issue 1198705. https:\/\/bugs.chromium.org\/p\/chromium\/issues\/detail?id=1198705"},{"key":"e_1_3_2_1_10_1","unstructured":"Chromium. 2021. Issue 1199345. https:\/\/bugs.chromium.org\/p\/chromium\/issues\/detail?id=1199345"},{"key":"e_1_3_2_1_11_1","unstructured":"Chromium. 2021. Issue 1200490. https:\/\/bugs.chromium.org\/p\/chromium\/issues\/detail?id=1200490"},{"key":"e_1_3_2_1_12_1","unstructured":"Chromium. 2021. Issue 1234764. https:\/\/bugs.chromium.org\/p\/chromium\/issues\/detail?id=1234764"},{"key":"e_1_3_2_1_13_1","unstructured":"Chromium. 2021. Issue 1234770. https:\/\/bugs.chromium.org\/p\/chromium\/issues\/detail?id=1234770"},{"key":"e_1_3_2_1_14_1","unstructured":"Chromium. 2022. Issue 1323114. https:\/\/bugs.chromium.org\/p\/chromium\/issues\/detail?id=1323114"},{"key":"e_1_3_2_1_15_1","unstructured":"Chromium. 2023. Issue 1404607. https:\/\/bugs.chromium.org\/p\/chromium\/issues\/detail?id=1404607"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/201059.201061"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3178372.3179503"},{"key":"e_1_3_2_1_18_1","unstructured":"ECMA International. 2022. ECMA-262 - ECMAScript Language Specification. https:\/\/www.ecma-international.org\/publications-and-standards\/standards\/ecma-262\/"},{"key":"e_1_3_2_1_19_1","unstructured":"Google. 2008. V8. https:\/\/v8.dev"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2019.23263"},{"key":"e_1_3_2_1_21_1","unstructured":"Igor Sheludko and Santiago Aboy Solanes. 2020. Pointer Compression. https:\/\/v8.dev\/blog\/pointer-compression"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594334"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-81688-9_35"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454030"},{"key":"e_1_3_2_1_25_1","unstructured":"Meta. 2022. React Native. https:\/\/reactnative.dev"},{"key":"e_1_3_2_1_26_1","unstructured":"Mozilla Security. 2007. Funfuzz. https:\/\/github.com\/MozillaSecurity\/funfuzz"},{"key":"e_1_3_2_1_27_1","unstructured":"OpenJS Foundation. 2022. Electron. https:\/\/www.electronjs.org"},{"key":"e_1_3_2_1_28_1","unstructured":"OpenJS Foundation. 2022. JerryScript. https:\/\/jerryscript.net"},{"key":"e_1_3_2_1_29_1","unstructured":"OpenJS Foundation. 2022. NodeJS. https:\/\/nodejs.org"},{"key":"e_1_3_2_1_30_1","volume-title":"Fuzzing JavaScript Engines with Aspect-preserving Mutation. In IEEE Symposium on Security and Privacy (SP). IEEE.","author":"Park Soyeon","year":"2020","unstructured":"Soyeon Park, Wen Xu, Insu Yun, Daehee Jang, and Taesoo Kim. 2020. Fuzzing JavaScript Engines with Aspect-preserving Mutation. In IEEE Symposium on Security and Privacy (SP). IEEE."},{"key":"e_1_3_2_1_31_1","volume-title":"Translation Validation. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS).","author":"Pnueli A.","unstructured":"A. Pnueli, M. Siegel, and E. Singerman. 1998. Translation Validation. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)."},{"key":"e_1_3_2_1_32_1","unstructured":"Samuel Gro\u00df. 2022. Fuzzilli. https:\/\/github.com\/googleprojectzero\/fuzzilli"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462183"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-53291-8_9"},{"key":"e_1_3_2_1_35_1","unstructured":"The Hybrid Group. 2022. Cylon.Js. https:\/\/cylonjs.com"},{"key":"e_1_3_2_1_36_1","volume-title":"FuzzJIT: Oracle-enhanced Fuzzing for JavaScript Engine JIT Compiler. In USENIX Security Symposium (Security). USENIX Association.","author":"Wang Junjie","year":"2023","unstructured":"Junjie Wang, Xiaoning Du Zhiyi Zhang, Shuang Liu, and Junjie Chen. 2023. FuzzJIT: Oracle-enhanced Fuzzing for JavaScript Engine JIT Compiler. In USENIX Security Symposium (Security). USENIX Association."},{"key":"e_1_3_2_1_37_1","unstructured":"World Wide Web Consortium. 2022. Webassembly ABIs. https:\/\/www.webassembly.guide\/webassembly-guide\/webassembly\/wasm-abis"},{"key":"e_1_3_2_1_38_1","unstructured":"World Wide Web Consortium. 2023. Webassembly Organization Web Page. https:\/\/webassembly.org\/"},{"key":"e_1_3_2_1_39_1","unstructured":"World Wide Web Consortium. 2023. WebAssembly Specification. https:\/\/webassembly.github.io\/spec\/core\/"}],"event":{"name":"ICSE '24: IEEE\/ACM 46th International Conference on Software Engineering","location":"Lisbon Portugal","acronym":"ICSE '24","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS","Faculty of Engineering of University of Porto"]},"container-title":["Proceedings of the IEEE\/ACM 46th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597503.3639189","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3597503.3639189","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:49:13Z","timestamp":1750286953000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597503.3639189"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,12]]},"references-count":39,"alternative-id":["10.1145\/3597503.3639189","10.1145\/3597503"],"URL":"https:\/\/doi.org\/10.1145\/3597503.3639189","relation":{},"subject":[],"published":{"date-parts":[[2024,4,12]]},"assertion":[{"value":"2024-04-12","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}