{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:12:29Z","timestamp":1775873549327,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,11,30]],"date-time":"2023-11-30T00:00:00Z","timestamp":1701302400000},"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,11,30]]},"DOI":"10.1145\/3611643.3617846","type":"proceedings-article","created":{"date-parts":[[2023,11,30]],"date-time":"2023-11-30T23:14:38Z","timestamp":1701386078000},"page":"2192-2194","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Detection of Optimizations Missed by the Compiler"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-8159-9160","authenticated-orcid":false,"given":"Yi","family":"Zhang","sequence":"first","affiliation":[{"name":"Nanjing University, NanJing, China"}]}],"member":"320","published-online":{"date-parts":[[2023,11,30]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3197978"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/197405.197406"},{"key":"e_1_3_2_1_3_1","volume-title":"Proceedings of the 27th international conference on compiler construction. 82\u201392","author":"Barany Gerg\u00f6","unstructured":"Gerg\u00f6 Barany. [n. d.]. 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_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133876"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2020.3016773"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134020"},{"key":"e_1_3_2_1_7_1","volume-title":"Proceedings of the Tenth International Symposium on Code Generation and Optimization. 124\u2013134","author":"Chabbi Milind","unstructured":"Milind Chabbi and John Mellor-Crummey. [n. d.]. Deadspy: a tool to pinpoint program inefficiencies. In Proceedings of the Tenth International Symposium on Code Generation and Optimization. 124\u2013134."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1772954.1772963"},{"key":"e_1_3_2_1_9_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":"2020","unstructured":"Junjie Chen, Jibesh Patra, Michael Pradel, Yingfei Xiong, Hongyu Zhang, Dan Hao, and Lu Zhang. 2020. A survey of compiler testing. ACM Computing Surveys (CSUR), 53, 1 (2020), 1\u201336. issn:0360-0300","journal-title":"ACM Computing Surveys (CSUR)"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3563316"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314596"},{"key":"e_1_3_2_1_12_1","unstructured":"Armando Fox Michael Hsiao James Reed and Brent Whitlock. [n. d.]. A Survey of General and Architecture-Specific Compiler Optimization Techniques."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276496"},{"key":"e_1_3_2_1_14_1","volume-title":"Synthesizing Program-Specific Static Analyses. ArXiv, abs\/1810.06600","author":"Gordon Colin S.","year":"2018","unstructured":"Colin S. Gordon. 2018. Synthesizing Program-Specific Static Analyses. ArXiv, abs\/1810.06600 (2018)."},{"key":"e_1_3_2_1_15_1","volume-title":"Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 739\u2013743","author":"Guo Jianmin","unstructured":"Jianmin Guo, Yu Jiang, Yue Zhao, Quan Chen, and Jiaguang Sun. [n. d.]. Dlfuzz: Differential fuzzing testing of deep learning systems. In Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 739\u2013743."},{"key":"e_1_3_2_1_16_1","first-page":"169","article-title":"Detecting Missed Arithmetic Optimization Opportunities Using Random Testing of C Compilers. IEICE Technical Report; IEICE","volume":"114","author":"Hashimoto Atsushi","year":"2015","unstructured":"Atsushi Hashimoto and Nagisa Ishiura. 2015. Detecting Missed Arithmetic Optimization Opportunities Using Random Testing of C Compilers. IEICE Technical Report; IEICE Tech. Rep., 114, 426 (2015), 169\u2013174. issn:0913-5685","journal-title":"Tech. Rep."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.2197\/ipsjtsldm.9.21"},{"key":"e_1_3_2_1_18_1","volume-title":"2016 International Conference on Computation System and Information Technology for Sustainable Solutions (CSITSS), 355\u2013358","author":"Kalyur Sesha","unstructured":"Sesha Kalyur and G. S. Nagaraja. 2016. A survey of modeling techniques used in compiler design and implementation. 2016 International Conference on Computation System and Information Technology for Sustainable Solutions (CSITSS), 355\u2013358."},{"key":"e_1_3_2_1_19_1","volume-title":"International Symposium on Code Generation and Optimization, 2004. CGO 2004., 75\u201386","author":"Lattner Chris","unstructured":"Chris Lattner and Vikram S. Adve. 2004. LLVM: a compilation framework for lifelong program analysis & transformation. International Symposium on Code Generation and Optimization, 2004. CGO 2004., 75\u201386."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594334"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814319"},{"key":"e_1_3_2_1_22_1","volume-title":"Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis. 254\u2013265","author":"Lemieux Caroline","unstructured":"Caroline Lemieux, Rohan Padhye, Koushik Sen, and Dawn Song. [n. d.]. Perffuzz: Automatically generating pathological inputs. In Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis. 254\u2013265."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3287324.3287503"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428264"},{"key":"e_1_3_2_1_25_1","volume-title":"OptiScope: Performance Accountability for Optimizing Compilers. 2009 International Symposium on Code Generation and Optimization, 254\u2013264","author":"Moseley Tipp","unstructured":"Tipp Moseley, Dirk Grunwald, and Ramesh V. Peri. 2009. OptiScope: Performance Accountability for Optimizing Compilers. 2009 International Symposium on Code Generation and Optimization, 254\u2013264."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3392717.3392754"},{"key":"e_1_3_2_1_27_1","volume-title":"Proceedings of the 18th ACM\/IEEE International Symposium on Code Generation and Optimization. 81\u201393","author":"Taneja Jubi","unstructured":"Jubi Taneja, Zhengyang Liu, and John Regehr. [n. d.]. Testing static analyses for precision and soundness. In Proceedings of the 18th ACM\/IEEE International Symposium on Code Generation and Optimization. 81\u201393."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368826.3377927"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11704-019-8231-0"},{"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. 697\u2013709","author":"Theodoridis Theodoros","unstructured":"Theodoros Theodoridis, Manuel Rigger, and Zhendong Su. [n. d.]. 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. 697\u2013709."},{"key":"e_1_3_2_1_31_1","volume-title":"Proceedings of the 2018 International Symposium on Code Generation and Optimization. 314\u2013326","author":"Toffola Luca Della","unstructured":"Luca Della Toffola, Michael Pradel, and Thomas R Gross. [n. d.]. Synthesizing programs that expose performance bottlenecks. In Proceedings of the 2018 International Symposium on Code Generation and Optimization. 314\u2013326."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1128022.1128042"},{"key":"e_1_3_2_1_33_1","volume-title":"SoK: The Progress, Challenges, and Perspectives of Directed Greybox Fuzzing. ArXiv, abs\/2005.11907","author":"Wang Pengfei","year":"2020","unstructured":"Pengfei Wang and Xu Zhou. 2020. SoK: The Progress, Challenges, and Perspectives of Directed Greybox Fuzzing. ArXiv, abs\/2005.11907 (2020)."},{"key":"e_1_3_2_1_34_1","volume-title":"2015 International Conference on Parallel Architecture and Compilation (PACT). IEEE, 254\u2013265","author":"Wen Shasha","unstructured":"Shasha Wen, Xu Liu, and Milind Chabbi. [n. d.]. Runtime value numbering: A profiling technique to pinpoint redundant computations. In 2015 International Conference on Parallel Architecture and Compilation (PACT). IEEE, 254\u2013265. isbn:1467395242"},{"key":"e_1_3_2_1_35_1","volume-title":"Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation. 283\u2013294","author":"Yang Xuejun","unstructured":"Xuejun Yang, Yang Chen, Eric Eide, and John Regehr. [n. d.]. Finding and understanding bugs in C compilers. In Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation. 283\u2013294."}],"event":{"name":"ESEC\/FSE '23: 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","location":"San Francisco CA USA","acronym":"ESEC\/FSE '23","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3611643.3617846","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3611643.3617846","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:36:11Z","timestamp":1750178171000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3611643.3617846"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,30]]},"references-count":35,"alternative-id":["10.1145\/3611643.3617846","10.1145\/3611643"],"URL":"https:\/\/doi.org\/10.1145\/3611643.3617846","relation":{},"subject":[],"published":{"date-parts":[[2023,11,30]]},"assertion":[{"value":"2023-11-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}