{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T09:51:14Z","timestamp":1773481874893,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,10,23]],"date-time":"2015-10-23T00:00:00Z","timestamp":1445558400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1117603, 1319187, 1349528, 528133"],"award-info":[{"award-number":["1117603, 1319187, 1349528, 528133"]}],"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":[[2015,10,23]]},"DOI":"10.1145\/2814270.2814319","type":"proceedings-article","created":{"date-parts":[[2015,11,2]],"date-time":"2015-11-02T16:04:33Z","timestamp":1446480273000},"page":"386-399","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":111,"title":["Finding deep compiler bugs via guided stochastic program mutation"],"prefix":"10.1145","author":[{"given":"Vu","family":"Le","sequence":"first","affiliation":[{"name":"University of California at Davis, USA"}]},{"given":"Chengnian","family":"Sun","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":[[2015,10,23]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"ACE. SuperTest compiler test and validation suite. URL http:\/\/www.ace.nl\/compiler\/supertest.html.  ACE. SuperTest compiler test and validation suite. URL http:\/\/www.ace.nl\/compiler\/supertest.html."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1020281327116"},{"key":"e_1_3_2_1_3_1","unstructured":"A. Balestrat. CCG: A random C code generator. URL https:\/\/github.com\/Merkil\/ccg\/.  A. Balestrat. CCG: A random C code generator. URL https:\/\/github.com\/Merkil\/ccg\/."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462173"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737986"},{"key":"e_1_3_2_1_6_1","volume-title":"Markov Chain Monte Carlo In Practice","author":"Gilks W. R.","year":"1999","unstructured":"W. R. Gilks . Markov Chain Monte Carlo In Practice . Chapman and Hall\/CRC , 1999 . ISBN 0412055511. W. R. Gilks. Markov Chain Monte Carlo In Practice. Chapman and Hall\/CRC, 1999. ISBN 0412055511."},{"key":"e_1_3_2_1_7_1","unstructured":"GNU Compiler Collection. Gcov - Using the GNU Compiler Collection (GCC). URL http:\/\/gcc.gnu.org\/onlinedocs\/ gcc\/Gcov.html.  GNU Compiler Collection. Gcov - Using the GNU Compiler Collection (GCC). URL http:\/\/gcc.gnu.org\/onlinedocs\/ gcc\/Gcov.html."},{"key":"e_1_3_2_1_8_1","unstructured":"Jesse Ruderman. Introducing jsfunfuzz. URL http:\/\/www. squarefree.com\/2007\/08\/02\/introducing-jsfunfuzz\/.  Jesse Ruderman. Introducing jsfunfuzz. URL http:\/\/www. squarefree.com\/2007\/08\/02\/introducing-jsfunfuzz\/."},{"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\/1111037.1111042"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-009-9155-4"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706329"},{"issue":"1","key":"e_1_3_2_1_14_1","first-page":"100","article-title":"Differential testing for software","volume":"10","author":"McKeeman W. M.","year":"1998","unstructured":"W. M. McKeeman . Differential testing for software . Digital Technical Journal , 10 ( 1 ): 100 \u2013 107 , 1998 . W. M. McKeeman. Differential testing for software. Digital Technical Journal, 10(1):100\u2013107, 1998.","journal-title":"Digital Technical Journal"},{"key":"e_1_3_2_1_15_1","unstructured":"S. McPeak D. S. Wilkerson and S. Goldsmith. Berkeley Delta. URL http:\/\/delta.tigris.org\/.  S. McPeak D. S. Wilkerson and S. Goldsmith. Berkeley Delta. URL http:\/\/delta.tigris.org\/."},{"key":"e_1_3_2_1_16_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\u2013 53 , 2012 . 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_17_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\u2013 93 , 2013 . 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_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349314"},{"key":"e_1_3_2_1_19_1","unstructured":"Plum Hall Inc. The Plum Hall Validation Suite for C. URL http:\/\/www.plumhall.com\/stec.html.  Plum Hall Inc. The Plum Hall Validation Suite for C. URL http:\/\/www.plumhall.com\/stec.html."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/646482.691453"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254104"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2451116.2451150"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594302"},{"key":"e_1_3_2_1_25_1","volume-title":"Performance Evaluation Corporation. SPEC CINT2006 Benchmarks. URL https:\/\/www.spec.org\/ cpu2006\/CINT2006\/.","unstructured":"Standard Performance Evaluation Corporation. SPEC CINT2006 Benchmarks. URL https:\/\/www.spec.org\/ cpu2006\/CINT2006\/. Standard Performance Evaluation Corporation. SPEC CINT2006 Benchmarks. URL https:\/\/www.spec.org\/ cpu2006\/CINT2006\/."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480915"},{"key":"e_1_3_2_1_27_1","unstructured":"The Clang Team. Clang 3.4 documentation: LibTooling. URL http:\/\/clang.llvm.org\/docs\/LibTooling.html.  The Clang Team. Clang 3.4 documentation: LibTooling. URL http:\/\/clang.llvm.org\/docs\/LibTooling.html."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993533"},{"key":"e_1_3_2_1_29_1","unstructured":"Wikipedia. Jaccard index. URL http:\/\/en.wikipedia.org\/ wiki\/Jaccard_index.  Wikipedia. Jaccard index. URL http:\/\/en.wikipedia.org\/ wiki\/Jaccard_index."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462164"},{"key":"e_1_3_2_1_32_1","unstructured":"Introduction Illustrative Examples LLVM Crashing Bug 18615 GCC Miscompilation Bug 61383 Background Equivalence Modulo Inputs Markov Chain Monte Carlo MCMC Bug Finding Objective Function MCMC Sampling Variant Proposal Athena Extracting Statement Candidates Proposing Variants Discussion Evaluation Testing Setup Quantitative Results Effectiveness of MCMC Bug Finding Coverage Improvement Assorted Sample Bugs Found by Athena Related Work Conclusion Acknowledgments  Introduction Illustrative Examples LLVM Crashing Bug 18615 GCC Miscompilation Bug 61383 Background Equivalence Modulo Inputs Markov Chain Monte Carlo MCMC Bug Finding Objective Function MCMC Sampling Variant Proposal Athena Extracting Statement Candidates Proposing Variants Discussion Evaluation Testing Setup Quantitative Results Effectiveness of MCMC Bug Finding Coverage Improvement Assorted Sample Bugs Found by Athena Related Work Conclusion Acknowledgments"}],"event":{"name":"SPLASH '15: Conference on Systems, Programming, Languages, and Applications: Software for Humanity","location":"Pittsburgh PA USA","acronym":"SPLASH '15","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2814270.2814319","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2814270.2814319","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:48:41Z","timestamp":1750211321000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2814270.2814319"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,23]]},"references-count":31,"alternative-id":["10.1145\/2814270.2814319","10.1145\/2814270"],"URL":"https:\/\/doi.org\/10.1145\/2814270.2814319","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2858965.2814319","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2015,10,23]]},"assertion":[{"value":"2015-10-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}