{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,29]],"date-time":"2026-01-29T23:37:48Z","timestamp":1769729868606,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,2,24]],"date-time":"2018-02-24T00:00:00Z","timestamp":1519430400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"ITEA3","award":["14014"],"award-info":[{"award-number":["14014"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,2,24]]},"DOI":"10.1145\/3178372.3179521","type":"proceedings-article","created":{"date-parts":[[2018,2,21]],"date-time":"2018-02-21T16:46:16Z","timestamp":1519231576000},"page":"82-92","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":33,"title":["Finding missed compiler optimizations by differential testing"],"prefix":"10.1145","author":[{"given":"Gerg\u00f6","family":"Barany","sequence":"first","affiliation":[{"name":"Inria, France"}]}],"member":"320","published-online":{"date-parts":[[2018,2,24]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"CCG: A random C code generator. Source code repository.","author":"Balestrat Antoine","year":"2016","unstructured":"Antoine Balestrat. 2016. CCG: A random C code generator. Source code repository. (2016). https:\/\/github.com\/Mrktn\/ccg"},{"key":"e_1_3_2_1_2_1","volume-title":"Liveness-Driven Random Program Generation. In Pre-proceedings of LOPSTR","author":"Barany Gerg\u00f6","year":"2017","unstructured":"Gerg\u00f6 Barany. 2017. Liveness-Driven Random Program Generation. In Pre-proceedings of LOPSTR 2017. https:\/\/arxiv.org\/abs\/1709.04421"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","unstructured":"Dirk Beyer and M. Erkan Keremoglu. 2011. CPAchecker: A Tool for Configurable Software Verification. In Computer Aided Verification -23rd International Conference CAV. 184\u2013190.","DOI":"10.5555\/2032305.2032321"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"Sandrine Blazy David B\u00fchler and Boris Yakobowski. 2017. Structuring Abstract Interpreters Through State and Value Abstractions. In Verification Model Checking and Abstract Interpretation (VMCAI).","DOI":"10.1007\/978-3-319-52234-0_7"},{"key":"e_1_3_2_1_5_1","volume-title":"Optgen: A Generator for Local Optimizations. In Compiler Construction: 24th International Conference, CC 2015.","author":"Buchwald Sebastian","year":"2015","unstructured":"Sebastian Buchwald. 2015. Optgen: A Generator for Local Optimizations. In Compiler Construction: 24th International Conference, CC 2015."},{"key":"e_1_3_2_1_6_1","unstructured":"Yang Chen and John Regehr. 2010. Comparing Compiler Optimizations. Blog post. (2010). https:\/\/blog.regehr.org\/archives\/320"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28891-3_12"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1450058.1450093"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237777"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.2197\/ipsjtsldm.9.21"},{"key":"e_1_3_2_1_11_1","volume-title":"The 20th Workshop on Synthesis And System Integration of Mixed Information technologies (SASIMI 2016","author":"Iwatsuji Mitsuyoshi","year":"2016","unstructured":"Mitsuyoshi Iwatsuji, Atsushi Hashimoto, and Nagisa Ishiura. 2016. Detecting Missed Arithmetic Optimization in C Compilers by Differential Random Testing. In The 20th Workshop on Synthesis And System Integration of Mixed Information technologies (SASIMI 2016). http:\/\/ist.ksc.kwansei.ac. jp\/~ishiura\/publications\/C2016-10a.pdf"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-014-0326-7"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737986"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/36206.36194"},{"key":"e_1_3_2_1_15_1","article-title":"Differential Testing for Software","volume":"10","author":"McKeeman William M.","year":"1998","unstructured":"William M. McKeeman. 1998. Differential Testing for Software. Digital Technical Journal 10, 1 (1998). http:\/\/www.cs.dartmouth.edu\/~mckeeman\/ references\/DifferentialTestingForSoftware.pdf","journal-title":"Digital Technical Journal"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3110259"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/PACT.2009.12"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2009.26"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.2197\/ipsjtsldm.7.91"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2872362.2872387"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","unstructured":"John Regehr Yang Chen Pascal Cuoq Eric Eide Chucky Ellison and Xuejun Yang. 2012. Test-case Reduction for C Compiler Bugs. In PLDI \u201912. 10.1145\/2254064.2254104","DOI":"10.1145\/2254064.2254104"},{"key":"e_1_3_2_1_22_1","unstructured":"Jesse Ruderman. 2015. jsfunfuzz. Source code repository. (2015). https: \/\/github.com\/MozillaSecurity\/funfuzz\/tree\/master\/js\/jsfunfuzz"},{"key":"e_1_3_2_1_23_1","volume-title":"Souper: A Synthesizing Superoptimizer. CoRR abs\/1711.04422","author":"Sasnauskas Raimondas","year":"2017","unstructured":"Raimondas Sasnauskas, Yang Chen, Peter Collingbourne, Jeroen Ketema, Jubi Taneja, and John Regehr. 2017. Souper: A Synthesizing Superoptimizer. CoRR abs\/1711.04422 (2017). arXiv: 1711.04422 http:\/\/arxiv.org\/ abs\/1711.04422"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2016.17"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2931074"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","unstructured":"Tao Wei Jian Mao Wei Zou and Yu Chen. 2007. A New Algorithm for Identifying Loops in Decompilation. In SAS\u201907. http:\/\/dl.acm.org\/citation. cfm?id=2391451.2391464","DOI":"10.5555\/2391451.2391464"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"}],"event":{"name":"CGO '18: 16th Annual IEEE\/ACM International Symposium on Code Generation and Optimization","location":"Vienna Austria","acronym":"CGO '18","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing","IEEE-CS Computer Society"]},"container-title":["Proceedings of the 27th International Conference on Compiler Construction"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3178372.3179521","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3178372.3179521","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:26:23Z","timestamp":1750213583000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3178372.3179521"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,2,24]]},"references-count":27,"alternative-id":["10.1145\/3178372.3179521","10.1145\/3178372"],"URL":"https:\/\/doi.org\/10.1145\/3178372.3179521","relation":{},"subject":[],"published":{"date-parts":[[2018,2,24]]},"assertion":[{"value":"2018-02-24","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}