{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T01:45:07Z","timestamp":1773193507796,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,6,16]],"date-time":"2013-06-16T00:00:00Z","timestamp":1371340800000},"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":[[2013,6,16]]},"DOI":"10.1145\/2491956.2491967","type":"proceedings-article","created":{"date-parts":[[2013,6,11]],"date-time":"2013-06-11T12:03:50Z","timestamp":1370952230000},"page":"187-196","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":59,"title":["Compiler testing via a theory of sound optimisations in the C11\/C++11 memory model"],"prefix":"10.1145","author":[{"given":"Robin","family":"Morisset","sequence":"first","affiliation":[{"name":"ENS & INRIA, Paris, France"}]},{"given":"Pankaj","family":"Pawan","sequence":"additional","affiliation":[{"name":"IIT Kanpur & INRIA, Paris, France"}]},{"given":"Francesco","family":"Zappa Nardelli","sequence":"additional","affiliation":[{"name":"INRIA, Paris, France"}]}],"member":"320","published-online":{"date-parts":[[2013,6,16]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"The cpptest tool. smallhttp:\/\/www.di.ens.fr\/~zappa\/projects\/cmmtest\/.  The cpptest tool. smallhttp:\/\/www.di.ens.fr\/~zappa\/projects\/cmmtest\/."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/325164.325100"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/1987389.1987395"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926394"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103717"},{"key":"e_1_3_2_1_6_1","volume-title":"phStandard for Programming Language C- ISO\/IEC 14882","author":"Becker P.","year":"2011","unstructured":"P. Becker . phStandard for Programming Language C- ISO\/IEC 14882 , 2011 . P. Becker. phStandard for Programming Language C- ISO\/IEC 14882, 2011."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375591"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(97)00017-7"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/0950-5849(95)01055-6"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1450058.1450093"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14052-5_18"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1085130.1085132"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065034"},{"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 -- 107 , 1998 . W. M. McKeeman. Differential testing for software. Digital Technical Journal, 10 (1): 100--107, 1998.","journal-title":"Digital Technical Journal"},{"key":"e_1_3_2_1_15_1","unstructured":"P. E. McKenney and R. Silvera 2011. smallhttp:\/\/www.rdrop.com\/users\/paulmck\/scalability\/!paper\/N2745r.2011.03.04a.html.  P. E. McKenney and R. Silvera 2011. smallhttp:\/\/www.rdrop.com\/users\/paulmck\/scalability\/!paper\/N2745r.2011.03.04a.html."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254104"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993534"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/42190.42277"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.v37:14"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1460833.1460869"},{"key":"e_1_3_2_1_23_1","volume-title":"Brief tentative example x86 implementation for C\/C memory model","author":"Terekhov A.","year":"2008","unstructured":"A. Terekhov . Brief tentative example x86 implementation for C\/C memory model , 2008 . http:\/\/www.decadent.org.uk\/pipermail\/~cpp-threads\/2008-December\/001933.html. A. Terekhov. Brief tentative example x86 implementation for C\/C memory model, 2008. http:\/\/www.decadent.org.uk\/pipermail\/~cpp-threads\/2008-December\/001933.html."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"},{"key":"e_1_3_2_1_25_1","volume-title":"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 AST , 2009 . C. Zhao, Y. Xue, Q. Tao, L. Guo, and Z. Wang. Automated test program generation for an industrial optimizing compiler. In AST, 2009."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103709"}],"event":{"name":"PLDI '13: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Seattle Washington USA","acronym":"PLDI '13","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2491956.2491967","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2491956.2491967","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:39:10Z","timestamp":1750221550000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2491956.2491967"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6,16]]},"references-count":24,"alternative-id":["10.1145\/2491956.2491967","10.1145\/2491956"],"URL":"https:\/\/doi.org\/10.1145\/2491956.2491967","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2499370.2491967","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2013,6,16]]},"assertion":[{"value":"2013-06-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}