{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T10:00:46Z","timestamp":1740132046414,"version":"3.37.3"},"reference-count":21,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"11","license":[{"start":{"date-parts":[[2018,11,1]],"date-time":"2018-11-01T00:00:00Z","timestamp":1541030400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2018,11,1]],"date-time":"2018-11-01T00:00:00Z","timestamp":1541030400000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2018,11,1]],"date-time":"2018-11-01T00:00:00Z","timestamp":1541030400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2018,11,1]],"date-time":"2018-11-01T00:00:00Z","timestamp":1541030400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Powell Foundation"},{"DOI":"10.13039\/100008227","name":"ARCS Foundation","doi-asserted-by":"crossref","id":[{"id":"10.13039\/100008227","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2018,11]]},"DOI":"10.1109\/tcad.2018.2857259","type":"journal-article","created":{"date-parts":[[2018,7,18]],"date-time":"2018-07-18T20:08:11Z","timestamp":1531944491000},"page":"2835-2844","source":"Crossref","is-referenced-by-count":8,"title":["Synthesizable Higher-Order Functions for C++"],"prefix":"10.1109","volume":"37","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4587-8947","authenticated-orcid":false,"given":"Dustin","family":"Richmond","sequence":"first","affiliation":[{"name":"Department of Computer Science and Engineering, University of California at San Diego, San Diego, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alric","family":"Althoff","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, University of California at San Diego, San Diego, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ryan","family":"Kastner","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, University of California at San Diego, San Diego, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1145\/2954679.2872415"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1109\/ICCAD.2017.8203845"},{"key":"ref12","first-page":"195","article-title":"Resolve: Generation of high-performance sorting architectures from high-level synthesis","author":"matai","year":"2016","journal-title":"Proc ACM\/SIGDA Int Symp Field Program Gate Arrays (FPGA)"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1109\/FCCM.2012.36"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1145\/289423.289440"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1145\/2228360.2228584"},{"year":"2005","author":"abrahams","journal-title":"C++ Template Metaprogramming Concepts Tools and Techniques from Boost and Beyond","key":"ref16"},{"year":"2009","author":"baaij","article-title":"$\\text{C}\\lambda$\nash: From Haskell to hardware","key":"ref17"},{"year":"1937","author":"fisher","journal-title":"The Design of Experiments","key":"ref18"},{"key":"ref19","first-page":"65","article-title":"A simple sequentially rejective multiple test procedure","volume":"6","author":"holm","year":"1979","journal-title":"Scandinavian J Stat"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1145\/1950413.1950423"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1145\/2435264.2435268","article-title":"Harnessing the power of FPGAs using Altera’s OpenCL compiler","author":"singh","year":"2013","journal-title":"Proc ACM\/SIGDA Int Symp Field Program Gate Arrays"},{"key":"ref6","article-title":"Arch2030: A vision of computer architecture research over the next 15 years","volume":"abs 1612 3182","author":"ceze","year":"2016","journal-title":"CoRR"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1109\/FPL.2013.6645550"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1145\/1559845.1559965"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1145\/1327452.1327492"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1109\/FPL.2012.6339272"},{"key":"ref1","first-page":"4","article-title":"SDSoC: A higher-level programming environment for Zynq SoC and Ultrascale+MPSoC","author":"kathail","year":"2016","journal-title":"Proc ACM\/SIGDA Int Symp Field Program Gate Arrays"},{"key":"ref9","first-page":"177","article-title":"Enriching C-based high-level synthesis with parallel pattern templates","author":"josipovic","year":"2016","journal-title":"Proc IEEE Int Conf Field-Program Technol (FPT)"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1109\/MICRO.2014.50"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1109\/MEMCOD.2004.1459818"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/43\/8496924\/8412613-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/43\/8496924\/08412613.pdf?arnumber=8412613","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,16]],"date-time":"2023-08-16T17:31:06Z","timestamp":1692207066000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8412613\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11]]},"references-count":21,"journal-issue":{"issue":"11"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2018.2857259","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"type":"print","value":"0278-0070"},{"type":"electronic","value":"1937-4151"}],"subject":[],"published":{"date-parts":[[2018,11]]}}}