{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T11:26:31Z","timestamp":1725708391642},"reference-count":0,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,4]]},"DOI":"10.1109\/cgo.2011.5764668","type":"proceedings-article","created":{"date-parts":[[2011,5,9]],"date-time":"2011-05-09T20:40:43Z","timestamp":1304973643000},"page":"xxxi-xxxi","source":"Crossref","is-referenced-by-count":2,"title":["Keynote II: Formally verifying a compiler: Why? How? How far?"],"prefix":"10.1109","author":[{"given":"Xavier","family":"Leroy","sequence":"first","affiliation":[]}],"member":"263","event":{"name":"2011 9th Annual IEEE\/ACM International Symposium on Code Generation and Optimization (CGO)","start":{"date-parts":[[2011,4,2]]},"location":"Chamonix, France","end":{"date-parts":[[2011,4,6]]}},"container-title":["International Symposium on Code Generation and Optimization (CGO 2011)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5755493\/5764641\/05764668.pdf?arnumber=5764668","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T09:32:38Z","timestamp":1490088758000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5764668\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,4]]},"references-count":0,"URL":"https:\/\/doi.org\/10.1109\/cgo.2011.5764668","relation":{},"subject":[],"published":{"date-parts":[[2011,4]]}}}