{"id":"https://openalex.org/W4408901539","doi":"https://doi.org/10.1145/3676641.3716271","title":"Saving Energy with Per-Variable Bitwidth Speculation","display_name":"Saving Energy with Per-Variable Bitwidth Speculation","publication_year":2025,"publication_date":"2025-03-27","ids":{"openalex":"https://openalex.org/W4408901539","doi":"https://doi.org/10.1145/3676641.3716271"},"language":"en","primary_location":{"id":"doi:10.1145/3676641.3716271","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3676641.3716271","pdf_url":null,"source":null,"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 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3676641.3716271","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5037751281","display_name":"Tommy McMichen","orcid":null},"institutions":[{"id":"https://openalex.org/I111979921","display_name":"Northwestern University","ror":"https://ror.org/000e0be47","country_code":"US","type":"education","lineage":["https://openalex.org/I111979921"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Tommy McMichen","raw_affiliation_strings":["Northwestern University, Evanston, Illinois, USA"],"raw_orcid":"https://orcid.org/0000-0003-0965-9322","affiliations":[{"raw_affiliation_string":"Northwestern University, Evanston, Illinois, USA","institution_ids":["https://openalex.org/I111979921"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5116822105","display_name":"David Dlott","orcid":null},"institutions":[{"id":"https://openalex.org/I111979921","display_name":"Northwestern University","ror":"https://ror.org/000e0be47","country_code":"US","type":"education","lineage":["https://openalex.org/I111979921"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"David Dlott","raw_affiliation_strings":["Northwestern University, Evanston, Illinois, USA"],"raw_orcid":"https://orcid.org/0009-0004-0384-3086","affiliations":[{"raw_affiliation_string":"Northwestern University, Evanston, Illinois, USA","institution_ids":["https://openalex.org/I111979921"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066109828","display_name":"Panitan Wongse-ammat","orcid":null},"institutions":[{"id":"https://openalex.org/I111979921","display_name":"Northwestern University","ror":"https://ror.org/000e0be47","country_code":"US","type":"education","lineage":["https://openalex.org/I111979921"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Panitan Wongse-ammat","raw_affiliation_strings":["Northwestern University, Evanston, Illinois, USA"],"raw_orcid":"https://orcid.org/0009-0006-1769-9825","affiliations":[{"raw_affiliation_string":"Northwestern University, Evanston, Illinois, USA","institution_ids":["https://openalex.org/I111979921"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028805652","display_name":"Nathan Greiner","orcid":"https://orcid.org/0009-0008-1955-3031"},"institutions":[{"id":"https://openalex.org/I111979921","display_name":"Northwestern University","ror":"https://ror.org/000e0be47","country_code":"US","type":"education","lineage":["https://openalex.org/I111979921"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Nathan Greiner","raw_affiliation_strings":["Northwestern University, Evanston, Illinois, USA"],"raw_orcid":"https://orcid.org/0009-0008-1955-3031","affiliations":[{"raw_affiliation_string":"Northwestern University, Evanston, Illinois, USA","institution_ids":["https://openalex.org/I111979921"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5116822106","display_name":"Hussain Khajanchi","orcid":null},"institutions":[{"id":"https://openalex.org/I111979921","display_name":"Northwestern University","ror":"https://ror.org/000e0be47","country_code":"US","type":"education","lineage":["https://openalex.org/I111979921"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hussain Khajanchi","raw_affiliation_strings":["Northwestern University, Evanston, Illinois, USA"],"raw_orcid":"https://orcid.org/0009-0007-3969-1047","affiliations":[{"raw_affiliation_string":"Northwestern University, Evanston, Illinois, USA","institution_ids":["https://openalex.org/I111979921"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068821873","display_name":"Russ Joseph","orcid":"https://orcid.org/0000-0001-6349-1888"},"institutions":[{"id":"https://openalex.org/I111979921","display_name":"Northwestern University","ror":"https://ror.org/000e0be47","country_code":"US","type":"education","lineage":["https://openalex.org/I111979921"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Russ Joseph","raw_affiliation_strings":["Northwestern University, Evanston, Illinois, USA"],"raw_orcid":"https://orcid.org/0000-0001-6349-1888","affiliations":[{"raw_affiliation_string":"Northwestern University, Evanston, Illinois, USA","institution_ids":["https://openalex.org/I111979921"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5084389543","display_name":"Simone Campanoni","orcid":"https://orcid.org/0000-0001-9806-7016"},"institutions":[{"id":"https://openalex.org/I111979921","display_name":"Northwestern University","ror":"https://ror.org/000e0be47","country_code":"US","type":"education","lineage":["https://openalex.org/I111979921"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Simone Campanoni","raw_affiliation_strings":["Northwestern University, Evanston, Illinois, USA"],"raw_orcid":"https://orcid.org/0000-0001-9806-7016","affiliations":[{"raw_affiliation_string":"Northwestern University, Evanston, Illinois, USA","institution_ids":["https://openalex.org/I111979921"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5037751281"],"corresponding_institution_ids":["https://openalex.org/I111979921"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.04637532,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1044","last_page":"1059"},"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.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"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization 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/T10363","display_name":"Low-power high-performance VLSI design","score":0.9997000098228455,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9995999932289124,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/speculation","display_name":"Speculation","score":0.8109819889068604},{"id":"https://openalex.org/keywords/variable","display_name":"Variable (mathematics)","score":0.6681889891624451},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.506536602973938},{"id":"https://openalex.org/keywords/energy","display_name":"Energy (signal processing)","score":0.4275815784931183},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3926940858364105},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.22870662808418274},{"id":"https://openalex.org/keywords/economics","display_name":"Economics","score":0.22842028737068176},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.21044301986694336},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.07515275478363037}],"concepts":[{"id":"https://openalex.org/C47941915","wikidata":"https://www.wikidata.org/wiki/Q107885","display_name":"Speculation","level":2,"score":0.8109819889068604},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.6681889891624451},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.506536602973938},{"id":"https://openalex.org/C186370098","wikidata":"https://www.wikidata.org/wiki/Q442787","display_name":"Energy (signal processing)","level":2,"score":0.4275815784931183},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3926940858364105},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.22870662808418274},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.22842028737068176},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.21044301986694336},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.07515275478363037},{"id":"https://openalex.org/C139719470","wikidata":"https://www.wikidata.org/wiki/Q39680","display_name":"Macroeconomics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3676641.3716271","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3676641.3716271","pdf_url":null,"source":null,"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 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3676641.3716271","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3676641.3716271","pdf_url":null,"source":null,"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 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2","raw_type":"proceedings-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/7","display_name":"Affordable and clean energy","score":0.8500000238418579}],"awards":[{"id":"https://openalex.org/G5922887097","display_name":null,"funder_award_id":"NSF-2148177,NSF-2119069,NSF-2107042,NSF-1908488","funder_id":"https://openalex.org/F4320323817","funder_display_name":"Universitas Brawijaya"}],"funders":[{"id":"https://openalex.org/F4320323817","display_name":"Universitas Brawijaya","ror":"https://ror.org/01wk3d929"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W1516536978","https://openalex.org/W1549929312","https://openalex.org/W1856150903","https://openalex.org/W1910521375","https://openalex.org/W1965864973","https://openalex.org/W1993392733","https://openalex.org/W1994500166","https://openalex.org/W2007845800","https://openalex.org/W2026213129","https://openalex.org/W2094874787","https://openalex.org/W2100218206","https://openalex.org/W2110158442","https://openalex.org/W2131054871","https://openalex.org/W2134067926","https://openalex.org/W2142550124","https://openalex.org/W2143909327","https://openalex.org/W2147657366","https://openalex.org/W2149743155","https://openalex.org/W2153185479","https://openalex.org/W2159211021","https://openalex.org/W2163264184","https://openalex.org/W2164363152","https://openalex.org/W2164474450","https://openalex.org/W2178304595","https://openalex.org/W2604909646","https://openalex.org/W2624998622","https://openalex.org/W2625870498","https://openalex.org/W2809150547","https://openalex.org/W2951732054","https://openalex.org/W3006586535","https://openalex.org/W3006937969","https://openalex.org/W3012561096","https://openalex.org/W3042501387","https://openalex.org/W3191007950","https://openalex.org/W4220780061","https://openalex.org/W4237047828","https://openalex.org/W4238983745","https://openalex.org/W4253086812","https://openalex.org/W4253352037"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W4243792164","https://openalex.org/W2147782221","https://openalex.org/W2076161440","https://openalex.org/W3107943460","https://openalex.org/W2799624154","https://openalex.org/W4250172181","https://openalex.org/W2489870153"],"abstract_inverted_index":{"Tiny":[0],"devices":[1,31],"have":[2],"become":[3],"ubiquitous":[4],"in":[5,61,81],"people's":[6],"daily":[7],"lives.":[8],"Their":[9],"applications":[10],"dictate":[11],"tight":[12],"energy":[13,152],"budgets,":[14],"but":[15],"also":[16],"require":[17],"reasonable":[18],"performance":[19],"to":[20,65,127,139,159],"meet":[21],"user":[22],"expectations.":[23],"To":[24,90],"this":[25,41,92],"end,":[26],"the":[27,48,58,62,66,77,82,86,105,118,122,132,140,145],"hardware":[28,133],"of":[29,51,88,107,124],"tiny":[30],"has":[32],"been":[33],"highly":[34],"optimized,":[35],"making":[36],"further":[37],"optimizations":[38],"difficult.":[39],"In":[40],"work,":[42],"we":[43,69,94],"identify":[44],"a":[45,98,114],"missed":[46],"opportunity:":[47],"bitwidth":[49,59,79,106,123],"selection":[50],"program":[52,108,125],"variables.":[53,109],"Today's":[54],"compilers":[55],"directly":[56],"translate":[57],"specified":[60,80],"source":[63,83],"code":[64,84],"binary.":[67],"However,":[68],"observe":[70],"that":[71,100],"most":[72],"variables":[73,126],"do":[74],"not":[75],"utilize":[76],"full":[78],"for":[85],"majority":[87],"execution.":[89],"leverage":[91],"opportunity,":[93],"propose":[95],"BitSpec":[96,110,150],":":[97],"system":[99],"performs":[101],"fine-grained":[102],"speculation":[103],"on":[104,156],"is":[111],"implemented":[112],"as":[113],"compiler-architecture":[115],"co-design,":[116],"where":[117],"compiler":[119],"transparently":[120],"reduces":[121,151],"their":[128],"expected":[129],"needs":[130],"and":[131],"monitors":[134],"speculative":[135],"variables,":[136],"reporting":[137],"misspeculation":[138],"software,":[141],"which":[142],"re-executes":[143],"at":[144],"original":[146],"bitwidth,":[147],"ensuring":[148],"correctness.":[149],"consumption":[153],"by":[154],"9.9%":[155],"average,":[157],"up":[158],"28.2%":[160],".":[161]},"counts_by_year":[],"updated_date":"2025-12-28T23:10:05.387466","created_date":"2025-10-10T00:00:00"}