{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,20]],"date-time":"2026-03-20T08:58:04Z","timestamp":1773997084099,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":38,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,10,19]],"date-time":"2017-10-19T00:00:00Z","timestamp":1508371200000},"content-version":"vor","delay-in-days":365,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["1528133"],"award-info":[{"award-number":["1528133"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,10,19]]},"DOI":"10.1145\/2983990.2984038","type":"proceedings-article","created":{"date-parts":[[2016,10,20]],"date-time":"2016-10-20T11:58:54Z","timestamp":1476964734000},"page":"849-863","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":135,"title":["Finding compiler bugs via live code mutation"],"prefix":"10.1145","author":[{"given":"Chengnian","family":"Sun","sequence":"first","affiliation":[{"name":"University of California at Davis, USA"}]},{"given":"Vu","family":"Le","sequence":"additional","affiliation":[{"name":"University of California at Davis, USA"}]},{"given":"Zhendong","family":"Su","sequence":"additional","affiliation":[{"name":"University of California at Davis, USA"}]}],"member":"320","published-online":{"date-parts":[[2016,10,19]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"SuperTest compiler test and validation suite","author":"ACE.","unstructured":"ACE. SuperTest compiler test and validation suite. http:\/\/ www.ace.nl\/compiler\/supertest.html, accessed: 2016- 03-20."},{"key":"e_1_3_2_1_2_1","unstructured":"A. Balestrat. CCG: A random C code generator."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908095"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737986"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","unstructured":"P. Cuoq B. Monate A. Pacalet V. Prevosto J. Regehr B. Yakobowski and X. Yang. Testing static analyzers with randomly generated programs. In A. Goodloe and S. Person editors NASA Formal Methods volume 7226 of Lecture Notes in Computer Science pages 120\u2013125. Springer Berlin Heidelberg 2012. 10.1007\/978-3-642-28891-3_12","DOI":"10.1007\/978-3-642-28891-3_12"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2896971.2896978"},{"key":"e_1_3_2_1_7_1","unstructured":"GCC Wiki. Predictive Commoning. https:\/\/gcc.gnu. org\/wiki\/PredictiveCommoning accessed: 2016-03-20."},{"key":"e_1_3_2_1_8_1","first-page":"35","volume-title":"Modular Programming Languages","author":"Hoare T.","unstructured":"T. Hoare. The verifying compiler: A grand challenge for computing research. In Modular Programming Languages, pages 25\u201335. Springer, 2003."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594334"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2771785"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814319"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/11693024_5"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111042"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-009-9155-4"},{"key":"e_1_3_2_1_15_1","unstructured":"LLVM\u2019s Analysis and Transform Passes. Loop-Closed SSA Form Pass. http:\/\/llvm.org\/docs\/Passes.html# lcssa-loop-closed-ssa-form-pass accessed: 2016-03- 20."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737965"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706329"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2522920.2522922"},{"key":"e_1_3_2_1_19_1","volume-title":"Berkeley Delta","author":"McPeak S.","unstructured":"S. McPeak, D. S. Wilkerson, and S. Goldsmith. Berkeley Delta. http:\/\/delta.tigris.org\/, accessed: 2016-03-20."},{"key":"e_1_3_2_1_20_1","first-page":"53","volume-title":"Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2012","author":"Nagai E.","year":"2012","unstructured":"E. Nagai, H. Awazu, N. Ishiura, and N. Takeda. Random testing of C compilers targeting arithmetic optimization. In Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2012), pages 48\u201353, 2012."},{"key":"e_1_3_2_1_21_1","first-page":"93","volume-title":"Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2013","author":"Nagai E.","year":"2013","unstructured":"E. Nagai, A. Hashimoto, and N. Ishiura. Scaling up size and number of expressions in random testing of arithmetic optimization of C compilers. In Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2013), pages 88\u201393, 2013."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349314"},{"key":"e_1_3_2_1_23_1","unstructured":"Plum Hall Inc. The Plum Hall Validation Suite for C. http: \/\/www.plumhall.com\/stec.html accessed: 2016-03-20."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/646482.691453"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254104"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/907044"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884879"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2931074"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480915"},{"key":"e_1_3_2_1_30_1","volume-title":"LibTooling","author":"Team The Clang","unstructured":"The Clang Team. Clang 3.4 documentation: LibTooling. http:\/\/clang.llvm.org\/docs\/LibTooling.html, accessed: 2016-03-20."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993533"},{"key":"e_1_3_2_1_32_1","unstructured":"Wikipedia. Global Value Numbering. https: \/\/en.wikipedia.org\/wiki\/Global_value_numbering accessed: 2016-03-20."},{"key":"e_1_3_2_1_33_1","unstructured":"Wikipedia. Loop unswitching. https:\/\/en.wikipedia. org\/wiki\/Loop_unswitching accessed: 2016-03-20."},{"key":"e_1_3_2_1_34_1","unstructured":"Wikipedia. Sequence point. https:\/\/en.wikipedia.org\/ wiki\/Sequence_point accessed: 2016-03-20."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"},{"key":"e_1_3_2_1_36_1","first-page":"43","volume-title":"ICSE Workshop on Automation of Software Test (AST)","author":"Zhao C.","year":"2009","unstructured":"C. Zhao, Y. Xue, Q. Tao, L. Guo, and Z. Wang. Automated test program generation for an industrial optimizing compiler. In ICSE Workshop on Automation of Software Test (AST), pages 36\u201343, 2009."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462164"},{"key":"e_1_3_2_1_38_1","unstructured":"Introduction Illustrative Examples GCC Miscompilation Bug 66186 LLVM Miscompilation Bug 26266 Equivalence Modulo Inputs Approach Program Profiling Live Code EMI Mutation Predicate Expression and TCB Synthesis Predicate Synthesis Bottom-Up Valid Expression Synthesis TCB Synthesis with Speculative Execution Implementation Sparse Profiling Evaluation Testing Setup Quantitative Results Comparison with Athena Effectiveness Line Coverage Comparison of Mutation Strategies Sample Bugs Related Work Compiler Testing Verified Compilers Translation Validation Conclusion Acknowledgments"}],"event":{"name":"SPLASH '16: Conference on Systems, Programming, Languages, and Applications: Software for Humanity","location":"Amsterdam Netherlands","acronym":"SPLASH '16","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGAda ACM Special Interest Group on Ada Programming Language"]},"container-title":["Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2983990.2984038","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2983990.2984038","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2983990.2984038","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T09:24:20Z","timestamp":1763457860000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2983990.2984038"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10,19]]},"references-count":38,"alternative-id":["10.1145\/2983990.2984038","10.1145\/2983990"],"URL":"https:\/\/doi.org\/10.1145\/2983990.2984038","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3022671.2984038","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2016,10,19]]},"assertion":[{"value":"2016-10-19","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}