{"id":"https://openalex.org/W4387667075","doi":"https://doi.org/10.1145/3622797","title":"Hardware-Aware Static Optimization of Hyperdimensional Computations","display_name":"Hardware-Aware Static Optimization of Hyperdimensional Computations","publication_year":2023,"publication_date":"2023-10-16","ids":{"openalex":"https://openalex.org/W4387667075","doi":"https://doi.org/10.1145/3622797"},"language":"en","primary_location":{"id":"doi:10.1145/3622797","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3622797","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3622797","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3622797","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5030371417","display_name":"Pu Yi","orcid":"https://orcid.org/0000-0001-6669-6520"},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Pu (Luke) Yi","raw_affiliation_strings":["Stanford University, Stanford, USA"],"raw_orcid":"https://orcid.org/0000-0001-6669-6520","affiliations":[{"raw_affiliation_string":"Stanford University, Stanford, USA","institution_ids":["https://openalex.org/I97018004"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5060778165","display_name":"Sara Achour","orcid":"https://orcid.org/0000-0003-3444-1544"},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sara Achour","raw_affiliation_strings":["Stanford University, Stanford, USA"],"raw_orcid":"https://orcid.org/0000-0003-3444-1544","affiliations":[{"raw_affiliation_string":"Stanford University, Stanford, USA","institution_ids":["https://openalex.org/I97018004"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5030371417"],"corresponding_institution_ids":["https://openalex.org/I97018004"],"apc_list":null,"apc_paid":null,"fwci":0.3833,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.60428684,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":97},"biblio":{"volume":"7","issue":"OOPSLA2","first_page":"1","last_page":"30"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12808","display_name":"Ferroelectric and Negative Capacitance Devices","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T12808","display_name":"Ferroelectric and Negative Capacitance Devices","score":0.9998999834060669,"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"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9926000237464905,"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/T10502","display_name":"Advanced Memory and Neural Computing","score":0.9890999794006348,"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/computation","display_name":"Computation","score":0.7921152114868164},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7654865980148315},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.7570852637290955},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.5503022074699402},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.5343368053436279},{"id":"https://openalex.org/keywords/program-optimization","display_name":"Program optimization","score":0.45353081822395325},{"id":"https://openalex.org/keywords/binary-number","display_name":"Binary number","score":0.45262643694877625},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.45002418756484985},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.43419840931892395},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.3928828835487366},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.36826837062835693},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.10972559452056885},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1033078134059906}],"concepts":[{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.7921152114868164},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7654865980148315},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.7570852637290955},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.5503022074699402},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.5343368053436279},{"id":"https://openalex.org/C139571649","wikidata":"https://www.wikidata.org/wiki/Q1156793","display_name":"Program optimization","level":3,"score":0.45353081822395325},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.45262643694877625},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.45002418756484985},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.43419840931892395},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.3928828835487366},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.36826837062835693},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.10972559452056885},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1033078134059906},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3622797","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3622797","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3622797","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3622797","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3622797","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3622797","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/8","display_name":"Decent work and economic growth","score":0.4399999976158142}],"awards":[],"funders":[{"id":"https://openalex.org/F4320315684","display_name":"Stanford SystemX Alliance","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4387667075.pdf","grobid_xml":"https://content.openalex.org/works/W4387667075.grobid-xml"},"referenced_works_count":54,"referenced_works":["https://openalex.org/W1967540748","https://openalex.org/W1986707196","https://openalex.org/W2000150040","https://openalex.org/W2001972101","https://openalex.org/W2042588857","https://openalex.org/W2117655830","https://openalex.org/W2147657366","https://openalex.org/W2165121732","https://openalex.org/W2554538030","https://openalex.org/W2583857261","https://openalex.org/W2612853140","https://openalex.org/W2613567208","https://openalex.org/W2624514417","https://openalex.org/W2770867854","https://openalex.org/W2771100829","https://openalex.org/W2809429070","https://openalex.org/W2895774650","https://openalex.org/W2895910969","https://openalex.org/W2906925223","https://openalex.org/W2908729710","https://openalex.org/W2914250845","https://openalex.org/W2941283033","https://openalex.org/W2950268605","https://openalex.org/W2951498229","https://openalex.org/W2962967667","https://openalex.org/W2963650979","https://openalex.org/W2971739303","https://openalex.org/W2981174422","https://openalex.org/W2990838824","https://openalex.org/W3005885031","https://openalex.org/W3036478084","https://openalex.org/W3101009183","https://openalex.org/W3133016223","https://openalex.org/W3135126590","https://openalex.org/W3186511633","https://openalex.org/W3190134129","https://openalex.org/W3201072697","https://openalex.org/W3204836041","https://openalex.org/W3211097789","https://openalex.org/W3212827699","https://openalex.org/W3214202924","https://openalex.org/W4221166744","https://openalex.org/W4230025805","https://openalex.org/W4243061752","https://openalex.org/W4293023530","https://openalex.org/W4293216350","https://openalex.org/W4308481194","https://openalex.org/W4312242794","https://openalex.org/W4312787185","https://openalex.org/W4318238964","https://openalex.org/W4319302948","https://openalex.org/W4362459302","https://openalex.org/W4376604041","https://openalex.org/W4386556380"],"related_works":["https://openalex.org/W2378211422","https://openalex.org/W2745001401","https://openalex.org/W4321353415","https://openalex.org/W2130974462","https://openalex.org/W2048582679","https://openalex.org/W2782226720","https://openalex.org/W3155846967","https://openalex.org/W3013131386","https://openalex.org/W582278231","https://openalex.org/W4387667075"],"abstract_inverted_index":{"Binary":[0],"spatter":[1],"code":[2],"(BSC)-based":[3],"hyperdimensional":[4],"computing":[5],"(HDC)":[6],"is":[7,26,58,68],"a":[8,27,30,42,92,142,173,180],"highly":[9],"error-resilient":[10],"approximate":[11],"computational":[12],"paradigm":[13],"suited":[14],"for":[15,85,99,241],"error-prone,":[16],"emerging":[17,243,250],"hardware":[18,138,251],"platforms.":[19],"In":[20],"BSC":[21,100],"HDC,":[22],"the":[23,36,39,46,52,55,63,106,116,122,127,135,152,224,249],"basic":[24],"datatype":[25],"hypervector":[28,40,56,73,108,197],",":[29],"typically":[31],"large":[32],"binary":[33],"vector,":[34],"where":[35,248],"size":[37,57,109,198],"of":[38,51,137,227],"has":[41],"significant":[43,253],"impact":[44],"on":[45,131,167],"fidelity":[47],"and":[48,70,79,96,114,208,231],"resource":[49,112],"usage":[50,113],"computation.":[53],"Typically,":[54],"dynamically":[59],"tuned":[60],"to":[61,126,155,185,200,221],"deliver":[62],"desired":[64],"accuracy;":[65],"this":[66],"process":[67],"time-consuming":[69],"often":[71],"produces":[72],"sizes":[74],"that":[75,110,147,203],"lack":[76],"accuracy":[77,118,129,175,207],"guarantees":[78,121],"produce":[80],"poor":[81],"results":[82,150],"when":[83],"reused":[84],"very":[86],"similar":[87],"workloads.":[88],"We":[89,160,217],"present":[90],"Heim,":[91],"hardware-aware":[93],"static":[94,144],"analysis":[95,145],"optimization":[97,166],"framework":[98],"HD":[101,158,201],"computations.":[102,159],"Heim":[103,120,140,162,220],"analytically":[104],"derives":[105],"minimum":[107],"minimizes":[111],"meets":[115],"target":[117,130],"requirement.":[119],"optimized":[123],"computation":[124],"converges":[125],"user-provided":[128],"expectation,":[132],"even":[133],"in":[134,196],"presence":[136],"error.":[139],"deploys":[141],"novel":[143],"procedure":[146],"unifies":[148],"theoretical":[149],"from":[151],"neuroscience":[153],"community":[154],"systematically":[156,222],"optimize":[157],"evaluate":[161,223],"against":[163],"dynamic":[164,189,214],"tuning-based":[165,190,215],"25":[168],"benchmark":[169],"data":[170],"structures.":[171],"Given":[172],"99%":[174],"requirement,":[176],"Heim-optimized":[177],"computations":[178,202],"achieve":[179,204],"99.2%-100.0%":[181],"median":[182],"accuracy,":[183],"up":[184],"49.5%":[186],"higher":[187],"than":[188,213],"optimization,":[191],"while":[192,237],"achieving":[193],"1.15x-7.14x":[194],"reductions":[195],"compared":[199],"comparable":[205],"query":[206],"finding":[209],"parametrizations":[210],"30.0x-100167.4x":[211],"faster":[212],"approaches.":[216],"also":[218],"use":[219],"performance":[225],"benefits":[226],"using":[228],"analog":[229],"CAMs":[230],"multiple-bit-per-cell":[232],"ReRAM":[233],"over":[234],"conventional":[235],"hardware,":[236],"maintaining":[238],"iso-accuracy":[239],"\u2013":[240],"both":[242],"technologies,":[244],"we":[245],"find":[246],"usages":[247],"imparts":[252],"benefits.":[254]},"counts_by_year":[{"year":2025,"cited_by_count":3}],"updated_date":"2025-12-25T23:11:45.687758","created_date":"2025-10-10T00:00:00"}