{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T04:42:11Z","timestamp":1729658531471,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T00:00:00Z","timestamp":1648857600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T00:00:00Z","timestamp":1648857600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,4,2]]},"DOI":"10.1109\/cgo53902.2022.9741273","type":"proceedings-article","created":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T19:51:20Z","timestamp":1648583480000},"page":"144-154","source":"Crossref","is-referenced-by-count":2,"title":["Automatic Generation of Debug Headers through BlackBox Equivalence Checking"],"prefix":"10.1109","author":[{"given":"Vaibhav Kiran","family":"Kurhe","sequence":"first","affiliation":[{"name":"Indian Institute of Technology,Delhi,India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pratik","family":"Karia","sequence":"additional","affiliation":[{"name":"Indian Institute of Technology,Delhi,India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shubhani","family":"Gupta","sequence":"additional","affiliation":[{"name":"Indian Institute of Technology,Delhi,India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abhishek","family":"Rose","sequence":"additional","affiliation":[{"name":"Indian Institute of Technology,Delhi,India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sorav","family":"Bansal","sequence":"additional","affiliation":[{"name":"Indian Institute of Technology,Delhi,India"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"article-title":"Blackbox equivalence checking of program optimizations","year":"2019","author":"churchill","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3428289"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314596"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31987-0_5"},{"journal-title":"Elementary Linear Algebra Applications Version","year":"0","author":"anton","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/143095.143114"},{"article-title":"Non-transparent debugging of optimized code","year":"2000","author":"tice","key":"ref16"},{"article-title":"Source-level debugging of optimized programs using data flow analysis","year":"1992","author":"berger","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45099-3_13"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1006147.1006183"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1594834.1480915"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/357172.357173"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168906"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3037697.3037754"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2451116.2451150"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/PACT.2011.68"},{"key":"ref7","article-title":"Souper: A synthesizing superoptimizer","volume":"abs 1711 4422","author":"sasnauskas","year":"2017","journal-title":"CoRR"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512566"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-71237-6_7"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1145\/36206.36194","article-title":"Superoptimizer: A look at the smallest program","author":"massalin","year":"1987","journal-title":"ASPLOS '87 Proceedings of the Second International Conference on Architectural Support for Programming Languages and Operating Systems"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/143095.143108"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/178243.178430"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/231379.231388"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/318774.318947"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/177492.177517"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386020"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446695"}],"event":{"name":"2022 IEEE\/ACM International Symposium on Code Generation and Optimization (CGO)","start":{"date-parts":[[2022,4,2]]},"location":"Seoul, Korea, Republic of","end":{"date-parts":[[2022,4,6]]}},"container-title":["2022 IEEE\/ACM International Symposium on Code Generation and Optimization (CGO)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9741235\/9741095\/09741273.pdf?arnumber=9741273","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,30]],"date-time":"2023-01-30T20:23:43Z","timestamp":1675110223000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9741273\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,4,2]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/cgo53902.2022.9741273","relation":{},"subject":[],"published":{"date-parts":[[2022,4,2]]}}}