{"id":"https://openalex.org/W4256488736","doi":"https://doi.org/10.1109/codesisss.2015.7331371","title":"Hardware synthesis from a recursive functional language","display_name":"Hardware synthesis from a recursive functional language","publication_year":2015,"publication_date":"2015-10-01","ids":{"openalex":"https://openalex.org/W4256488736","doi":"https://doi.org/10.1109/codesisss.2015.7331371"},"language":"en","primary_location":{"id":"doi:10.1109/codesisss.2015.7331371","is_oa":false,"landing_page_url":"https://doi.org/10.1109/codesisss.2015.7331371","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.7916/d8v40tm5","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5066642673","display_name":"Kuangya Zhai","orcid":null},"institutions":[{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Kuangya Zhai","raw_affiliation_strings":["Columbia University"],"affiliations":[{"raw_affiliation_string":"Columbia University","institution_ids":["https://openalex.org/I78577930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015357637","display_name":"Richard Townsend","orcid":"https://orcid.org/0000-0002-7149-1172"},"institutions":[{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Richard Townsend","raw_affiliation_strings":["Columbia University"],"affiliations":[{"raw_affiliation_string":"Columbia University","institution_ids":["https://openalex.org/I78577930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011838326","display_name":"Lianne Lairmore","orcid":null},"institutions":[{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Lianne Lairmore","raw_affiliation_strings":["Columbia University"],"affiliations":[{"raw_affiliation_string":"Columbia University","institution_ids":["https://openalex.org/I78577930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086084861","display_name":"Martha A. Kim","orcid":"https://orcid.org/0000-0001-6243-5753"},"institutions":[{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Martha A. Kim","raw_affiliation_strings":["Columbia University"],"affiliations":[{"raw_affiliation_string":"Columbia University","institution_ids":["https://openalex.org/I78577930"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5055354961","display_name":"Stephen A. Edwards","orcid":"https://orcid.org/0000-0003-2609-4861"},"institutions":[{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Stephen A. Edwards","raw_affiliation_strings":["Columbia University"],"affiliations":[{"raw_affiliation_string":"Columbia University","institution_ids":["https://openalex.org/I78577930"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5066642673"],"corresponding_institution_ids":["https://openalex.org/I78577930"],"apc_list":null,"apc_paid":null,"fwci":0.90189843,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.80093326,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"83","last_page":"93"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9998000264167786,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9998000264167786,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9993000030517578,"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/T10142","display_name":"Formal Methods in Verification","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/computer-science","display_name":"Computer science","score":0.8682466745376587},{"id":"https://openalex.org/keywords/haskell","display_name":"Haskell","score":0.8542494773864746},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.8179718255996704},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7838234901428223},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.5982759594917297},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.5364879369735718},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.534767210483551},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5026164054870605},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.4323526620864868},{"id":"https://openalex.org/keywords/high-level-synthesis","display_name":"High-level synthesis","score":0.428413450717926},{"id":"https://openalex.org/keywords/intermediate-language","display_name":"Intermediate language","score":0.4279378056526184},{"id":"https://openalex.org/keywords/compiler-construction","display_name":"Compiler construction","score":0.41653797030448914},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.13079211115837097},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.1289076805114746},{"id":"https://openalex.org/keywords/field-programmable-gate-array","display_name":"Field-programmable gate array","score":0.10078832507133484}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8682466745376587},{"id":"https://openalex.org/C2780624054","wikidata":"https://www.wikidata.org/wiki/Q34010","display_name":"Haskell","level":3,"score":0.8542494773864746},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.8179718255996704},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7838234901428223},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.5982759594917297},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.5364879369735718},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.534767210483551},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5026164054870605},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.4323526620864868},{"id":"https://openalex.org/C58013763","wikidata":"https://www.wikidata.org/wiki/Q5754574","display_name":"High-level synthesis","level":3,"score":0.428413450717926},{"id":"https://openalex.org/C77660490","wikidata":"https://www.wikidata.org/wiki/Q244916","display_name":"Intermediate language","level":3,"score":0.4279378056526184},{"id":"https://openalex.org/C9957790","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler construction","level":3,"score":0.41653797030448914},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.13079211115837097},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.1289076805114746},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.10078832507133484},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/codesisss.2015.7331371","is_oa":false,"landing_page_url":"https://doi.org/10.1109/codesisss.2015.7331371","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)","raw_type":"proceedings-article"},{"id":"pmh:oai:academiccommons.columbia.edu:10.7916/D8V40TM5","is_oa":false,"landing_page_url":"https://doi.org/10.7916/D8V40TM5","pdf_url":null,"source":{"id":"https://openalex.org/S4306402601","display_name":"Columbia Academic Commons (Columbia University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I78577930","host_organization_name":"Columbia University","host_organization_lineage":["https://openalex.org/I78577930"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Reports"},{"id":"doi:10.7916/d8v40tm5","is_oa":true,"landing_page_url":"https://doi.org/10.7916/d8v40tm5","pdf_url":null,"source":{"id":"https://openalex.org/S4306402601","display_name":"Columbia Academic Commons (Columbia University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I78577930","host_organization_name":"Columbia University","host_organization_lineage":["https://openalex.org/I78577930"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"doi:10.7916/d8v40tm5","is_oa":true,"landing_page_url":"https://doi.org/10.7916/d8v40tm5","pdf_url":null,"source":{"id":"https://openalex.org/S4306402601","display_name":"Columbia Academic Commons (Columbia University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I78577930","host_organization_name":"Columbia University","host_organization_lineage":["https://openalex.org/I78577930"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W249176535","https://openalex.org/W1502103334","https://openalex.org/W1544259171","https://openalex.org/W1556423252","https://openalex.org/W1583092647","https://openalex.org/W1583099307","https://openalex.org/W1969407187","https://openalex.org/W1972151859","https://openalex.org/W1975575519","https://openalex.org/W2013088096","https://openalex.org/W2043416466","https://openalex.org/W2049600101","https://openalex.org/W2104453255","https://openalex.org/W2109341644","https://openalex.org/W2118172707","https://openalex.org/W2118736021","https://openalex.org/W2125415493","https://openalex.org/W2130363716","https://openalex.org/W2131023841","https://openalex.org/W2139626883","https://openalex.org/W2149406387","https://openalex.org/W2160323811","https://openalex.org/W2160962052","https://openalex.org/W2610944277","https://openalex.org/W4249778561","https://openalex.org/W4250389508","https://openalex.org/W4292002034","https://openalex.org/W6629134898","https://openalex.org/W6630180702","https://openalex.org/W6635131274","https://openalex.org/W6683503243"],"related_works":["https://openalex.org/W2112263414","https://openalex.org/W3004782279","https://openalex.org/W1602185604","https://openalex.org/W2028779182","https://openalex.org/W4242678340","https://openalex.org/W2140654465","https://openalex.org/W2129253059","https://openalex.org/W1488646450","https://openalex.org/W4296274916","https://openalex.org/W1504459189"],"abstract_inverted_index":{"Abstraction":[0],"in":[1,19,27],"hardware":[2,41],"description":[3],"languages":[4],"stalled":[5],"at":[6],"the":[7,75,83,104,110],"register-transfer":[8],"level":[9],"decades":[10],"ago,":[11],"yet":[12],"few":[13],"alternatives":[14],"have":[15],"had":[16],"much":[17,34],"success,":[18],"part":[20],"because":[21],"they":[22],"provide":[23],"only":[24],"modest":[25],"gains":[26],"expressivity.":[28],"We":[29,97],"propose":[30],"to":[31,70],"make":[32],"a":[33,37,53,59,66],"larger":[35],"jump:":[36],"compiler":[38,47],"that":[39,102],"synthesizes":[40],"from":[42],"behavioral":[43],"functional":[44],"specifications.":[45],"Our":[46],"translates":[48],"general":[49,91],"Haskell":[50],"programs":[51],"into":[52,94],"restricted":[54],"intermediate":[55],"representation":[56],"before":[57],"applying":[58],"series":[60],"of":[61,109],"semantics-preserving":[62],"transformations,":[63],"concluding":[64],"with":[65,99,113],"simple":[67],"syntax-directed":[68],"translation":[69],"SystemVerilog.":[71],"Here,":[72],"we":[73],"present":[74],"overall":[76],"framework":[77],"for":[78,89],"this":[79],"compiler,":[80],"focusing":[81],"on":[82],"IRs":[84],"involved":[85],"and":[86,106],"our":[87,114],"method":[88],"translating":[90],"recursive":[92],"functions":[93],"equivalent":[95],"hardware.":[96],"conclude":[98],"experimental":[100],"results":[101],"depict":[103],"performance":[105],"resource":[107],"usage":[108],"circuitry":[111],"generated":[112],"compiler.":[115]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2}],"updated_date":"2026-02-09T09:26:11.010843","created_date":"2025-10-10T00:00:00"}