{"id":"https://openalex.org/W7168020295","doi":"https://doi.org/10.1145/3806645.3807578","title":"Enabling Floating Point Virtualization With Tiny Numbers","display_name":"Enabling Floating Point Virtualization With Tiny Numbers","publication_year":2026,"publication_date":"2026-07-11","ids":{"openalex":"https://openalex.org/W7168020295","doi":"https://doi.org/10.1145/3806645.3807578"},"language":null,"primary_location":{"id":"doi:10.1145/3806645.3807578","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3806645.3807578","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 35th International Symposium on High-Performance Parallel and Distributed Computing","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3806645.3807578","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5140459707","display_name":"Kevin Hayes","orcid":"https://orcid.org/0009-0004-1429-6217"},"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":"Kevin Hayes","raw_affiliation_strings":["Northwestern University, Evanston, Illinois, USA"],"raw_orcid":"https://orcid.org/0009-0004-1429-6217","affiliations":[{"raw_affiliation_string":"Northwestern University, Evanston, Illinois, USA","institution_ids":["https://openalex.org/I111979921"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5077304920","display_name":"Peter A. Dinda","orcid":"https://orcid.org/0000-0001-5315-5987"},"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":"Peter Dinda","raw_affiliation_strings":["Northwestern University, Evanston, Illinois, USA"],"raw_orcid":"https://orcid.org/0000-0001-5315-5987","affiliations":[{"raw_affiliation_string":"Northwestern University, Evanston, Illinois, USA","institution_ids":["https://openalex.org/I111979921"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I111979921"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"98","last_page":"111"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.30169999599456787,"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"}},"topics":[{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.30169999599456787,"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"}},{"id":"https://openalex.org/T12122","display_name":"Physical Unclonable Functions (PUFs) and Hardware Security","score":0.12890000641345978,"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.12250000238418579,"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/virtualization","display_name":"Virtualization","score":0.6535000205039978},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.4300999939441681},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.41440001130104065},{"id":"https://openalex.org/keywords/ieee-floating-point","display_name":"IEEE floating point","score":0.38690000772476196},{"id":"https://openalex.org/keywords/full-virtualization","display_name":"Full virtualization","score":0.3833000063896179},{"id":"https://openalex.org/keywords/floating-point","display_name":"Floating point","score":0.3707999885082245},{"id":"https://openalex.org/keywords/double-precision-floating-point-format","display_name":"Double-precision floating-point format","score":0.3596000075340271}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7786999940872192},{"id":"https://openalex.org/C513985346","wikidata":"https://www.wikidata.org/wiki/Q270471","display_name":"Virtualization","level":3,"score":0.6535000205039978},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4546999931335449},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.4300999939441681},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.41440001130104065},{"id":"https://openalex.org/C137231763","wikidata":"https://www.wikidata.org/wiki/Q828287","display_name":"IEEE floating point","level":3,"score":0.38690000772476196},{"id":"https://openalex.org/C47878483","wikidata":"https://www.wikidata.org/wiki/Q848333","display_name":"Full virtualization","level":4,"score":0.3833000063896179},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.37380000948905945},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3709999918937683},{"id":"https://openalex.org/C84211073","wikidata":"https://www.wikidata.org/wiki/Q117879","display_name":"Floating point","level":2,"score":0.3707999885082245},{"id":"https://openalex.org/C35912277","wikidata":"https://www.wikidata.org/wiki/Q1243369","display_name":"Double-precision floating-point format","level":3,"score":0.3596000075340271},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.3382999897003174},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.3357999920845032},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.32739999890327454},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.29989999532699585},{"id":"https://openalex.org/C133095886","wikidata":"https://www.wikidata.org/wiki/Q1307173","display_name":"Single-precision floating-point format","level":3,"score":0.29409998655319214},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.2694000005722046},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.25029999017715454}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3806645.3807578","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3806645.3807578","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 35th International Symposium on High-Performance Parallel and Distributed Computing","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3806645.3807578","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3806645.3807578","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 35th International Symposium on High-Performance Parallel and Distributed Computing","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1340092484","display_name":"Collaborative Research: CNS Core: Medium: The Privacy Backplane - A Full Stack Approach to Individualized Privacy Controls Throughout the Internet-of-Things","funder_award_id":"2211508","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4469995259","display_name":"Collaborative Research: PPoSS: LARGE: Unifying Software and Hardware to Achieve Performant and Scalable Frictionless Parallelism in the Heterogeneous Future","funder_award_id":"2119069","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5957952179","display_name":"CNS Core: Medium: A Systems and User-based  Approach to Floating Point Correctness and Resilience","funder_award_id":"2211315","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"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1894574293","https://openalex.org/W1969213662","https://openalex.org/W2041091076","https://openalex.org/W2081368694","https://openalex.org/W2102852529","https://openalex.org/W2149886445","https://openalex.org/W2162084083","https://openalex.org/W2293007794","https://openalex.org/W3035232708","https://openalex.org/W3037623668","https://openalex.org/W3091167689","https://openalex.org/W3123063474","https://openalex.org/W3132423164","https://openalex.org/W4207078226","https://openalex.org/W4283381524","https://openalex.org/W4414209793","https://openalex.org/W4414746986","https://openalex.org/W7083026480","https://openalex.org/W7133233472"],"related_works":[],"abstract_inverted_index":{"Floating":[0],"point":[1],"virtualization":[2,17],"allows":[3,117],"existing,":[4],"unmodified":[5],"application":[6],"binaries":[7],"to":[8,20,123,131],"be":[9,132],"run":[10],"using":[11,147],"an":[12,110],"alternative":[13,21,113],"arithmetic":[14,114],"system.":[15],"Such":[16],"is":[18,56,145],"geared":[19],"numbers":[22,33,51],"that":[23,80,84,116],"are":[24],"\u201clarger\u201d":[25],"(require":[26],"more":[27],"bits)":[28],"than":[29],"the":[30,45,61,72,127],"IEEE":[31,119],"754":[32,120],"(e.g.,":[34],"64":[35],"bit":[36],"doubles)":[37],"they":[38],"replace.":[39],"In":[40],"this":[41],"work,":[42],"we":[43],"approach":[44],"challenge":[46],"of":[47,57,63,162],"virtualizing":[48],"with":[49,126,159],"\u201csmaller\u201d":[50],"(requiring":[52],"fewer":[53],"bits),":[54],"which":[55],"increasing":[58],"interest":[59],"given":[60],"explosion":[62],"low-precision":[64],"hardware":[65],"targeting":[66],"AI.":[67],"We":[68,107],"focus":[69],"specifically":[70],"on":[71,134,153],"ubiquitous":[73],"x64":[74,82],"architecture":[75],"through":[76],"a":[77,135,160],"hardware/software":[78],"co-design":[79],"leverages":[81],"functionality":[83],"currently":[85],"lays":[86],"fallow.":[87],"The":[88],"design":[89],"combines":[90],"(a)":[91],"instruction":[92],"traps":[93],"via":[94],"lazy":[95],"FPU":[96],"abduction,":[97],"and":[98,149,156],"(b)":[99],"simplified":[100],"memory":[101],"management":[102],"by":[103],"tiny":[104,112],"value":[105],"boxing.":[106],"also":[108],"develop":[109],"example":[111],"system":[115,144],"smaller":[118],"numbers,":[121],"down":[122],"3":[124],"bits,":[125],"exact":[128],"precision":[129,164],"able":[130],"specified":[133],"per-value":[136],"or":[137],"per-instruction":[138],"basis":[139],"at":[140],"runtime.":[141],"Our":[142],"prototype":[143],"evaluated":[146],"validation":[148],"performance":[150],"tests":[151],"based":[152],"running":[154],"NAS":[155],"other":[157],"benchmarks":[158],"range":[161],"lower":[163],"numbers.":[165]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2026-07-12T00:00:00"}