{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:09:18Z","timestamp":1750219758736,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":55,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,4,27]],"date-time":"2024-04-27T00:00:00Z","timestamp":1714176000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"CCF-Huawei Populus Grove Fund","award":["CCF-HuaweiSY202308"],"award-info":[{"award-number":["CCF-HuaweiSY202308"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,4,27]]},"DOI":"10.1145\/3622781.3674188","type":"proceedings-article","created":{"date-parts":[[2025,4,10]],"date-time":"2025-04-10T15:31:01Z","timestamp":1744299061000},"page":"345-360","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Validating JVM Compilers via Maximizing Optimization Interactions"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3264-1684","authenticated-orcid":false,"given":"Zifan","family":"Xie","sequence":"first","affiliation":[{"name":"Huazhong University of Science and Technology, Wuhan, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5588-9618","authenticated-orcid":false,"given":"Ming","family":"Wen","sequence":"additional","affiliation":[{"name":"Huazhong University of Science and Technology, Wuhan, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-0598-8322","authenticated-orcid":false,"given":"Shiyu","family":"Qiu","sequence":"additional","affiliation":[{"name":"Huazhong University of Science and Technology, Wuhan, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4453-4920","authenticated-orcid":false,"given":"Hai","family":"Jin","sequence":"additional","affiliation":[{"name":"Huazhong University of Science and Technology, Wuhan, Hubei, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,4,10]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"https:\/\/source.android.com\/docs\/core\/runtime","author":"Dalvik Android Runtime","year":"2024","unstructured":"Android Runtime (ART) and Dalvik. https:\/\/source.android.com\/docs\/core\/runtime, 2024. Accessed: 2024-04."},{"key":"e_1_3_2_1_2_1","first-page":"351","volume-title":"Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, CCS 2022","author":"Bernhard Lukas","year":"2022","unstructured":"Lukas Bernhard, Tobias Scharnowski, Moritz Schloegel, Tim Blazytko, and Thorsten Holz. Jit-picking: Differential fuzzing of javascript engines. In Heng Yin, Angelos Stavrou, Cas Cremers, and Elaine Shi, editors, Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, CCS 2022, Los Angeles, CA, USA, November 7--11, 2022, pages 351--364. ACM, 2022."},{"key":"e_1_3_2_1_3_1","first-page":"146","volume-title":"Proceedings of the ACM SIGPLAN'89 Conference on Programming Language Design and Implementation (PLDI)","author":"Chambers Craig","year":"1989","unstructured":"Craig Chambers and David M. Ungar. Customization: Optimizing compiler technology for self, A dynamically-typed object-oriented programming language. In Richard L. Wexelblat, editor, Proceedings of the ACM SIGPLAN'89 Conference on Programming Language Design and Implementation (PLDI), Portland, Oregon, USA, June 21--23, 1989, pages 146--160. ACM, 1989."},{"key":"e_1_3_2_1_4_1","first-page":"223","volume-title":"Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC\/SIGSOFT FSE 2019","author":"Chen Junjie","year":"2019","unstructured":"Junjie Chen, Jiaqi Han, Peiyi Sun, Lingming Zhang, Dan Hao, and Lu Zhang. Compiler bug isolation via effective witness test program generation. In Marlon Dumas, Dietmar Pfahl, Sven Apel, and Alessandra Russo, editors, Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC\/SIGSOFT FSE 2019, Tallinn, Estonia, August 26--30, 2019, pages 223--234. ACM, 2019."},{"issue":"1","key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3363562","article-title":"A survey of compiler testing","volume":"53","author":"Chen Junjie","year":"2021","unstructured":"Junjie Chen, Jibesh Patra, Michael Pradel, Yingfei Xiong, Hongyu Zhang, Dan Hao, and Lu Zhang. A survey of compiler testing. ACM Comput. Surv., 53(1):4:1--4:36, 2021.","journal-title":"ACM Comput. Surv."},{"key":"e_1_3_2_1_6_1","first-page":"1257","volume-title":"Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25--31, 2019","author":"Chen Yuting","year":"2019","unstructured":"Yuting Chen, Ting Su, and Zhendong Su. Deep differential testing of JVM implementations. In Joanne M. Atlee, Tevfik Bultan, and Jon Whittle, editors, Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25--31, 2019, pages 1257--1268. IEEE \/ ACM, 2019."},{"key":"e_1_3_2_1_7_1","first-page":"85","volume-title":"Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2016","author":"Chen Yuting","year":"2016","unstructured":"Yuting Chen, Ting Su, Chengnian Sun, Zhendong Su, and Jianjun Zhao. Coverage-directed differential testing of JVM implementations. In Chandra Krintz and Emery D. Berger, editors, Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2016, Santa Barbara, CA, USA, June 13--17, 2016, pages 85--99. ACM, 2016."},{"volume-title":"https:\/\/developer.android.com\/build\/shrink-code#optimization","year":"2024","key":"e_1_3_2_1_8_1","unstructured":"R8 Compiler. https:\/\/developer.android.com\/build\/shrink-code#optimization, 2024. Accessed: 2024-04."},{"volume-title":"https:\/\/tonybaloney.github.io\/posts\/python-gets-a-jit.html","year":"2024","key":"e_1_3_2_1_9_1","unstructured":"CPython-3.13. https:\/\/tonybaloney.github.io\/posts\/python-gets-a-jit.html, 2024. Accessed: 2024-04."},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of the 3nd IEEE \/ ACM International Symposium on Code Generation and Optimization (CGO 2005","author":"Dai Xiaoru","year":"2005","unstructured":"Xiaoru Dai, Antonia Zhai, Wei-Chung Hsu, and Pen-Chung Yew. A general compiler framework for speculative optimizations using data speculative code motion. In Proceedings of the 3nd IEEE \/ ACM International Symposium on Code Generation and Optimization (CGO 2005), 20--23 March 2005, San Jose, CA, USA, pages 280--290. IEEE Computer Society, 2005."},{"issue":"2","key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","first-page":"218","DOI":"10.1006\/jpdc.1998.1441","article-title":"Lock coarsening: Eliminating lock overhead in automatically parallelized object-based programs","volume":"49","author":"Diniz Pedro C.","year":"1998","unstructured":"Pedro C. Diniz and Martin C. Rinard. Lock coarsening: Eliminating lock overhead in automatically parallelized object-based programs. Journal of Parallel and Distributed Computing, 49(2):218--244, 1998.","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"e_1_3_2_1_12_1","first-page":"1219","volume-title":"Proceedings of the 35th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2020","author":"Even-Mendoza Karine","year":"2020","unstructured":"Karine Even-Mendoza, Cristian Cadar, and Alastair F. Donaldson. Closer to the edge: Testing compilers more thoroughly by being less conservative about undefined behaviour. In Proceedings of the 35th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21--25, 2020, pages 1219--1223. IEEE, 2020."},{"key":"e_1_3_2_1_13_1","volume-title":"Proceedings of the 1st IEEE \/ ACM International Symposium on Code Generation and Optimization (CGO 2003","author":"Stephen","year":"2003","unstructured":"Stephen J. Fink and Feng Qian. Design, implementation and evaluation of adaptive recompilation with on-stack replacement. In Richard Johnson, Tom Conte, and Wen-mei W. Hwu, editors, Proceedings of the 1st IEEE \/ ACM International Symposium on Code Generation and Optimization (CGO 2003), 23--26 March 2003, San Francisco, CA, USA, pages 241--252. IEEE Computer Society, 2003."},{"volume-title":"https:\/\/github.com\/openjdk\/jdk\/blob\/master\/src\/hotspot\/share\/c1\/c1globals.hpp","year":"2024","key":"e_1_3_2_1_14_1","unstructured":"C1 Flags. https:\/\/github.com\/openjdk\/jdk\/blob\/master\/src\/hotspot\/share\/c1\/c1globals.hpp, 2024. Accessed: 2024-04."},{"volume-title":"https:\/\/github.com\/openjdk\/jdk\/blob\/master\/src\/hotspot\/share\/opto\/c2globals.hpp","year":"2024","key":"e_1_3_2_1_15_1","unstructured":"C2 Flags. https:\/\/github.com\/openjdk\/jdk\/blob\/master\/src\/hotspot\/share\/opto\/c2globals.hpp, 2024. Accessed: 2024-04."},{"key":"e_1_3_2_1_16_1","volume-title":"https:\/\/gcc.gnu.org\/","author":"GCC.","year":"2024","unstructured":"GCC. https:\/\/gcc.gnu.org\/, 2024. Accessed: 2024-04."},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of the 26th Annual Network and Distributed System Security Symposium, NDSS 2019","author":"Han HyungSeok","year":"2019","unstructured":"HyungSeok Han, DongHyeon Oh, and Sang Kil Cha. Codealchemist: Semantics-aware code generation to find vulnerabilities in javascript engines. In Proceedings of the 26th Annual Network and Distributed System Security Symposium, NDSS 2019, San Diego, California, USA, February 24--27, 2019. The Internet Society, 2019."},{"key":"e_1_3_2_1_18_1","first-page":"32","volume-title":"Proceedings of the ACM SIGPLAN'92 Conference on Programming Language Design and Implementation (PLDI)","author":"H\u00f6lzle Urs","year":"1992","unstructured":"Urs H\u00f6lzle, Craig Chambers, and David M. Ungar. Debugging optimized code with dynamic deoptimization. In Stuart I. Feldman and Richard L. Wexelblat, editors, Proceedings of the ACM SIGPLAN'92 Conference on Programming Language Design and Implementation (PLDI), San Francisco, California, USA, June 17--19, 1992, pages 32--43. ACM, 1992."},{"key":"e_1_3_2_1_19_1","first-page":"165","volume-title":"Proceedings of the Sixth International Symposium on Code Generation and Optimization (CGO 2008","author":"Hoste Kenneth","year":"2008","unstructured":"Kenneth Hoste and Lieven Eeckhout. Cole: compiler optimization level exploration. In Mary Lou Soffa and Evelyn Duesterwald, editors, Proceedings of the Sixth International Symposium on Code Generation and Optimization (CGO 2008), April 5--9, 2008, Boston, MA, USA, pages 165--174. ACM, 2008."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1145\/2568225.2568271","volume-title":"Proceedings of the 36th international conference on software engineering","author":"Inozemtseva Laura","year":"2014","unstructured":"Laura Inozemtseva and Reid Holmes. Coverage is not strongly correlated with test suite effectiveness. In Proceedings of the 36th international conference on software engineering, pages 435--445, 2014."},{"volume-title":"https:\/\/bugs.openjdk.org\/browse\/JDK-8312744","year":"2024","key":"e_1_3_2_1_21_1","unstructured":"JDK-8312744. https:\/\/bugs.openjdk.org\/browse\/JDK-8312744, 2024. Accessed: 2024-04."},{"volume-title":"https:\/\/bugs.openjdk.org\/browse\/JDK-8324174","year":"2024","key":"e_1_3_2_1_22_1","unstructured":"JDK-8324174. https:\/\/bugs.openjdk.org\/browse\/JDK-8324174, 2024. Accessed: 2024-04."},{"key":"e_1_3_2_1_23_1","first-page":"43","volume-title":"Proceedings of the 45th IEEE\/ACM International Conference on Software Engineering, ICSE 2023","author":"Jia Haoxiang","year":"2023","unstructured":"Haoxiang Jia, Ming Wen, Zifan Xie, Xiaochen Guo, Rongxin Wu, Maolin Sun, Kang Chen, and Hai Jin. Detecting JVM JIT compiler bugs via exploring two-dimensional input spaces. In Proceedings of the 45th IEEE\/ACM International Conference on Software Engineering, ICSE 2023, Melbourne, Australia, May 14--20, 2023, pages 43--55. IEEE, 2023."},{"key":"e_1_3_2_1_24_1","first-page":"560","volume-title":"Proceedings of the 22nd international conference on software analysis, evolution, and reengineering (SANER)","author":"Kochhar Pavneet Singh","year":"2015","unstructured":"Pavneet Singh Kochhar, Ferdian Thung, and David Lo. Code coverage and test suite effectiveness: Empirical study with real bugs in large systems. In Proceedings of the 22nd international conference on software analysis, evolution, and reengineering (SANER), pages 560--564. IEEE, 2015."},{"issue":"1","key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1369396.1370017","article-title":"Design of the java hotspot\u2122 client compiler for java 6","volume":"5","author":"Kotzmann Thomas","year":"2008","unstructured":"Thomas Kotzmann, Christian Wimmer, Hanspeter M\u00f6ssenb\u00f6ck, Thomas Rodriguez, Kenneth B. Russell, and David Cox. Design of the java hotspot\u2122 client compiler for java 6. ACM Transactions on Architecture and Code Optimization, 5(1):7:1--7:32, 2008.","journal-title":"ACM Transactions on Architecture and Code Optimization"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1145\/2731186.2731198","volume-title":"Proceedings of the 11th ACM SIGPLAN\/SIGOPS International Conference on Virtual Execution Environments","author":"Kyle Stephen C.","year":"2015","unstructured":"Stephen C. Kyle, Hugh Leather, Bj\u00f6rn Franke, Dave Butcher, and Stuart Monteith. Application of domain-aware binary fuzzing to aid android virtual machine testing. In Ada Gavrilovska, Angela Demke Brown, and Bjarne Steensgaard, editors, Proceedings of the 11th ACM SIGPLAN\/SIGOPS International Conference on Virtual Execution Environments, Istanbul, Turkey, March 14--15, 2015, pages 121--132. ACM, 2015."},{"key":"e_1_3_2_1_27_1","volume-title":"Proceedings of the 2nd IEEE \/ ACM International Symposium on Code Generation and Optimization (CGO 2004","author":"Lattner Chris","year":"2004","unstructured":"Chris Lattner and Vikram S. Adve. LLVM: A compilation framework for lifelong program analysis & transformation. In Proceedings of the 2nd IEEE \/ ACM International Symposium on Code Generation and Optimization (CGO 2004), 20--24 March 2004, San Jose, CA, USA, pages 75--88. IEEE Computer Society, 2004."},{"key":"e_1_3_2_1_28_1","first-page":"66","volume-title":"Proceedings of the 29th Symposium on Operating Systems Principles, SOSP 2023","author":"Li Cong","year":"2023","unstructured":"Cong Li, Yanyan Jiang, Chang Xu, and Zhendong Su. Validating JIT compilers via compilation space exploration. In Jason Flinn, Margo I. Seltzer, Peter Druschel, Antoine Kaufmann, and Jonathan Mace, editors, Proceedings of the 29th Symposium on Operating Systems Principles, SOSP 2023, Koblenz, Germany, October 23--26, 2023, pages 66--79. ACM, 2023."},{"key":"e_1_3_2_1_29_1","first-page":"238","volume-title":"Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems","volume":"3","author":"Li Shaohua","year":"2023","unstructured":"Shaohua Li and Zhendong Su. Finding unstable code via compiler-driven differential testing. In Tor M. Aamodt, Natalie D. Enright Jerger, and Michael M. Swift, editors, Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3, ASPLOS 2023, Vancouver, BC, Canada, March 25--29, 2023, pages 238--251. ACM, 2023."},{"key":"e_1_3_2_1_30_1","volume-title":"Proceedings of the ACM on Programming Languages, 4(OOPSLA):196:1--196:25","author":"Livinskii Vsevolod","year":"2020","unstructured":"Vsevolod Livinskii, Dmitry Babokin, and John Regehr. Random testing for C and C++ compilers with yarpgen. Proceedings of the ACM on Programming Languages, 4(OOPSLA):196:1--196:25, 2020."},{"key":"e_1_3_2_1_31_1","volume-title":"Proceedings of the ACM Program. Lang., 7(PLDI):1826--1847","author":"Livinskii Vsevolod","year":"2023","unstructured":"Vsevolod Livinskii, Dmitry Babokin, and John Regehr. Fuzzing loop optimizations in compilers for C++ and data-parallel languages. Proceedings of the ACM Program. Lang., 7(PLDI):1826--1847, 2023."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1145\/3453483.3454030","volume-title":"Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation","author":"Lopes Nuno P.","year":"2021","unstructured":"Nuno P. Lopes, Juneyoung Lee, Chung-Kil Hur, Zhengyang Liu, and John Regehr. Alive2: bounded translation validation for LLVM. In Stephen N. Freund and Eran Yahav, editors, Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20--25, 2021, pages 65--79. ACM, 2021."},{"key":"e_1_3_2_1_33_1","volume-title":"Proceedings of the 1st Java Virtual Machine Research and Technology Symposium, April 23--24, 2001","author":"Paleczny Michael","year":"2001","unstructured":"Michael Paleczny, Christopher A. Vick, and Cliff Click. The java hotspot server compiler. In Saul Wold, editor, Proceedings of the 1st Java Virtual Machine Research and Technology Symposium, April 23--24, 2001, Monterey, CA, USA. USENIX, 2001."},{"key":"e_1_3_2_1_34_1","first-page":"164","volume-title":"Proceedings of the IEEE\/ACM International Symposium on Code Generation and Optimization, CGO 2019","author":"Prokopec Aleksandar","year":"2019","unstructured":"Aleksandar Prokopec, Gilles Duboscq, David Leopoldseder, and Tomas W\u00fcrthinger. An optimization-driven incremental inline substitution algorithm for just-in-time compilers. In Mahmut Taylan Kandemir, Alexandra Jimborean, and Tipp Moseley, editors, Proceedings of the IEEE\/ACM International Symposium on Code Generation and Optimization, CGO 2019, Washington, DC, USA, February 16--20, 2019, pages 164--179. IEEE, 2019."},{"key":"e_1_3_2_1_35_1","volume-title":"https:\/\/github.com\/CGCL-codes\/MopFuzzer","author":"Github Repository MopFuzzer","year":"2024","unstructured":"MopFuzzer Github Repository. https:\/\/github.com\/CGCL-codes\/MopFuzzer, 2024. Accessed: 2024-04."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","unstructured":"MopFuzzer Zenodo Repository. 2024. Accessed: 2024-04. 10.5281\/zenodo.11484183","DOI":"10.5281\/zenodo.11484183"},{"volume-title":"https:\/\/github.com\/ibmruntimes\/openj9-openjdk-jdk11.git","year":"2024","key":"e_1_3_2_1_37_1","unstructured":"OpenJDK-11 Repository. https:\/\/github.com\/ibmruntimes\/openj9-openjdk-jdk11.git, 2024. Accessed: 2024-04."},{"volume-title":"https:\/\/github.com\/openjdk\/jdk17u","year":"2024","key":"e_1_3_2_1_38_1","unstructured":"OpenJDK-17 Repository. https:\/\/github.com\/openjdk\/jdk17u, 2024. Accessed: 2024-04."},{"key":"e_1_3_2_1_39_1","first-page":"153","volume-title":"Proceedings of the 14th international conference on Supercomputing, ICS 2000","author":"Sarkar Vivek","year":"2000","unstructured":"Vivek Sarkar. Optimized unrolling of nested loops. In John Reynders and Alexander V. Veidenbaum, editors, Proceedings of the 14th international conference on Supercomputing, ICS 2000, Santa Fe, NM, USA, May 8--11, 2000, pages 153--166. ACM, 2000."},{"key":"e_1_3_2_1_40_1","first-page":"1483","volume-title":"Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023","author":"Sharma Mayank","year":"2023","unstructured":"Mayank Sharma, Pingshi Yu, and Alastair F. Donaldson. Rustsmith: Random differential compiler testing for rust. In Ren\u00e9 Just and Gordon Fraser, editors, Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17--21, 2023, pages 1483--1486. ACM, 2023."},{"key":"e_1_3_2_1_41_1","volume-title":"Proceedings of the 7th Annual Workshop on Interaction between Compilers and Computer Architecture (INTERACT-7 2003)","author":"Shiv K.","year":"2003","unstructured":"K. Shiv, R. Iyer, C. Newburn, J. Dahlstedt, M. Lagergren, and O. Lindholm. Impact of JIT\/JVM optimizations on java application performance. In Proceedings of the 7th Annual Workshop on Interaction between Compilers and Computer Architecture (INTERACT-7 2003), 8 February 2003, Anaheim, CA, USA, pages 5--13. IEEE Computer Society, 2003."},{"key":"e_1_3_2_1_42_1","volume-title":"https:\/\/github.com\/openjdk\/jdk\/tree\/master\/test\/hotspot\/jtreg","author":"Regression Test Suites JDK","year":"2024","unstructured":"OpenJDK Regression Test Suites. https:\/\/github.com\/openjdk\/jdk\/tree\/master\/test\/hotspot\/jtreg, 2024. Accessed: 2024-04."},{"key":"e_1_3_2_1_43_1","first-page":"361","volume-title":"Proceedings of the 40th International Conference on Software Engineering, ICSE 2018","author":"Sun Chengnian","year":"2018","unstructured":"Chengnian Sun, Yuanbo Li, Qirun Zhang, Tianxiao Gu, and Zhendong Su. Perses: syntax-guided program reduction. In Michel Chaudron, Ivica Crnkovic, Marsha Chechik, and Mark Harman, editors, Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018, pages 361--371. ACM, 2018."},{"key":"e_1_3_2_1_44_1","first-page":"757","volume-title":"Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, COMP-SAC","author":"Sun Lili","year":"2022","unstructured":"Lili Sun, Chenggang Wu, Zhe Wang, Yan Kang, and Bowen Tang. Kop-fuzzer: A key-operation-based fuzzer for type confusion bugs in javascript engines. In Hong Va Leong, Sahra Sedigh Sarvestani, Yuuichi Teranishi, Alfredo Cuzzocrea, Hiroki Kashiwazaki, Dave Towey, Ji-Jiang Yang, and Hossain Shahriar, editors, Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, COMP-SAC 2022, Los Alamitos, CA, USA, June 27 - July 1, 2022, pages 757--766. IEEE, 2022."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"crossref","first-page":"977","DOI":"10.1145\/3503222.3507744","volume-title":"Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems","author":"Theodoridis Theodoros","year":"2022","unstructured":"Theodoros Theodoridis, Tobias Grosser, and Zhendong Su. Understanding and exploiting optimal function inlining. In Babak Falsafi, Michael Ferdman, Shan Lu, and Thomas F. Wenisch, editors, Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland, 28 February 2022 - 4 March 2022, pages 977--989. ACM, 2022."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"crossref","first-page":"697","DOI":"10.1145\/3503222.3507764","volume-title":"Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems","author":"Theodoridis Theodoros","year":"2022","unstructured":"Theodoros Theodoridis, Manuel Rigger, and Zhendong Su. Finding missed optimizations through the lens of dead code elimination. In Babak Falsafi, Michael Ferdman, Shan Lu, and Thomas F. Wenisch, editors, Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland, 28 February 2022 - 4 March 2022, pages 697--709. ACM, 2022."},{"volume-title":"https:\/\/v8.dev\/docs\/turbofan","year":"2024","key":"e_1_3_2_1_47_1","unstructured":"TurboFan. https:\/\/v8.dev\/docs\/turbofan, 2024. Accessed: 2024-04."},{"key":"e_1_3_2_1_48_1","first-page":"1865","volume-title":"Proceedings of the 32nd USENIX Security Symposium, USENIX Security 2023","author":"Wang Junjie","year":"2023","unstructured":"Junjie Wang, Zhiyi Zhang, Shuang Liu, Xiaoning Du, and Junjie Chen. Fuzzjit: Oracle-enhanced fuzzing for javascript engine JIT compiler. In Joseph A. Calandrino and Carmela Troncoso, editors, Proceedings of the 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9--11, 2023, pages 1865--1882. USENIX Association, 2023."},{"key":"e_1_3_2_1_49_1","volume-title":"https:\/\/wiki.openjdk.org\/display\/HotSpot\/PerformanceTacticIndex","author":"Office Wiki HotSpot","year":"2024","unstructured":"HotSpot Office Wiki. https:\/\/wiki.openjdk.org\/display\/HotSpot\/PerformanceTacticIndex, 2024. Accessed: 2024-04."},{"key":"e_1_3_2_1_50_1","first-page":"56","volume-title":"Proceedings of the 45th IEEE\/ACM International Conference on Software Engineering, ICSE 2023","author":"Wu Mingyuan","year":"2023","unstructured":"Mingyuan Wu, Minghai Lu, Heming Cui, Junjie Chen, Yuqun Zhang, and Lingming Zhang. Jitfuzz: Coverage-guided fuzzing for JVM justin-time compilers. In Proceedings of the 45th IEEE\/ACM International Conference on Software Engineering, ICSE 2023, Melbourne, Australia, May 14--20, 2023, pages 56--68. IEEE, 2023."},{"key":"e_1_3_2_1_51_1","first-page":"6","volume-title":"Proceedings of the 45th IEEE\/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings","author":"Zang Zhiqiang","year":"2023","unstructured":"Zhiqiang Zang, Fu-Yao Yu, Nathan Wiatrek, Milos Gligoric, and August Shi. JATTACK: java JIT testing using template programs. In Proceedings of the 45th IEEE\/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, Melbourne, Australia, May 14--20, 2023, pages 6--10. IEEE, 2023."},{"key":"e_1_3_2_1_52_1","first-page":"1","volume-title":"Proceedings of the 2nd ACM SIGSOFT International Workshop on Software Qualities and Their Dependencies, SQUADE@ESEC\/SIGSOFT FSE 2019","author":"Zhao Jinjing","year":"2019","unstructured":"Jinjing Zhao, Yan Wen, Xiang Li, Ling Pang, Xiaohui Kuang, and Dongxia Wang. A heuristic fuzz test generator for java native interface. In S\u00e9verine Sentilles, Barry W. Boehm, Catia Trubiani, and Anne Koziolek, editors, Proceedings of the 2nd ACM SIGSOFT International Workshop on Software Qualities and Their Dependencies, SQUADE@ESEC\/SIGSOFT FSE 2019, Tallinn, Estonia, August 26, 2019, pages 1--7. ACM, 2019."},{"key":"e_1_3_2_1_53_1","first-page":"1133","volume-title":"Proceedings of the 44th IEEE\/ACM 44th International Conference on Software Engineering, ICSE 2022","author":"Zhao Yingquan","year":"2022","unstructured":"Yingquan Zhao, Zan Wang, Junjie Chen, Mengdi Liu, Mingyuan Wu, Yuqun Zhang, and Lingming Zhang. History-driven test program synthesis for JVM testing. In Proceedings of the 44th IEEE\/ACM 44th International Conference on Software Engineering, ICSE 2022, Pittsburgh, PA, USA, May 25--27, 2022, pages 1133--1144. ACM, 2022."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"crossref","first-page":"110884","DOI":"10.1016\/j.jss.2020.110884","article-title":"An empirical study of optimization bugs","volume":"174","author":"Zhou Zhide","year":"2021","unstructured":"Zhide Zhou, Zhilei Ren, Guojun Gao, and He Jiang. An empirical study of optimization bugs in GCC and LLVM. Journal of Systems and Software, 174:110884, 2021.","journal-title":"Journal of Systems and Software"},{"key":"e_1_3_2_1_55_1","first-page":"230","article-title":"A survey for roadmap","volume":"54","author":"Zhu Xiaogang","year":"2022","unstructured":"Xiaogang Zhu, Sheng Wen, Seyit Camtepe, and Yang Xiang. Fuzzing: A survey for roadmap. ACM Computing Surveys, 54(11s):230:1--230:36, 2022.","journal-title":"ACM Computing Surveys"}],"event":{"name":"ASPLOS '24: 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 4","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","SIGPLAN ACM Special Interest Group on Programming Languages","SIGARCH ACM Special Interest Group on Computer Architecture","SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Hilton La Jolla Torrey Pines La Jolla CA USA","acronym":"ASPLOS '24"},"container-title":["Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 4"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3622781.3674188","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3622781.3674188","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:37:04Z","timestamp":1750178224000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3622781.3674188"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,27]]},"references-count":55,"alternative-id":["10.1145\/3622781.3674188","10.1145\/3622781"],"URL":"https:\/\/doi.org\/10.1145\/3622781.3674188","relation":{},"subject":[],"published":{"date-parts":[[2024,4,27]]},"assertion":[{"value":"2025-04-10","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}