{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T04:26:28Z","timestamp":1769747188253,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,2,22]],"date-time":"2020-02-22T00:00:00Z","timestamp":1582329600000},"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":[[2020,2,22]]},"DOI":"10.1145\/3368826.3377927","type":"proceedings-article","created":{"date-parts":[[2020,2,21]],"date-time":"2020-02-21T21:49:28Z","timestamp":1582321768000},"page":"81-93","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":28,"title":["Testing static analyses for precision and soundness"],"prefix":"10.1145","author":[{"given":"Jubi","family":"Taneja","sequence":"first","affiliation":[{"name":"University of Utah, USA"}]},{"given":"Zhengyang","family":"Liu","sequence":"additional","affiliation":[{"name":"University of Utah, USA"}]},{"given":"John","family":"Regehr","sequence":"additional","affiliation":[{"name":"University of Utah, USA"}]}],"member":"320","published-online":{"date-parts":[[2020,2,22]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Yarpgen: Yet Another Random Program Generator. https:\/\/github.com\/ intel\/yarpgen .","author":"Babokin Dmitry","year":"2017","unstructured":"Dmitry Babokin, Anton Mitrokhin, and Vsevolod Livinskiy. 2017. Yarpgen: Yet Another Random Program Generator. https:\/\/github.com\/ intel\/yarpgen ."},{"key":"e_1_3_2_1_2_1","volume-title":"http:\/\/llvm.org\/viewvc\/llvm- project? view=revision&revision=124183 . [Online","author":"Revision","year":"2019","unstructured":"Baldrick. 2011. Revision 124183. http:\/\/llvm.org\/viewvc\/llvm- project? view=revision&revision=124183 . [Online; accessed 08-27-2019]."},{"key":"e_1_3_2_1_3_1","volume-title":"http:\/\/llvm.org\/viewvc\/llvm- project? view=revision&revision=124184 . [Online","author":"Revision","year":"2019","unstructured":"Baldrick. 2011. Revision 124184. http:\/\/llvm.org\/viewvc\/llvm- project? view=revision&revision=124184 . [Online; accessed 08-27-2019]."},{"key":"e_1_3_2_1_4_1","volume-title":"http:\/\/llvm.org\/viewvc\/llvm- project? view=revision&revision=124188 . [Online","author":"Revision","year":"2019","unstructured":"Baldrick. 2011. Revision 124188. http:\/\/llvm.org\/viewvc\/llvm- project? view=revision&revision=124188 . [Online; accessed 08-27-2019]."},{"key":"e_1_3_2_1_5_1","volume-title":"http:\/\/llvm.org\/viewvc\/llvm- project? view=revision&revision=155818 . [Online","author":"Revision","year":"2019","unstructured":"Baldrick. 2012. Revision 155818. http:\/\/llvm.org\/viewvc\/llvm- project? view=revision&revision=155818 . [Online; accessed 08-27-2019]."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3240464"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1988042.1988046"},{"key":"e_1_3_2_1_8_1","volume-title":"Testing Static Analyzers with Randomly Generated Programs. In NASA Formal Methods Symposium. Springer, 120\u2013125","author":"Cuoq Pascal","year":"2012","unstructured":"Pascal Cuoq, Benjamin Monate, Anne Pacalet, Virgile Prevosto, John Regehr, Boris Yakobowski, and Xuejun Yang. 2012. Testing Static Analyzers with Randomly Generated Programs. In NASA Formal Methods Symposium. Springer, 120\u2013125."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/115372.115320"},{"key":"e_1_3_2_1_10_1","volume-title":"http:\/\/llvm.org\/viewvc\/llvmproject?view=revision&revision=233225 . [Online","author":"Das Sanjoy","year":"2019","unstructured":"Sanjoy Das. 2015. Revision 233225. http:\/\/llvm.org\/viewvc\/llvmproject?view=revision&revision=233225 . [Online; accessed 08-27-2019]."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792766"},{"key":"e_1_3_2_1_12_1","volume-title":"Solving Exists\/ForAll Problems With Yices. In Workshop on satisfiability modulo theories.","author":"Dutertre Bruno","year":"2015","unstructured":"Bruno Dutertre. 2015. Solving Exists\/ForAll Problems With Yices. In Workshop on satisfiability modulo theories."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38856-9_3"},{"key":"e_1_3_2_1_14_1","volume-title":"https:\/\/reviews.llvm. org\/rL309415 . [Online","author":"Hiroshi Yamauchi","year":"2017","unstructured":"Yamauchi Hiroshi. 2017. [LVI] Constant-propagate a zero extension of the switch condition value through case edges. https:\/\/reviews.llvm. org\/rL309415 . [Online; accessed 11-12-2017]."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/186025.186043"},{"key":"e_1_3_2_1_16_1","volume-title":"Differentially Testing Soundness and Precision of Program Analyzers. arXiv preprint arXiv:1812.05033","author":"Klinger Christian","year":"2018","unstructured":"Christian Klinger, Maria Christakis, and Valentin W\u00fcstholz. 2018. Differentially Testing Soundness and Precision of Program Analyzers. arXiv preprint arXiv:1812.05033 (2018)."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11086-005-0008-6"},{"key":"e_1_3_2_1_18_1","volume-title":"Miscompile of % in loop. https:\/\/bugs.llvm.org\/ show_bug.cgi?id=23011 . [Online","author":"Lewycky Nick","year":"2019","unstructured":"Nick Lewycky. 2015. Miscompile of % in loop. https:\/\/bugs.llvm.org\/ show_bug.cgi?id=23011 . [Online; accessed 08-27-2019]."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3213847"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1640"},{"key":"e_1_3_2_1_21_1","volume-title":"Wrong code bug. https:\/\/bugs.llvm.org\/show_bug. cgi?id=12541 . [Online","author":"Regehr John","year":"2019","unstructured":"John Regehr. 2012. Wrong code bug. https:\/\/bugs.llvm.org\/show_bug. cgi?id=12541 . [Online; accessed 08-27-2019]."},{"key":"e_1_3_2_1_22_1","volume-title":"Souper: A Synthesizing Superoptimizer. https:\/\/arxiv.org\/abs\/1711.04422 . https:\/\/github.com\/ google\/souper .","author":"Regehr John","year":"2017","unstructured":"John Regehr, Raimondas Sasnauskas, Peter Collingbourne, Jeroen Ketema, Jubi Taneja, and Yang Chen. 2017. Souper: A Synthesizing Superoptimizer. https:\/\/arxiv.org\/abs\/1711.04422 . https:\/\/github.com\/ google\/souper ."},{"key":"e_1_3_2_1_23_1","volume-title":"The Free Encyclopedia. https:\/\/en.wikipedia.org\/wiki\/Semilattice [Online","author":"Wikipedia Semilattice","year":"2019","unstructured":"Wikipedia-Semilattice. 2019. Semilattice \u2014 Wikipedia, The Free Encyclopedia. https:\/\/en.wikipedia.org\/wiki\/Semilattice [Online; accessed 01-09-2019]."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"}],"event":{"name":"CGO '20: 18th ACM\/IEEE International Symposium on Code Generation and Optimization","location":"San Diego CA USA","acronym":"CGO '20","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 18th ACM\/IEEE International Symposium on Code Generation and Optimization"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3368826.3377927","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3368826.3377927","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:23:28Z","timestamp":1750202608000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3368826.3377927"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,2,22]]},"references-count":24,"alternative-id":["10.1145\/3368826.3377927","10.1145\/3368826"],"URL":"https:\/\/doi.org\/10.1145\/3368826.3377927","relation":{},"subject":[],"published":{"date-parts":[[2020,2,22]]},"assertion":[{"value":"2020-02-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}