{"id":"https://openalex.org/W3006136800","doi":"https://doi.org/10.1109/reconfig48160.2019.8994801","title":"Efficient FPGA Cost-Performance Space Exploration using Type-Driven Program Transformations","display_name":"Efficient FPGA Cost-Performance Space Exploration using Type-Driven Program Transformations","publication_year":2019,"publication_date":"2019-12-01","ids":{"openalex":"https://openalex.org/W3006136800","doi":"https://doi.org/10.1109/reconfig48160.2019.8994801","mag":"3006136800"},"language":"en","primary_location":{"id":"doi:10.1109/reconfig48160.2019.8994801","is_oa":false,"landing_page_url":"https://doi.org/10.1109/reconfig48160.2019.8994801","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 International Conference on ReConFigurable Computing and FPGAs (ReConFig)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":null,"any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5067177368","display_name":"Cristian Urlea","orcid":"https://orcid.org/0000-0001-7851-8916"},"institutions":[{"id":"https://openalex.org/I7882870","display_name":"University of Glasgow","ror":"https://ror.org/00vtgdb53","country_code":"GB","type":"education","lineage":["https://openalex.org/I7882870"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Cristian Urlea","raw_affiliation_strings":["School of Computing Science, University of Glasgow,Glasgow,United Kingdom","School of Computing Science, University of Glasgow, Glasgow, United Kingdom"],"affiliations":[{"raw_affiliation_string":"School of Computing Science, University of Glasgow,Glasgow,United Kingdom","institution_ids":["https://openalex.org/I7882870"]},{"raw_affiliation_string":"School of Computing Science, University of Glasgow, Glasgow, United Kingdom","institution_ids":["https://openalex.org/I7882870"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047735250","display_name":"Wim Vanderbauwhede","orcid":"https://orcid.org/0000-0001-6768-0037"},"institutions":[{"id":"https://openalex.org/I7882870","display_name":"University of Glasgow","ror":"https://ror.org/00vtgdb53","country_code":"GB","type":"education","lineage":["https://openalex.org/I7882870"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Wim Vanderbauwhede","raw_affiliation_strings":["School of Computing Science, University of Glasgow,Glasgow,United Kingdom","School of Computing Science, University of Glasgow, Glasgow, United Kingdom"],"affiliations":[{"raw_affiliation_string":"School of Computing Science, University of Glasgow,Glasgow,United Kingdom","institution_ids":["https://openalex.org/I7882870"]},{"raw_affiliation_string":"School of Computing Science, University of Glasgow, Glasgow, United Kingdom","institution_ids":["https://openalex.org/I7882870"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5075369228","display_name":"Syed Waqar Nabi","orcid":"https://orcid.org/0000-0003-3835-4851"},"institutions":[{"id":"https://openalex.org/I7882870","display_name":"University of Glasgow","ror":"https://ror.org/00vtgdb53","country_code":"GB","type":"education","lineage":["https://openalex.org/I7882870"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Syed Waqar Nabi","raw_affiliation_strings":["School of Computing Science, University of Glasgow,Glasgow,United Kingdom","School of Computing Science, University of Glasgow, Glasgow, United Kingdom"],"affiliations":[{"raw_affiliation_string":"School of Computing Science, University of Glasgow,Glasgow,United Kingdom","institution_ids":["https://openalex.org/I7882870"]},{"raw_affiliation_string":"School of Computing Science, University of Glasgow, Glasgow, United Kingdom","institution_ids":["https://openalex.org/I7882870"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5067177368"],"corresponding_institution_ids":["https://openalex.org/I7882870"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.20564414,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"2019","issue":null,"first_page":"1","last_page":"2"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11181","display_name":"Advanced Data Storage Technologies","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/field-programmable-gate-array","display_name":"Field-programmable gate array","score":0.8403815627098083},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8106275796890259},{"id":"https://openalex.org/keywords/software-portability","display_name":"Software portability","score":0.7593873739242554},{"id":"https://openalex.org/keywords/design-space-exploration","display_name":"Design space exploration","score":0.7143891453742981},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.6272867918014526},{"id":"https://openalex.org/keywords/toolchain","display_name":"Toolchain","score":0.5990211367607117},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.5538759827613831},{"id":"https://openalex.org/keywords/throughput","display_name":"Throughput","score":0.5527653098106384},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.44387349486351013},{"id":"https://openalex.org/keywords/reconfigurable-computing","display_name":"Reconfigurable computing","score":0.4313303828239441},{"id":"https://openalex.org/keywords/high-level-synthesis","display_name":"High-level synthesis","score":0.4182891547679901},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.35357141494750977},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.20286279916763306},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.15787258744239807}],"concepts":[{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.8403815627098083},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8106275796890259},{"id":"https://openalex.org/C63000827","wikidata":"https://www.wikidata.org/wiki/Q3080428","display_name":"Software portability","level":2,"score":0.7593873739242554},{"id":"https://openalex.org/C2776221188","wikidata":"https://www.wikidata.org/wiki/Q21072556","display_name":"Design space exploration","level":2,"score":0.7143891453742981},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.6272867918014526},{"id":"https://openalex.org/C2777062904","wikidata":"https://www.wikidata.org/wiki/Q545406","display_name":"Toolchain","level":3,"score":0.5990211367607117},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.5538759827613831},{"id":"https://openalex.org/C157764524","wikidata":"https://www.wikidata.org/wiki/Q1383412","display_name":"Throughput","level":3,"score":0.5527653098106384},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.44387349486351013},{"id":"https://openalex.org/C142962650","wikidata":"https://www.wikidata.org/wiki/Q240838","display_name":"Reconfigurable computing","level":3,"score":0.4313303828239441},{"id":"https://openalex.org/C58013763","wikidata":"https://www.wikidata.org/wiki/Q5754574","display_name":"High-level synthesis","level":3,"score":0.4182891547679901},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.35357141494750977},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.20286279916763306},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.15787258744239807},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C555944384","wikidata":"https://www.wikidata.org/wiki/Q249","display_name":"Wireless","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/reconfig48160.2019.8994801","is_oa":false,"landing_page_url":"https://doi.org/10.1109/reconfig48160.2019.8994801","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 International Conference on ReConFigurable Computing and FPGAs (ReConFig)","raw_type":"proceedings-article"},{"id":"pmh:oai:eprints.gla.ac.uk:202011","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4210235606","display_name":"ENLIGHTEN (Jurnal Bimbingan dan Konseling Islam)","issn_l":"2622-8912","issn":["2622-8912","2622-8920"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Conference Proceedings"},{"id":"mag:3206759770","is_oa":false,"landing_page_url":"https://jglobal.jst.go.jp/en/detail?JGLOBAL_ID=202002225871404937","pdf_url":null,"source":{"id":"https://openalex.org/S4306512817","display_name":"IEEE Conference Proceedings","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"IEEE Conference Proceedings","raw_type":null}],"best_oa_location":{"id":"pmh:oai:eprints.gla.ac.uk:202011","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4210235606","display_name":"ENLIGHTEN (Jurnal Bimbingan dan Konseling Islam)","issn_l":"2622-8912","issn":["2622-8912","2622-8920"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Conference Proceedings"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G600182179","display_name":null,"funder_award_id":"EP/L00058X/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W655704103","https://openalex.org/W2000921084","https://openalex.org/W2035345126","https://openalex.org/W2188922879","https://openalex.org/W2399715892","https://openalex.org/W2618715568","https://openalex.org/W2800663209","https://openalex.org/W6687424872","https://openalex.org/W6738689179"],"related_works":["https://openalex.org/W4388650515","https://openalex.org/W4281926497","https://openalex.org/W2274562545","https://openalex.org/W2100766117","https://openalex.org/W2269990635","https://openalex.org/W4298385411","https://openalex.org/W3146054601","https://openalex.org/W2079450985","https://openalex.org/W2042762783","https://openalex.org/W4283730710"],"abstract_inverted_index":{"Many":[0],"numerical":[1],"simulation":[2],"applications":[3,61],"from":[4,103],"the":[5,57,104,139,183],"scientific,":[6],"financial":[7],"and":[8,46,76,91,113,130],"machine-learning":[9],"domains":[10],"require":[11],"large":[12],"amounts":[13],"of":[14,59,69,116,141,166,182],"compute":[15],"capacity.":[16],"They":[17],"can":[18],"often":[19],"be":[20],"implemented":[21],"with":[22],"a":[23,114,179],"streaming":[24,39],"data-flow":[25,40],"architecture.":[26],"Field":[27],"Programmable":[28],"Gate":[29],"Arrays":[30],"(FPGA)":[31],"are":[32,175],"particularly":[33],"power-efficient":[34],"hardware":[35,117],"architectures":[36],"suitable":[37],"for":[38,62,97,120,156],"applications.":[41,159],"Although":[42],"numerous":[43],"programming":[44,129],"languages":[45],"frameworks":[47],"target":[48,64],"FPGAs,":[49],"expert":[50],"knowledge":[51],"is":[52,81],"still":[53],"required":[54],"to":[55,74,78,134,138,168],"optimise":[56],"throughput":[58,165],"such":[60],"each":[63],"FPGA":[65],"device.":[66],"The":[67],"process":[68],"selecting":[70],"which":[71],"optimising":[72],"transformations":[73],"apply,":[75],"where":[77],"apply":[79],"them":[80],"dubbed":[82],"Design":[83,185],"Space":[84],"Exploration":[85],"(DSE).":[86],"We":[87,148],"contribute":[88],"an":[89,109],"elegant":[90],"efficient":[92],"compiler":[93],"based":[94],"DSE":[95],"strategy":[96],"FPGAs":[98],"by":[99,152,177],"merging":[100],"information":[101],"sourced":[102],"compiled":[105],"application's":[106],"semantic":[107],"structure,":[108],"accurate":[110],"cost-performance":[111],"model":[112],"description":[115],"resource":[118],"limits":[119],"particular":[121],"FPGAs.":[122,147],"Our":[123],"work":[124],"leverages":[125],"developments":[126],"in":[127,164,170],"functional":[128],"dependent":[131],"type":[132],"theory":[133],"bring":[135],"performance":[136],"portability":[137],"realm":[140],"High-Level":[142],"Synthesis":[143],"(HLS)":[144],"tools":[145],"targeting":[146],"showcase":[149],"our":[150],"approach":[151],"presenting":[153],"achievable":[154],"speedups":[155],"three":[157],"example":[158],"Results":[160],"indicate":[161],"considerable":[162],"improvements":[163],"up":[167],"58\u00d7":[169],"one":[171],"example.":[172],"These":[173],"results":[174],"obtained":[176],"traversing":[178],"minute":[180],"fraction":[181],"total":[184],"Space.":[186]},"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}