{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,20]],"date-time":"2026-03-20T00:07:44Z","timestamp":1773965264481,"version":"3.50.1"},"reference-count":25,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,5,15]],"date-time":"2022-05-15T00:00:00Z","timestamp":1652572800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,5,15]],"date-time":"2022-05-15T00:00:00Z","timestamp":1652572800000},"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,5,15]]},"DOI":"10.1109\/fccm53951.2022.9786208","type":"proceedings-article","created":{"date-parts":[[2022,6,3]],"date-time":"2022-06-03T19:48:36Z","timestamp":1654285716000},"page":"1-6","source":"Crossref","is-referenced-by-count":3,"title":["Resource Sharing for Verified High-Level Synthesis"],"prefix":"10.1109","author":[{"given":"Michalis","family":"Pardalos","sequence":"first","affiliation":[{"name":"Imperial College London,UK"}]},{"given":"Yann","family":"Herklotz","sequence":"additional","affiliation":[{"name":"Imperial College London,UK"}]},{"given":"John","family":"Wickerson","sequence":"additional","affiliation":[{"name":"Imperial College London,UK"}]}],"member":"263","reference":[{"key":"ref10","year":"2021","journal-title":"Project Silver Oak Formal specification and verification of hardware especially for security and privacy"},{"key":"ref11","first-page":"653","article-title":"CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels","author":"gu","year":"0"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/FCCM51124.2021.00034"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3485494"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2629547"},{"key":"ref15","year":"2022","journal-title":"Intel High Level Synthesis Compiler"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1538788.1538814"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706329"},{"key":"ref18","article-title":"Formally verified resource sharing for High Level Synthesis","author":"pardalos","year":"2021","journal-title":"Master’s thesis"},{"key":"ref19","author":"pardalos","year":"2022","journal-title":"Public repository for Vericert-Fun"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/FPL.2014.6927490"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_14"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2677003"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1950413.1950423"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/FCCM.2019.00056"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2009.69"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3385965"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18074.2021.9586110"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-07964-5"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2010.02.007"},{"key":"ref22","author":"pouchet","year":"2016","journal-title":"PolyBench The Polyhedral Benchmark Suite"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/FPL.2013.6645550"},{"key":"ref24","year":"2022","journal-title":"Vitis HLS"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/3428197"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"}],"event":{"name":"2022 IEEE 30th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM)","location":"New York City, NY, USA","start":{"date-parts":[[2022,5,15]]},"end":{"date-parts":[[2022,5,18]]}},"container-title":["2022 IEEE 30th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9786061\/9786064\/09786208.pdf?arnumber=9786208","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,27]],"date-time":"2022-06-27T21:02:21Z","timestamp":1656363741000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9786208\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,15]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/fccm53951.2022.9786208","relation":{},"subject":[],"published":{"date-parts":[[2022,5,15]]}}}