{"id":"https://openalex.org/W3015271291","doi":"https://doi.org/10.1145/3385412.3385974","title":"Predictable accelerator design with time-sensitive affine types","display_name":"Predictable accelerator design with time-sensitive affine types","publication_year":2020,"publication_date":"2020-06-07","ids":{"openalex":"https://openalex.org/W3015271291","doi":"https://doi.org/10.1145/3385412.3385974","mag":"3015271291"},"language":"en","primary_location":{"id":"doi:10.1145/3385412.3385974","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3385412.3385974","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2004.04852","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5078421643","display_name":"Rachit Nigam","orcid":"https://orcid.org/0000-0003-0983-5867"},"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":"Rachit Nigam","raw_affiliation_strings":["Cornell University, USA"],"affiliations":[{"raw_affiliation_string":"Cornell University, USA","institution_ids":["https://openalex.org/I205783295"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087206510","display_name":"Sachille Atapattu","orcid":null},"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":"Sachille Atapattu","raw_affiliation_strings":["Cornell University, USA"],"affiliations":[{"raw_affiliation_string":"Cornell University, USA","institution_ids":["https://openalex.org/I205783295"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101568004","display_name":"Samuel Thomas","orcid":"https://orcid.org/0009-0004-1412-2241"},"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":"Samuel Thomas","raw_affiliation_strings":["Cornell University, USA"],"affiliations":[{"raw_affiliation_string":"Cornell University, USA","institution_ids":["https://openalex.org/I205783295"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102845553","display_name":"Zhijing Li","orcid":"https://orcid.org/0000-0002-3731-0964"},"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":"Zhijing Li","raw_affiliation_strings":["Cornell University, USA"],"affiliations":[{"raw_affiliation_string":"Cornell University, USA","institution_ids":["https://openalex.org/I205783295"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026958244","display_name":"T.H. Bauer","orcid":null},"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":"Theodore Bauer","raw_affiliation_strings":["Cornell University, USA"],"affiliations":[{"raw_affiliation_string":"Cornell University, USA","institution_ids":["https://openalex.org/I205783295"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083795233","display_name":"Yuwei Ye","orcid":"https://orcid.org/0009-0009-9533-8066"},"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":"Yuwei Ye","raw_affiliation_strings":["Cornell University, USA"],"affiliations":[{"raw_affiliation_string":"Cornell University, USA","institution_ids":["https://openalex.org/I205783295"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041306044","display_name":"Apurva Koti","orcid":null},"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":"Apurva Koti","raw_affiliation_strings":["Cornell University, USA"],"affiliations":[{"raw_affiliation_string":"Cornell University, USA","institution_ids":["https://openalex.org/I205783295"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004782337","display_name":"Adrian Sampson","orcid":"https://orcid.org/0000-0003-0837-8924"},"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"]},{"id":"https://openalex.org/I1321014770","display_name":"Association for Computing Machinery","ror":"https://ror.org/03wsadn68","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I1321014770"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Adrian Sampson","raw_affiliation_strings":["Cornell University, USA","Association for Computing Machinery"],"affiliations":[{"raw_affiliation_string":"Cornell University, USA","institution_ids":["https://openalex.org/I205783295"]},{"raw_affiliation_string":"Association for Computing Machinery","institution_ids":["https://openalex.org/I1321014770"]}]},{"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, USA"],"affiliations":[{"raw_affiliation_string":"Cornell University, USA","institution_ids":["https://openalex.org/I205783295"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":9,"corresponding_author_ids":["https://openalex.org/A5078421643"],"corresponding_institution_ids":["https://openalex.org/I205783295"],"apc_list":null,"apc_paid":null,"fwci":0.7072,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.66403496,"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":"393","last_page":"407"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design 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/T10904","display_name":"Embedded Systems Design 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/T10054","display_name":"Parallel Computing and Optimization 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/T10363","display_name":"Low-power high-performance VLSI design","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.7440046072006226},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.7212322950363159},{"id":"https://openalex.org/keywords/high-level-synthesis","display_name":"High-level synthesis","score":0.5554742813110352},{"id":"https://openalex.org/keywords/heuristics","display_name":"Heuristics","score":0.5492175221443176},{"id":"https://openalex.org/keywords/field-programmable-gate-array","display_name":"Field-programmable gate array","score":0.5442647337913513},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4759611487388611},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.45030486583709717},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.43880751729011536},{"id":"https://openalex.org/keywords/affine-transformation","display_name":"Affine transformation","score":0.4321986734867096},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.42805033922195435},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.37646329402923584},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.33782023191452026},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.18560701608657837}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7440046072006226},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7212322950363159},{"id":"https://openalex.org/C58013763","wikidata":"https://www.wikidata.org/wiki/Q5754574","display_name":"High-level synthesis","level":3,"score":0.5554742813110352},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.5492175221443176},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.5442647337913513},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4759611487388611},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.45030486583709717},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.43880751729011536},{"id":"https://openalex.org/C92757383","wikidata":"https://www.wikidata.org/wiki/Q382497","display_name":"Affine transformation","level":2,"score":0.4321986734867096},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.42805033922195435},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.37646329402923584},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.33782023191452026},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.18560701608657837},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/3385412.3385974","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3385412.3385974","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:2004.04852","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2004.04852","pdf_url":"https://arxiv.org/pdf/2004.04852","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"mag:3015271291","is_oa":true,"landing_page_url":"http://export.arxiv.org/pdf/2004.04852","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.2004.04852","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2004.04852","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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":"pmh:oai:arXiv.org:2004.04852","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2004.04852","pdf_url":"https://arxiv.org/pdf/2004.04852","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1676522518","display_name":null,"funder_award_id":"1723715,1845952","funder_id":"https://openalex.org/F4320315254","funder_display_name":"Innovative Research Group Project of the National Natural Science Foundation of China"},{"id":"https://openalex.org/G2447130199","display_name":null,"funder_award_id":"ADA","funder_id":"https://openalex.org/F4320306087","funder_display_name":"Semiconductor Research Corporation"},{"id":"https://openalex.org/G3465611464","display_name":null,"funder_award_id":"1723715","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G490593687","display_name":null,"funder_award_id":"Intel","funder_id":"https://openalex.org/F4320306087","funder_display_name":"Semiconductor Research Corporation"},{"id":"https://openalex.org/G8209250081","display_name":null,"funder_award_id":"1845952","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G848032724","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320306087","display_name":"Semiconductor Research Corporation","ror":"https://ror.org/047z4n946"},{"id":"https://openalex.org/F4320315254","display_name":"Innovative Research Group Project of the National Natural Science Foundation of China","ror":null},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3015271291.pdf","grobid_xml":"https://content.openalex.org/works/W3015271291.grobid-xml"},"referenced_works_count":50,"referenced_works":["https://openalex.org/W1577039630","https://openalex.org/W1811793995","https://openalex.org/W1971256104","https://openalex.org/W1971591193","https://openalex.org/W1980208272","https://openalex.org/W1981962444","https://openalex.org/W1983394510","https://openalex.org/W1995207020","https://openalex.org/W2012114780","https://openalex.org/W2015332951","https://openalex.org/W2018055497","https://openalex.org/W2041950498","https://openalex.org/W2054625910","https://openalex.org/W2055312318","https://openalex.org/W2066443755","https://openalex.org/W2071630526","https://openalex.org/W2077987280","https://openalex.org/W2079751107","https://openalex.org/W2081388374","https://openalex.org/W2096403564","https://openalex.org/W2112678088","https://openalex.org/W2132761501","https://openalex.org/W2133156997","https://openalex.org/W2133662847","https://openalex.org/W2138527110","https://openalex.org/W2147088458","https://openalex.org/W2156420848","https://openalex.org/W2158449625","https://openalex.org/W2160323811","https://openalex.org/W2166029537","https://openalex.org/W2167008350","https://openalex.org/W2168113051","https://openalex.org/W2191327475","https://openalex.org/W2263852834","https://openalex.org/W2466242877","https://openalex.org/W2544002786","https://openalex.org/W2562773490","https://openalex.org/W2761973445","https://openalex.org/W2769729463","https://openalex.org/W2789784730","https://openalex.org/W2798482398","https://openalex.org/W2883929540","https://openalex.org/W2898640692","https://openalex.org/W2906737788","https://openalex.org/W2912012512","https://openalex.org/W2965552403","https://openalex.org/W3009056493","https://openalex.org/W4244157805","https://openalex.org/W4299426995","https://openalex.org/W4300810260"],"related_works":["https://openalex.org/W3033414614","https://openalex.org/W3034743315","https://openalex.org/W2294320930","https://openalex.org/W2511874087","https://openalex.org/W3006559397","https://openalex.org/W2616157094","https://openalex.org/W2475547859","https://openalex.org/W12617023","https://openalex.org/W2130958826","https://openalex.org/W3092254747","https://openalex.org/W2110628192","https://openalex.org/W2967111204","https://openalex.org/W1994337600","https://openalex.org/W2869697071","https://openalex.org/W2119342121","https://openalex.org/W2110119155","https://openalex.org/W2181700130","https://openalex.org/W2233740382","https://openalex.org/W873697874","https://openalex.org/W2587569722"],"abstract_inverted_index":{"Field-programmable":[0],"gate":[1],"arrays":[2],"(FPGAs)":[3],"provide":[4],"an":[5],"opportunity":[6],"to":[7,17,24,35,46,89,95,102,133],"co-design":[8],"applications":[9],"with":[10,107],"hardware":[11,51,96,105,120],"accelerators,":[12],"yet":[13],"they":[14],"remain":[15],"difficult":[16],"program.":[18],"High-level":[19],"synthesis":[20],"(HLS)":[21],"tools":[22],"promise":[23],"raise":[25],"the":[26,56,67,118,124,142],"level":[27],"of":[28,117,144],"abstraction":[29],"by":[30],"compiling":[31],"C":[32],"or":[33],"C++":[34],"accelerator":[36],"designs.":[37,79,151],"Repurposing":[38],"legacy":[39],"software":[40],"languages,":[41],"however,":[42],"requires":[43],"complex":[44],"heuristics":[45,58],"map":[47],"imperative":[48],"code":[49],"onto":[50],"structures.":[52],"We":[53,122],"find":[54],"that":[55,69,86,91,113,131,138],"black-box":[57],"in":[59,66,127],"HLS":[60,88,134,145],"can":[61,73,92,140],"be":[62],"unpredictable:":[63],"changing":[64],"parameters":[65],"program":[68],"should":[70],"improve":[71],"performance":[72],"counterintuitively":[74],"yield":[75],"slower":[76],"and":[77,136],"larger":[78],"This":[80],"paper":[81],"proposes":[82],"a":[83,108,129],"type":[84,111,125],"system":[85,112,126],"restricts":[87],"programs":[90],"predictably":[93],"compile":[94],"accelerators.":[97],"The":[98],"key":[99],"idea":[100],"is":[101],"model":[103],"consumable":[104],"resources":[106],"time-sensitive":[109],"affine":[110],"prevents":[114],"simultaneous":[115],"uses":[116],"same":[119],"structure.":[121],"implement":[123],"Dahlia,":[128],"language":[130],"compiles":[132],"C++,":[135],"show":[137],"it":[139],"reduce":[141],"size":[143],"parameter":[146],"spaces":[147],"while":[148],"accepting":[149],"Pareto-optimal":[150]},"counts_by_year":[{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}