{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,8]],"date-time":"2026-10-08T11:35:00Z","timestamp":1791459300793,"version":"4.3.4"},"publisher-location":"New York, NY, USA","reference-count":63,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,10,23]],"date-time":"2023-10-23T00:00:00Z","timestamp":1698019200000},"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":[[2023,10,23]]},"DOI":"10.1145\/3600006.3613140","type":"proceedings-article","created":{"date-parts":[[2023,10,3]],"date-time":"2023-10-03T14:44:17Z","timestamp":1696344257000},"page":"66-79","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":27,"title":["Validating JIT Compilers via Compilation Space Exploration"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9576-100X","authenticated-orcid":false,"given":"Cong","family":"Li","sequence":"first","affiliation":[{"name":"Nanjing University, Nanjing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7651-9560","authenticated-orcid":false,"given":"Yanyan","family":"Jiang","sequence":"additional","affiliation":[{"name":"Nanjing University, Nanjing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6299-4704","authenticated-orcid":false,"given":"Chang","family":"Xu","sequence":"additional","affiliation":[{"name":"Nanjing University, Nanjing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2970-1391","authenticated-orcid":false,"given":"Zhendong","family":"Su","sequence":"additional","affiliation":[{"name":"ETH Zurich, Zurich, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,10,23]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"ART. 2018. JFuzz. https:\/\/android.googlesource.com\/platform\/art\/+\/refs\/heads\/master\/tools\/jfuzz"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2019.23412"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3548606.3560624"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00007"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380432"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3485500"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3519939.3523427"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/73141.74831"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00127"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908095"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/40.591653"},{"key":"e_1_3_2_2_13_1","volume-title":"Android Statistics","author":"Curry David","year":"2022","unstructured":"David Curry. 2022. Android Statistics (2022). https:\/\/www.businessofapps.com\/data\/android-statistics"},{"key":"e_1_3_2_2_14_1","unstructured":"CVE. 2023. Security Vulnerabilities (Memory Corruption). https:\/\/www.cvedetails.com\/vulnerability-list\/opmemc-1\/memory-corruption.html"},{"key":"e_1_3_2_2_15_1","volume-title":"Proceedings of the 2003 International Symposium on Code Generation and Optimization: Feedback-Directed and Runtime Optimization (CGO '03)","author":"Stephen","unstructured":"Stephen J. Fink and Feng Qian. 2003. Design, Implementation and Evaluation of Adaptive Recompilation with on-Stack Replacement. In Proceedings of the 2003 International Symposium on Code Generation and Optimization: Feedback-Directed and Runtime Optimization (CGO '03)."},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3341175"},{"key":"e_1_3_2_2_17_1","unstructured":"Samuel Gro\u00df. 2018. FuzzIL: Coverage Guided Fuzzing for JavaScript Engines. Master's thesis. Karlsruhe Institute of Technology."},{"key":"e_1_3_2_2_18_1","unstructured":"Mohammad R. Haghighat Dmitry Khukhro Andrey Yakovlev Nina Rinskaya and Ivan Popov. 2018. JavaFuzzer. https:\/\/github.com\/AzulSystems\/JavaFuzzer"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2019.23263"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460120.3484823"},{"key":"e_1_3_2_2_21_1","volume-title":"Proceedings of the 2012 USENIX Conference on Security Symposium (Security '12)","author":"Holler Christian","year":"2012","unstructured":"Christian Holler, Kim Herzig, and Andreas Zeller. 2012. Fuzzing with Code Fragments. In Proceedings of the 2012 USENIX Conference on Security Symposium (Security '12)."},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/143095.143114"},{"key":"e_1_3_2_2_23_1","unstructured":"HotSpot. 2022. Tiered Compilation. https:\/\/github.com\/openjdk\/jdk11u-dev\/blob\/master\/src\/hotspot\/share\/runtime\/tieredThresholdPolicy.hpp"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00016"},{"key":"e_1_3_2_2_25_1","volume-title":"Proceedings of the 2022 USENIX Annual Technical Conference (ATC '22)","author":"Khrabrov Alexey","year":"2022","unstructured":"Alexey Khrabrov, Marius Pirvu, Vijay Sundaresan, and Eyal de Lara. 2022. JITServer: Disaggregated Caching JIT Compiler for the JVM in the Cloud. In Proceedings of the 2022 USENIX Annual Technical Conference (ATC '22)."},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2731186.2731198"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594334"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814319"},{"key":"e_1_3_2_2_29_1","volume-title":"Proceedings of the 2020 USENIX Security Symposium (Security '20)","author":"Lee Suyoung","year":"2020","unstructured":"Suyoung Lee, HyungSeok Han, Sang Kil Cha, and Sooel Son. 2020. Montage: A Neural Network Language Model-Guided JavaScript Engine Fuzzer. In Proceedings of the 2020 USENIX Security Symposium (Security '20)."},{"key":"e_1_3_2_2_30_1","volume-title":"Proceedings of the 2022 USENIX Annual Technical Conference (ATC '22)","author":"Lion David","year":"2022","unstructured":"David Lion, Adrian Chiu, Michael Stumm, and Ding Yuan. 2022. Investigating Managed Language Runtime Performance: Why JavaScript and Python are 8x and 29x slower than C++, yet Java and Go can be Faster?. In Proceedings of the 2022 USENIX Annual Technical Conference (ATC '22)."},{"key":"e_1_3_2_2_31_1","volume-title":"Proceedings of the 2016 USENIX Symposium on Operating Systems Design and Implementation (OSDI '16)","author":"Lion David","year":"2016","unstructured":"David Lion, Adrian Chiu, Hailong Sun, Xin Zhuang, Nikola Grcevski, and Ding Yuan. 2016. Don't Get Caught in the Cold, Warm-up Your JVM: Understand and Eliminate JVM Warm-up Overhead in DataParallel Systems. In Proceedings of the 2016 USENIX Symposium on Operating Systems Design and Implementation (OSDI '16)."},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428264"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3591295"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454030"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737965"},{"key":"e_1_3_2_2_36_1","volume-title":"Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I. Commun. ACM 3, 4","author":"McCarthy John","year":"1960","unstructured":"John McCarthy. 1960. Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I. Commun. ACM 3, 4 (1960)."},{"key":"e_1_3_2_2_37_1","unstructured":"MozillaSecurity. 2016. funfuzz. https:\/\/github.com\/MozillaSecurity\/funfuzz"},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341301.3359641"},{"key":"e_1_3_2_2_39_1","volume-title":"Proceedings of the 2020 USENIX Symposium on Operating Systems Design and Implementation (OSDI '20)","author":"Nelson Luke","year":"2020","unstructured":"Luke Nelson, Jacob Van Geffen, Emina Torlak, and Xi Wang. 2020. Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernel. In Proceedings of the 2020 USENIX Symposium on Operating Systems Design and Implementation (OSDI '20)."},{"key":"e_1_3_2_2_40_1","volume-title":"Proceedings of the 2016 USENIX Conference on Operating Systems Design and Implementation (OSDI '16)","author":"Nguyen Khanh","year":"2016","unstructured":"Khanh Nguyen, Lu Fang, Guoqing Xu, Brian Demsky, Shan Lu, Sanazsadat Alamian, and Onur Mutlu. 2016. Yak: A High-Performance Big-Data-Friendly Garbage Collector. In Proceedings of the 2016 USENIX Conference on Operating Systems Design and Implementation (OSDI '16)."},{"key":"e_1_3_2_2_41_1","unstructured":"OpenJ9. 2020. Recompilation. https:\/\/github.com\/eclipse-openj9\/openj9\/blob\/master\/doc\/compiler\/runtime\/Recompilation.md"},{"key":"e_1_3_2_2_42_1","unstructured":"OpenJ9. 2022. Optimization Levels. https:\/\/www.eclipse.org\/openj9\/docs\/jit"},{"key":"e_1_3_2_2_43_1","unstructured":"Oracle. 2023. Autoboxing. https:\/\/docs.oracle.com\/javase\/8\/docs\/technotes\/guides\/language\/autoboxing.html"},{"key":"e_1_3_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE43902.2021.00015"},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00067"},{"key":"e_1_3_2_2_46_1","volume-title":"Spoon: A Library for Implementing Analyses and Transformations of Java Source Code. Software: Practice and Experience 46","author":"Pawlak Renaud","year":"2015","unstructured":"Renaud Pawlak, Martin Monperrus, Nicolas Petitprez, Carlos Noguera, and Lionel Seinturier. 2015. Spoon: A Library for Implementing Analyses and Transformations of Java Source Code. Software: Practice and Experience 46 (2015)."},{"key":"e_1_3_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/3519939.3523457"},{"key":"e_1_3_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254104"},{"key":"e_1_3_2_2_49_1","volume-title":"Proceedings of the 1999 Conference on Domain-Specific Languages (DSL '99)","author":"Sirer Emin G\u00fcn","unstructured":"Emin G\u00fcn Sirer and Brian N. Bershad. 2000. Using Production Grammars in Software Testing. In Proceedings of the 1999 Conference on Domain-Specific Languages (DSL '99)."},{"key":"e_1_3_2_2_50_1","unstructured":"Armando Solar-Lezama. 2008. Program Synthesis by Sketching. Ph. D. Dissertation. Advisor(s) Bodik Rastislav."},{"key":"e_1_3_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2984038"},{"key":"e_1_3_2_2_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180236"},{"key":"e_1_3_2_2_53_1","volume-title":"Proceedings of the 2022 USENIX Symposium on Operating Systems Design and Implementation (OSDI '22)","author":"Wang Chenxi","year":"2022","unstructured":"Chenxi Wang, Haoran Ma, Shi Liu, Yifan Qiao, Jonathan Eyolfson, Christian Navasca, Shan Lu, and Guoqing Harry Xu. 2022. Mem-Liner: Lining up Tracing and Application for a Far-Memory-Friendly Runtime. In Proceedings of the 2022 USENIX Symposium on Operating Systems Design and Implementation (OSDI '22)."},{"key":"e_1_3_2_2_54_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2017.23"},{"key":"e_1_3_2_2_55_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00081"},{"key":"e_1_3_2_2_56_1","volume-title":"Proceedings of the 2023 USENIX Security Symposium (Security '23)","author":"Wang Junjie","year":"2023","unstructured":"Junjie Wang, Zhiyi Zhang, Shuang Liu, Xiaoning Du, and Junjie Chen. 2023. FuzzJIT: Oracle-Enhanced Fuzzing for JavaScript Engine JIT Compiler. In Proceedings of the 2023 USENIX Security Symposium (Security '23)."},{"key":"e_1_3_2_2_57_1","volume-title":"Proceedings of the 2014 USENIX Conference on Operating Systems Design and Implementation (OSDI '14)","author":"Wang Xi","year":"2014","unstructured":"Xi Wang, David Lazar, Nickolai Zeldovich, Adam Chlipala, and Zachary Tatlock. 2014. Jitk: A Trustworthy in-Kernel Interpreter Infrastructure. In Proceedings of the 2014 USENIX Conference on Operating Systems Design and Implementation (OSDI '14)."},{"key":"e_1_3_2_2_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00017"},{"key":"e_1_3_2_2_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"},{"key":"e_1_3_2_2_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454054"},{"key":"e_1_3_2_2_61_1","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2003.1319081"},{"key":"e_1_3_2_2_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062379"},{"key":"e_1_3_2_2_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/3551349.3556958"},{"key":"e_1_3_2_2_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510059"}],"event":{"name":"SOSP '23: 29th Symposium on Operating Systems Principles","location":"Koblenz Germany","acronym":"SOSP '23","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","USENIX"]},"container-title":["Proceedings of the 29th Symposium on Operating Systems Principles"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3600006.3613140","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3600006.3613140","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:36:49Z","timestamp":1750178209000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3600006.3613140"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,23]]},"references-count":63,"alternative-id":["10.1145\/3600006.3613140","10.1145\/3600006"],"URL":"https:\/\/doi.org\/10.1145\/3600006.3613140","relation":{},"subject":[],"published":{"date-parts":[[2023,10,23]]},"assertion":[{"value":"2023-10-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}