{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T02:34:25Z","timestamp":1781836465115,"version":"3.54.5"},"reference-count":32,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T00:00:00Z","timestamp":1556668800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T00:00:00Z","timestamp":1556668800000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T00:00:00Z","timestamp":1556668800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T00:00:00Z","timestamp":1556668800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"NSF CAREER Award","award":["A#: 1553419"],"award-info":[{"award-number":["A#: 1553419"]}]},{"DOI":"10.13039\/100000003","name":"Boeing","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000003","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["A#: 1526405"],"award-info":[{"award-number":["A#: 1526405"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"name":"CCS-AD"},{"name":"Boeing Corporation"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2019,5]]},"DOI":"10.1109\/tcad.2018.2834421","type":"journal-article","created":{"date-parts":[[2018,5,8]],"date-time":"2018-05-08T18:55:19Z","timestamp":1525805719000},"page":"798-808","source":"Crossref","is-referenced-by-count":32,"title":["TaintHLS: High-Level Synthesis for Dynamic Information Flow Tracking"],"prefix":"10.1109","volume":"38","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9315-1788","authenticated-orcid":false,"given":"Christian","family":"Pilato","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kaijie","family":"Wu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Siddharth","family":"Garg","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7989-5617","authenticated-orcid":false,"given":"Ramesh","family":"Karri","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Francesco","family":"Regazzoni","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/LES.2017.2774800"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2012.6164926"},{"key":"ref30","first-page":"146","article-title":"Static information flow analysis with handling of implicit flows and a study on effects of implicit flows vs explicit flows","author":"liu","year":"2010","journal-title":"Proc European Conf on Softw Maintenance and Reengineering (CSMR)"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2009.5270347"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/FPL.2013.6645550"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2039370.2039381"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2968456.2976764"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/CODES-ISSS.2013.6658991"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2011.2120970"},{"key":"ref16","first-page":"10","article-title":"Computing’s energy problem (and what we can do about it)","author":"horowitz","year":"2014","journal-title":"ISSCC Dig Tech Papers"},{"key":"ref17","first-page":"121","article-title":"A unified formal model of ISA and FSMD","author":"zhu","year":"1999","journal-title":"Proc of Hardware-Software Codesign Workshop (Codes)"},{"key":"ref18","first-page":"435","article-title":"System-level optimization of accelerator local memory for heterogeneous systems-on-chip","volume":"36","author":"pilato","year":"2017","journal-title":"IEEE Trans Comput -Aided Design Integr Circuits Syst"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2554688.2554780"},{"key":"ref28","first-page":"145","article-title":"Designing the low-power MCORE architecture","author":"scott","year":"1998","journal-title":"Proc Power Driven Microarch Workshop"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2086696.2086727"},{"key":"ref27","year":"2016","journal-title":"Bambu 0 9 4"},{"key":"ref3","first-page":"1","article-title":"An analysis of accelerator coupling in heterogeneous architectures","author":"cota","year":"2015","journal-title":"Proc Design Autom Conf (DAC)"},{"key":"ref6","first-page":"393","article-title":"TaintDroid: An information-flow tracking system for realtime privacy monitoring on smartphones","author":"enck","year":"2010","journal-title":"Proc Operating System Design and Implementation (OSDI)"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/IISWC.2014.6983050"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2513673"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1250662.1250722"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1024393.1024404"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228512"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/359636.359712"},{"key":"ref1","first-page":"365","article-title":"Dark silicon and the end of multicore scaling","author":"esmaeilzadeh","year":"2011","journal-title":"2011 38th Annual International Symposium on Computer Architecture (ISCA) ISCA"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2151024.2151042"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2593069.2596667"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/CODES-ISSS.2013.6658992"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/0167-9260(94)90011-6"},{"key":"ref23","first-page":"119","article-title":"Design and implementation of tree SSA","author":"novillo","year":"2004","journal-title":"Proc GCC Developers' Summit"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/3061639.3062203"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2017.7927266"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielaam\/43\/8694033\/8356053-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/43\/8694033\/08356053.pdf?arnumber=8356053","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,13]],"date-time":"2022-07-13T21:09:42Z","timestamp":1657746582000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8356053\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,5]]},"references-count":32,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2018.2834421","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"value":"0278-0070","type":"print"},{"value":"1937-4151","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,5]]}}}