{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T06:01:03Z","timestamp":1763704863169,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,8,18]],"date-time":"2013-08-18T00:00:00Z","timestamp":1376784000000},"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,8,18]]},"DOI":"10.1145\/2491411.2491442","type":"proceedings-article","created":{"date-parts":[[2013,8,20]],"date-time":"2013-08-20T14:07:21Z","timestamp":1377007641000},"page":"191-201","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":35,"title":["Will you still compile me tomorrow? static cross-version compiler validation"],"prefix":"10.1145","author":[{"given":"Chris","family":"Hawblitzel","sequence":"first","affiliation":[{"name":"Microsoft, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shuvendu K.","family":"Lahiri","sequence":"additional","affiliation":[{"name":"Microsoft, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kshama","family":"Pawar","sequence":"additional","affiliation":[{"name":"Microsoft, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hammad","family":"Hashmi","sequence":"additional","affiliation":[{"name":"Microsoft, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sedar","family":"Gokbulut","sequence":"additional","affiliation":[{"name":"Microsoft, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lakshan","family":"Fernando","sequence":"additional","affiliation":[{"name":"Microsoft, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dave","family":"Detlefs","sequence":"additional","affiliation":[{"name":"Microsoft, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Scott","family":"Wadsworth","sequence":"additional","affiliation":[{"name":"Microsoft, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,8,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/11804192_17"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1646353.1646374"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1379022.1375604"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792766"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480935"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993550"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31424-7_54"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111042"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349314"},{"key":"e_1_3_2_1_10_1","article-title":"Clr inside out: Program silverlight with the coreclr","author":"Pardoe A.","year":"2008","unstructured":"A. Pardoe . Clr inside out: Program silverlight with the coreclr . In MSDN Magazine , Aug. 2008 . A. Pardoe. Clr inside out: Program silverlight with the coreclr. In MSDN Magazine, Aug. 2008.","journal-title":"MSDN Magazine"},{"key":"e_1_3_2_1_11_1","first-page":"166","volume-title":"Tools and Algorithms for Construction and Analysis of Systems (TACAS \u201998)","author":"Pnueli A.","year":"1998","unstructured":"A. Pnueli , M. Siegel , and E. Singerman . Translation validation . In Tools and Algorithms for Construction and Analysis of Systems (TACAS \u201998) , pages 151\u2013 166 , 1998 . A. Pnueli, M. Siegel, and E. Singerman. Translation validation. In Tools and Algorithms for Construction and Analysis of Systems (TACAS \u201998), pages 151\u2013166, 1998."},{"key":"e_1_3_2_1_12_1","volume-title":"Build Conference","author":"Ramaswamy S.","year":"2012","unstructured":"S. Ramaswamy . Deep dive into the kernel of .NET on Windows Phone 8 . In Build Conference , Nov. 2012 . S. Ramaswamy. Deep dive into the kernel of .NET on Windows Phone 8. In Build Conference, Nov. 2012."},{"key":"e_1_3_2_1_13_1","volume-title":"CAV","author":"Ramos D.","year":"2011","unstructured":"D. Ramos and D. Engler . Practical, low-effort equivalence verification of real code . In CAV , 2011 . D. Ramos and D. Engler. Practical, low-effort equivalence verification of real code. In CAV, 2011."},{"key":"e_1_3_2_1_14_1","volume-title":"CAV","author":"Stepp M.","year":"2011","unstructured":"M. Stepp , R. Tate , and S. Lerner . Equality-based translation validator for llvm . In CAV , 2011 . M. Stepp, R. Tate, and S. Lerner. Equality-based translation validator for llvm. In CAV, 2011."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480915"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993533"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103709"}],"event":{"name":"ESEC\/FSE'13: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Saint Petersburg Russia","acronym":"ESEC\/FSE'13"},"container-title":["Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2491411.2491442","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2491411.2491442","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:28:41Z","timestamp":1750231721000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2491411.2491442"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8,18]]},"references-count":18,"alternative-id":["10.1145\/2491411.2491442","10.1145\/2491411"],"URL":"https:\/\/doi.org\/10.1145\/2491411.2491442","relation":{},"subject":[],"published":{"date-parts":[[2013,8,18]]},"assertion":[{"value":"2013-08-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}