{"id":"https://openalex.org/W4282032146","doi":"https://doi.org/10.1109/fccm53951.2022.9786123","title":"IMpress: Large Integer Multiplication Expression Rewriting for FPGA HLS","display_name":"IMpress: Large Integer Multiplication Expression Rewriting for FPGA HLS","publication_year":2022,"publication_date":"2022-05-15","ids":{"openalex":"https://openalex.org/W4282032146","doi":"https://doi.org/10.1109/fccm53951.2022.9786123"},"language":"en","primary_location":{"id":"doi:10.1109/fccm53951.2022.9786123","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fccm53951.2022.9786123","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 IEEE 30th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5053419294","display_name":"Ecenur Ustun","orcid":"https://orcid.org/0000-0001-6546-1367"},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Ecenur Ustun","raw_affiliation_strings":["Cornell University,School of Electrical and Computer Engineering,Ithaca,NY,USA","School of Electrical and Computer Engineering, Cornell University, Ithaca, NY, USA"],"affiliations":[{"raw_affiliation_string":"Cornell University,School of Electrical and Computer Engineering,Ithaca,NY,USA","institution_ids":["https://openalex.org/I205783295"]},{"raw_affiliation_string":"School of Electrical and Computer Engineering, Cornell University, Ithaca, NY, USA","institution_ids":["https://openalex.org/I205783295"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069831788","display_name":"\u0130smail San","orcid":"https://orcid.org/0000-0003-3005-1813"},"institutions":[{"id":"https://openalex.org/I4210091955","display_name":"Eskisehir Technical University","ror":"https://ror.org/00gcgqv39","country_code":"TR","type":"education","lineage":["https://openalex.org/I4210091955"]}],"countries":["TR"],"is_corresponding":false,"raw_author_name":"Ismail San","raw_affiliation_strings":["Eskişehir Technical University,Department of Electrical and Electronics Engineering,Eskişehir,Turkey"],"affiliations":[{"raw_affiliation_string":"Eskişehir Technical University,Department of Electrical and Electronics Engineering,Eskişehir,Turkey","institution_ids":["https://openalex.org/I4210091955"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101779513","display_name":"Jiaqi Yin","orcid":"https://orcid.org/0009-0006-5845-5333"},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jiaqi Yin","raw_affiliation_strings":["University of Utah,Department of Electrical and Computer Engineering,Salt Lake City,UT,USA","Department of Electrical and Computer Engineering, University of Utah, Salt Lake City, UT, USA"],"affiliations":[{"raw_affiliation_string":"University of Utah,Department of Electrical and Computer Engineering,Salt Lake City,UT,USA","institution_ids":["https://openalex.org/I223532165"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Utah, Salt Lake City, UT, USA","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029321729","display_name":"Cunxi Yu","orcid":"https://orcid.org/0000-0003-3481-307X"},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Cunxi Yu","raw_affiliation_strings":["University of Utah,Department of Electrical and Computer Engineering,Salt Lake City,UT,USA","Department of Electrical and Computer Engineering, University of Utah, Salt Lake City, UT, USA"],"affiliations":[{"raw_affiliation_string":"University of Utah,Department of Electrical and Computer Engineering,Salt Lake City,UT,USA","institution_ids":["https://openalex.org/I223532165"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Utah, Salt Lake City, UT, USA","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5037210004","display_name":"Zhiru Zhang","orcid":"https://orcid.org/0000-0002-0778-0308"},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zhiru Zhang","raw_affiliation_strings":["Cornell University,School of Electrical and Computer Engineering,Ithaca,NY,USA","School of Electrical and Computer Engineering, Cornell University, Ithaca, NY, USA"],"affiliations":[{"raw_affiliation_string":"Cornell University,School of Electrical and Computer Engineering,Ithaca,NY,USA","institution_ids":["https://openalex.org/I205783295"]},{"raw_affiliation_string":"School of Electrical and Computer Engineering, Cornell University, Ithaca, NY, USA","institution_ids":["https://openalex.org/I205783295"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5053419294"],"corresponding_institution_ids":["https://openalex.org/I205783295"],"apc_list":null,"apc_paid":null,"fwci":6.1325,"has_fulltext":false,"cited_by_count":28,"citation_normalized_percentile":{"value":0.97244974,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"10"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9998999834060669,"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":0.9998999834060669,"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.9991000294685364,"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/T10829","display_name":"Interconnection Networks and Systems","score":0.9980999827384949,"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.7481300830841064},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7197561264038086},{"id":"https://openalex.org/keywords/integer","display_name":"Integer (computer science)","score":0.6757248640060425},{"id":"https://openalex.org/keywords/multiplication","display_name":"Multiplication (music)","score":0.6661666631698608},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.5202335119247437},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.5083867907524109},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.5079925656318665},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.462864488363266},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.3629048466682434},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.33266153931617737},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.25067591667175293},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.224360853433609},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.17145398259162903},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.14967948198318481}],"concepts":[{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.7481300830841064},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7197561264038086},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.6757248640060425},{"id":"https://openalex.org/C2780595030","wikidata":"https://www.wikidata.org/wiki/Q3860309","display_name":"Multiplication (music)","level":2,"score":0.6661666631698608},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.5202335119247437},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5083867907524109},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.5079925656318665},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.462864488363266},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.3629048466682434},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33266153931617737},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.25067591667175293},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.224360853433609},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.17145398259162903},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.14967948198318481},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/fccm53951.2022.9786123","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fccm53951.2022.9786123","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 IEEE 30th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/8","display_name":"Decent work and economic growth","score":0.44999998807907104}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":70,"referenced_works":["https://openalex.org/W104209573","https://openalex.org/W1480909796","https://openalex.org/W1494049356","https://openalex.org/W1574609262","https://openalex.org/W1649758727","https://openalex.org/W1806382567","https://openalex.org/W1971286892","https://openalex.org/W2001121794","https://openalex.org/W2042872772","https://openalex.org/W2051119615","https://openalex.org/W2052435632","https://openalex.org/W2055477538","https://openalex.org/W2061171222","https://openalex.org/W2065034362","https://openalex.org/W2067116050","https://openalex.org/W2071825329","https://openalex.org/W2072955070","https://openalex.org/W2076090597","https://openalex.org/W2097414162","https://openalex.org/W2114725648","https://openalex.org/W2130175237","https://openalex.org/W2131524998","https://openalex.org/W2132022337","https://openalex.org/W2147405597","https://openalex.org/W2151097162","https://openalex.org/W2156030242","https://openalex.org/W2166029537","https://openalex.org/W2286870983","https://openalex.org/W2342840989","https://openalex.org/W2343695530","https://openalex.org/W2592527754","https://openalex.org/W2593653970","https://openalex.org/W2593781315","https://openalex.org/W2606100026","https://openalex.org/W2751750437","https://openalex.org/W2759027818","https://openalex.org/W2810426084","https://openalex.org/W2898200251","https://openalex.org/W2979557494","https://openalex.org/W2981758446","https://openalex.org/W3014415287","https://openalex.org/W3016585670","https://openalex.org/W3033423882","https://openalex.org/W3035754681","https://openalex.org/W3048109573","https://openalex.org/W3081517513","https://openalex.org/W3082570516","https://openalex.org/W3099525000","https://openalex.org/W3111032578","https://openalex.org/W3112616759","https://openalex.org/W3117137355","https://openalex.org/W3120853372","https://openalex.org/W3129431994","https://openalex.org/W3153044352","https://openalex.org/W3163649573","https://openalex.org/W3185182275","https://openalex.org/W3186229401","https://openalex.org/W3200826900","https://openalex.org/W3205982643","https://openalex.org/W3217797300","https://openalex.org/W4211076402","https://openalex.org/W4235668804","https://openalex.org/W4242955624","https://openalex.org/W4246264663","https://openalex.org/W6636949950","https://openalex.org/W6668731821","https://openalex.org/W6679666440","https://openalex.org/W6782249439","https://openalex.org/W6788357699","https://openalex.org/W6798985884"],"related_works":["https://openalex.org/W2120204135","https://openalex.org/W1796293478","https://openalex.org/W174435416","https://openalex.org/W2168276503","https://openalex.org/W2139396251","https://openalex.org/W1577544887","https://openalex.org/W1573537275","https://openalex.org/W2105713543","https://openalex.org/W4205908955","https://openalex.org/W2132239740"],"abstract_inverted_index":{"Large":[0],"integer":[1,22,76,110],"multiplication":[2,23,47,77,111],"is":[3,55],"becoming":[4],"a":[5,50,56,71,103],"major":[6],"challenge":[7],"for":[8,17],"FPGA-based":[9],"acceleration":[10],"of":[11,46,74,102,140,142],"many":[12],"cryptographic":[13,143],"applications.":[14],"Existing":[15],"techniques":[16,90],"decomposing":[18],"and":[19,44,87,118,132,134],"optimizing":[20],"large":[21],"bring":[24],"about":[25],"nontrivial":[26],"trade-offs":[27],"between":[28],"different":[29],"resource":[30,100,130],"types":[31],"as":[32,34,49],"well":[33],"performance.":[35],"In":[36],"this":[37],"work,":[38],"we":[39],"regard":[40],"determining":[41],"the":[42,94,99,137],"level":[43],"order":[45],"decomposition":[48],"phase":[51],"ordering":[52],"problem,":[53],"which":[54],"notable":[57],"problem":[58],"in":[59,116],"compiler":[60],"optimization.":[61],"Our":[62],"framework,":[63],"IMpress,":[64],"leverages":[65],"equality":[66],"saturation":[67],"to":[68,80,91],"automatically":[69,92,107],"produce":[70],"wide":[72],"range":[73],"equivalent":[75],"expressions":[78,96,112],"corresponding":[79],"various":[81],"hardware":[82],"implementations.":[83],"We":[84],"devise":[85],"constrained":[86],"multi-objective":[88],"extraction":[89],"choose":[93],"optimal":[95],"based":[97],"on":[98,145],"requirements":[101],"given":[104],"application.":[105],"IMpress":[106,125],"translates":[108],"extracted":[109],"into":[113],"behavioral":[114],"descriptions":[115],"C++":[117],"initiates":[119],"FPGA":[120],"compilation":[121],"through":[122],"high-level":[123],"synthesis.":[124],"offers":[126],"significant":[127],"control":[128],"over":[129],"utilization":[131],"balance,":[133],"it":[135],"increases":[136],"maximum":[138],"number":[139],"instances":[141],"applications":[144],"FPGA.":[146]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":12},{"year":2024,"cited_by_count":9},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}