{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,2]],"date-time":"2026-10-02T10:19:44Z","timestamp":1790936384607,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":40,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,23]]},"DOI":"10.1145\/3696630.3728528","type":"proceedings-article","created":{"date-parts":[[2025,7,28]],"date-time":"2025-07-28T19:08:09Z","timestamp":1753729689000},"page":"706-710","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Compiler Optimization Testing Based on Optimization-Guided Equivalence Transformations"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-0787-5876","authenticated-orcid":false,"given":"Jingwen","family":"Wu","sequence":"first","affiliation":[{"name":"Shandong University, Qingdao, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-1823-0371","authenticated-orcid":false,"given":"Jiajing","family":"Zheng","sequence":"additional","affiliation":[{"name":"Shandong University, Qingdao, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8334-7645","authenticated-orcid":false,"given":"Zhenyu","family":"Yang","sequence":"additional","affiliation":[{"name":"Shandong University, Qingdao, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3718-8476","authenticated-orcid":false,"given":"Zhongxing","family":"Yu","sequence":"additional","affiliation":[{"name":"Shandong University, Qingdao, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,7,28]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proceedings of the 2014 International Symposium on Software Testing and Analysis","author":"Appelt Dennis","year":"2014","unstructured":"Dennis Appelt, Cu Duy Nguyen, Lionel C. Briand, and Nadia Alshahwan. 2014. Automated testing for SQL injection vulnerabilities: an input mutation approach. In Proceedings of the 2014 International Symposium on Software Testing and Analysis (San Jose, CA, USA) (ISSTA 2014). Association for Computing Machinery, New York, NY, USA, 259\u2013269. 10.1145\/2610384.2610403"},{"key":"e_1_3_2_1_2_1","volume-title":"Proceedings of the 27th international conference on compiler construction. 82\u201392","author":"Barany Gerg\u00f6","year":"2018","unstructured":"Gerg\u00f6 Barany. 2018. Finding missed compiler optimizations by differential testing. In Proceedings of the 27th international conference on compiler construction. 82\u201392."},{"key":"e_1_3_2_1_3_1","volume-title":"Metamorphic testing: a new approach for generating next test cases. arXiv preprint arXiv:2002.12543","author":"Chen Tsong Y","year":"2020","unstructured":"Tsong Y Chen, Shing C Cheung, and Shiu Ming Yiu. 2020. Metamorphic testing: a new approach for generating next test cases. arXiv preprint arXiv:2002.12543 (2020)."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3143561"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2019.110398"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2578855.2535866"},{"key":"e_1_3_2_1_7_1","first-page":"10","volume-title":"Proc. ACM Program. Lang. 1, OOPSLA, Article 93 (Oct.","author":"Donaldson Alastair F.","year":"2017","unstructured":"Alastair F. Donaldson, Hugues Evrard, Andrei Lascu, and Paul Thomson. 2017. Automated testing of graphics shader compilers. Proc. ACM Program. Lang. 1, OOPSLA, Article 93 (Oct. 2017), 29 pages. 10.1145\/3133917"},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation","author":"Donaldson Alastair F.","year":"2021","unstructured":"Alastair F. Donaldson, Paul Thomson, Vasyl Teliman, Stefano Milizia, Andr\u00e9 Perez Maselco, and Antoni Karpi\u0144ski. 2021. Test-case reduction and deduplication almost for free with transformation-based compiler testing. In Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (Virtual, Canada) (PLDI 2021). Association for Computing Machinery, New York, NY, USA, 1017\u20131032. 10.1145\/3453483.3454092"},{"key":"e_1_3_2_1_9_1","volume-title":"The 6th Joint Meeting on European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering: Companion Papers","author":"Robert","unstructured":"Robert B. Evans and Alberto Savoia. 2007. Differential testing: a new approach to change detection. In The 6th Joint Meeting on European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering: Companion Papers (Dubrovnik, Croatia) (ESEC-FSE companion '07). Association for Computing Machinery, New York, NY, USA, 549\u2013552. 10.1145\/1295014.1295038"},{"key":"e_1_3_2_1_10_1","volume-title":"2012 12th International Conference on Quality Software. 89\u201397","author":"Feng Jing","year":"2012","unstructured":"Jing Feng, Bei-Bei Yin, Kai-Yuan Cai, and Zhong-Xing Yu. 2012. 3-Way GUI Test Cases Generation Based on Event-Wise Partitioning. In 2012 12th International Conference on Quality Software. 89\u201397. 10.1109\/QSIC.2012.42"},{"key":"e_1_3_2_1_11_1","first-page":"10","volume-title":"Proc. ACM Program. Lang. 2, OOPSLA, Article 126 (Oct.","author":"Gong Zhangxiaowen","year":"2018","unstructured":"Zhangxiaowen Gong, Zhi Chen, Justin Szaday, David Wong, Zehra Sura, Neftali Watkinson, Saeed Maleki, David Padua, Alexander Veidenbaum, Alexandru Nicolau, and Josep Torrellas. 2018. An empirical study of the effect of source-level loop transformations on compiler stability. Proc. ACM Program. Lang. 2, OOPSLA, Article 126 (Oct. 2018), 29 pages. 10.1145\/3276496"},{"key":"e_1_3_2_1_12_1","volume-title":"Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"Le Vu","year":"2014","unstructured":"Vu Le, Mehrdad Afshari, and Zhendong Su. 2014. Compiler validation via equivalence modulo inputs. In Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation (Edinburgh, United Kingdom) (PLDI '14). Association for Computing Machinery, New York, NY, USA, 216\u2013226. 10.1145\/2594291.2594334"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111320.1111042"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1538788.1538814"},{"key":"e_1_3_2_1_15_1","first-page":"10","volume-title":"Proc. ACM Program. Lang. 8, PLDI, Article 156 (June","author":"Li Shaohua","year":"2024","unstructured":"Shaohua Li, Theodoros Theodoridis, and Zhendong Su. 2024. Boosting Compiler Testing by Injecting Real-World Code. Proc. ACM Program. Lang. 8, PLDI, Article 156 (June 2024), 23 pages. 10.1145\/3656386"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2813885.2737986"},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis. 436\u2013448","author":"Liu Zhibo","year":"2023","unstructured":"Zhibo Liu, Dongwei Xiao, Zongjie Li, Shuai Wang, and Wei Meng. 2023. Exploring missed optimizations in webassembly optimizers. In Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis. 436\u2013448."},{"key":"e_1_3_2_1_18_1","volume-title":"Proceedings of the ACM on Programming Languages 4, OOPSLA","author":"Livinskii Vsevolod","year":"2020","unstructured":"Vsevolod Livinskii, Dmitry Babokin, and John Regehr. 2020. Random testing for C and C++ compilers with YARPGen. Proceedings of the ACM on Programming Languages 4, OOPSLA (2020), 1\u201325."},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of the ACM on Programming Languages 7, PLDI (2023)","author":"Livinskii Vsevolod","year":"2023","unstructured":"Vsevolod Livinskii, Dmitry Babokin, and John Regehr. 2023. Fuzzing loop optimizations in compilers for C++ and data-parallel languages. Proceedings of the ACM on Programming Languages 7, PLDI (2023), 1826\u20131847."},{"key":"e_1_3_2_1_20_1","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. 2021. Alive2: bounded translation validation for LLVM. In Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (Virtual, Canada) (PLDI 2021). Association for Computing Machinery, New York, NY, USA, 65\u201379. 10.1145\/3453483.3454030"},{"key":"e_1_3_2_1_21_1","volume-title":"Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"Lopes Nuno P.","year":"2015","unstructured":"Nuno P. Lopes, David Menendez, Santosh Nagarakatte, and John Regehr. 2015. Provably correct peephole optimizations with alive. 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, 22\u201332. 10.1145\/2737924.2737965"},{"key":"e_1_3_2_1_22_1","volume-title":"Proceedings of the ACM SIGPLAN 2000 Conference on Programming Language Design and Implementation","author":"Necula George C.","year":"2000","unstructured":"George C. Necula. 2000. Translation validation for an optimizing compiler. In Proceedings of the ACM SIGPLAN 2000 Conference on Programming Language Design and Implementation (Vancouver, British Columbia, Canada) (PLDI '00). Association for Computing Machinery, New York, NY, USA, 83\u201394. 10.1145\/349299.349314"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3361566"},{"key":"e_1_3_2_1_24_1","volume-title":"NEZHA: Efficient Domain-Independent Differential Testing. In 2017 IEEE Symposium on Security and Privacy (SP). 615\u2013632","author":"Petsios Theofilos","year":"2017","unstructured":"Theofilos Petsios, Adrian Tang, Salvatore Stolfo, Angelos D. Keromytis, and Suman Jana. 2017. NEZHA: Efficient Domain-Independent Differential Testing. In 2017 IEEE Symposium on Security and Privacy (SP). 615\u2013632. 10.1109\/SP.2017.27"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","unstructured":"A. Pnueli M. Siegel and E. Singerman. 1998. Translation validation. In Tools and Algorithms for the Construction and Analysis of Systems Bernhard Steffen (Ed.). Springer Berlin Heidelberg Berlin Heidelberg 151\u2013166.","DOI":"10.1007\/BFb0054170"},{"key":"e_1_3_2_1_26_1","volume-title":"Equality-Based Translation Validator for LLVM. In International Conference on Computer Aided Verification. https:\/\/api.semanticscholar.org\/CorpusID:13218010","author":"Stepp Michael","year":"2011","unstructured":"Michael Stepp, Ross Tate, and Sorin Lerner. 2011. Equality-Based Translation Validator for LLVM. In International Conference on Computer Aided Verification. https:\/\/api.semanticscholar.org\/CorpusID:13218010"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3022671.2984038"},{"key":"e_1_3_2_1_28_1","volume-title":"Proceedings of the 25th international symposium on software testing and analysis. 294\u2013305","author":"Sun Chengnian","year":"2016","unstructured":"Chengnian Sun, Vu Le, Qirun Zhang, and Zhendong Su. 2016. Toward understanding compiler bugs in GCC and LLVM. In Proceedings of the 25th international symposium on software testing and analysis. 294\u2013305."},{"key":"e_1_3_2_1_29_1","volume-title":"Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"Tate Ross","year":"2010","unstructured":"Ross Tate, Michael Stepp, and Sorin Lerner. 2010. Generating compiler optimizations from proofs. In Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Madrid, Spain) (POPL '10). Association for Computing Machinery, New York, NY, USA, 389\u2013402. 10.1145\/1706299.1706345"},{"key":"e_1_3_2_1_30_1","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. 2022. Finding missed optimizations through the lens of dead code elimination. In Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (Lausanne, Switzerland) (ASP-LOS '22). Association for Computing Machinery, New York, NY, USA, 697\u2013709. 10.1145\/3503222.3507764"},{"key":"e_1_3_2_1_31_1","volume-title":"Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"Tristan Jean-Baptiste","year":"2011","unstructured":"Jean-Baptiste Tristan, Paul Govereau, and Greg Morrisett. 2011. Evaluating value-graph translation validation for LLVM. In Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation (San Jose, California, USA) (PLDI '11). Association for Computing Machinery, New York, NY, USA, 295\u2013305. 10.1145\/1993498.1993533"},{"key":"e_1_3_2_1_32_1","volume-title":"Proceedings of the the ACM Conference on Architectural Support for Programming Languages and Operating Systems.","author":"Xie Zifan","year":"2024","unstructured":"Zifan Xie, Ming Wen, Shiyu Qiu, and Hai Jin. 2024. Validating JVM Compilers via Maximizing Optimization Interactions. In Proceedings of the the ACM Conference on Architectural Support for Programming Languages and Operating Systems."},{"key":"e_1_3_2_1_33_1","volume-title":"Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation. 283\u2013294","author":"Yang Xuejun","year":"2011","unstructured":"Xuejun Yang, Yang Chen, Eric Eide, and John Regehr. 2011. Finding and understanding bugs in C compilers. In Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation. 283\u2013294."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2013.07.004"},{"key":"e_1_3_2_1_35_1","volume-title":"Proceedings of the 37th International Conference on Software Engineering -","volume":"1","author":"Yu Zhongxing","year":"2015","unstructured":"Zhongxing Yu, Chenggang Bai, and Kai-Yuan Cai. 2015. Does the Failing Test Execute a Single or Multiple Faults? An Approach to Classifying Failing Tests. In Proceedings of the 37th International Conference on Software Engineering - Volume 1 (Florence, Italy) (ICSE '15). IEEE Press, 924\u2013935."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-018-9619-4"},{"key":"e_1_3_2_1_37_1","volume-title":"Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"Zhang Qirun","year":"2017","unstructured":"Qirun Zhang, Chengnian Sun, and Zhendong Su. 2017. Skeletal program enumeration for rigorous compiler testing. In Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation (Barcelona, Spain) (PLDI 2017). Association for Computing Machinery, New York, NY, USA, 347\u2013361. 10.1145\/3062341.3062379"},{"key":"e_1_3_2_1_38_1","volume-title":"Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 2192\u20132194","author":"Zhang Yi","year":"2023","unstructured":"Yi Zhang. 2023. Detection of Optimizations Missed by the Compiler. In Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 2192\u20132194."},{"key":"e_1_3_2_1_39_1","volume-title":"Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"Zhao Jianzhou","year":"2013","unstructured":"Jianzhou Zhao, Santosh Nagarakatte, Milo M.K. Martin, and Steve Zdancewic. 2013. Formal verification of SSA-based optimizations for LLVM. In Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation (Seattle, Washington, USA) (PLDI '13). Association for Computing Machinery, New York, NY, USA, 175\u2013186. 10.1145\/2491956.2462164"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"crossref","first-page":"110884","DOI":"10.1016\/j.jss.2020.110884","article-title":"An empirical study of optimization bugs in GCC and LLVM","volume":"174","author":"Zhou Zhide","year":"2021","unstructured":"Zhide Zhou, Zhilei Ren, Guojun Gao, and He Jiang. 2021. An empirical study of optimization bugs in GCC and LLVM. Journal of Systems and Software 174 (2021), 110884.","journal-title":"Journal of Systems and Software"}],"event":{"name":"FSE Companion '25: 33rd ACM International Conference on the Foundations of Software Engineering","location":"Clarion Hotel Trondheim Trondheim Norway","acronym":"FSE Companion '25","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"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.3728528","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,28]],"date-time":"2025-07-28T19:12:42Z","timestamp":1753729962000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3696630.3728528"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,23]]},"references-count":40,"alternative-id":["10.1145\/3696630.3728528","10.1145\/3696630"],"URL":"https:\/\/doi.org\/10.1145\/3696630.3728528","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"}}]}}