{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T20:59:37Z","timestamp":1757624377220,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","funder":[{"DOI":"10.13039\/100000001","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["CNS-2211315","CCF-2119069","CNS-2211508"],"award-info":[{"award-number":["CNS-2211315","CCF-2119069","CNS-2211508"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,7,20]]},"DOI":"10.1145\/3731545.3731584","type":"proceedings-article","created":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T12:46:16Z","timestamp":1757421976000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Virtualization So Light, it Floats! Accelerating Floating Point Virtualization"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7445-8186","authenticated-orcid":false,"given":"Nick","family":"Wanninger","sequence":"first","affiliation":[{"name":"Northwestern University, Evanston, Illinois, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-1869-9472","authenticated-orcid":false,"given":"Nadharm","family":"Dhiantravan","sequence":"additional","affiliation":[{"name":"Northwestern University, Evanston, Illinois, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5315-5987","authenticated-orcid":false,"given":"Peter","family":"Dinda","sequence":"additional","affiliation":[{"name":"Northwestern University, Evanston, Illinois, USA"}]}],"member":"320","published-online":{"date-parts":[[2025,9,9]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Retrieved","year":"2019","unstructured":"2021. Capstone: The Ultimate Disassembler. Retrieved Jan 19, 2019 from https:\/\/www.capstone-engine.org\/"},{"key":"e_1_3_2_1_2_1","unstructured":"2025. LIEF - Library to Instrument Executable Formats. https:\/\/github.com\/lief-project\/LIEF\/."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.57046"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509526"},{"key":"e_1_3_2_1_5_1","unstructured":"Fabrice Bellard. 2017. LibBF: The Tiny Big Float Library. Available at https:\/\/bellard.org\/libbf\/."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3307681.3325960"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254118"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386037"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1088\/0067-0049\/211\/2\/19"},{"key":"e_1_3_2_1_10_1","unstructured":"Annie Cherkaev. 2018. The Secret Life of a NaN. https:\/\/anniecherkaev.com\/the-secret-life-of-nan."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009846"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3446804.3446848"},{"key":"e_1_3_2_1_13_1","unstructured":"Peter Dinda and Alex Bernat. 2021. Comparing the Understanding of IEEE Floating Point Between Scientific and Non-scientific Users. Technical Report NWU-CS-2021-07. Department of Computer Science Northwestern University."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2018.00068"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3502181.3531469"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3385972"},{"key":"e_1_3_2_1_17_1","volume-title":"VERROU: Assessing Floating Point Accuracy Without Recompiling. working paper or preprint.","author":"F\u00e9votte Fran\u00e7ois","year":"2016","unstructured":"Fran\u00e7ois F\u00e9votte and Bruno Lathuili\u00e8re. 2016. VERROU: Assessing Floating Point Accuracy Without Recompiling. working paper or preprint."},{"key":"e_1_3_2_1_18_1","first-page":"2","article-title":"MPFR: A Multiple-precision Binary Floating-point Library with Correct Rounding","volume":"33","author":"Fousse Laurent","year":"2007","unstructured":"Laurent Fousse, Guillaume Hanrot, Vincent Lef\u00e8vre, Patrick P\u00e9lissier, and Paul Zimmermann. 2007. MPFR: A Multiple-precision Binary Floating-point Library with Correct Rounding. ACM Transactions on Mathematical Software (TOMS) 33, 2 (June 2007).","journal-title":"ACM Transactions on Mathematical Software (TOMS)"},{"key":"e_1_3_2_1_19_1","volume-title":"The End of Error: Unum Computing","author":"Gustafson John","unstructured":"John Gustafson. 2015. The End of Error: Unum Computing. Chapman and Hall\/CRC."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/502102.502106"},{"key":"e_1_3_2_1_21_1","volume-title":"Proceedings of the 23rd IEEE Symposium on Computer Arithmetic (ARITH).","author":"Kahan Willian","year":"2016","unstructured":"Willian Kahan. 2016. A Critique of John L. Gustafson's The End of Error\u2014Unum Computation and his A Radical Approach to Computation with Real Numbers. In Proceedings of the 23rd IEEE Symposium on Computer Arithmetic (ARITH)."},{"key":"e_1_3_2_1_22_1","unstructured":"Dhiraj Kalamkar Dheevatsa Mudigere Naveen Mellempudi Dipankar Das Kunal Banerjee Sasikanth Avancha Dharma Teja Vooturi Nataraj Jammalamadaka Jianyu Huang Hector Yuen Jiyan Yang Jongsoo Park Alexander Heinecke Evangelos Georganas Sudarshan Srinivasan Abhisek Kundu Misha Smelyanskiy Bharat Kaul and Pradeep DubeyAbhisek Kundu. 2019. A Study of BFLOAT16 for Deep Learning Training. arXiv preprint arXiv:1905.12322."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.parco.2012.08.002"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814299"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1064978.1065034"},{"key":"e_1_3_2_1_26_1","article-title":"Finite Precision Rational Arithmetic: Slash Number Systems","author":"Matula D. W.","year":"1985","unstructured":"D. W. Matula and P. Kornerup. 1985. Finite Precision Rational Arithmetic: Slash Number Systems. IEEE Trans. Comput. C-34, 1 (Jan 1985), 3\u201318.","journal-title":"IEEE Trans. Comput. C-34, 1"},{"key":"e_1_3_2_1_27_1","volume-title":"Jessup","author":"Milroy Daniel J.","year":"2016","unstructured":"Daniel J. Milroy, Allison H. Baker, Dorit M. Hammerling, John M. Dennis, Sheri A. Mickelson, and Elizabeth R. Jessup. 2016. Towards Characterizing the Variability of Statistically Consistent Community Earth System Model Simulations. Procedia Computer Science 80, C (June 2016), 1589\u20131600."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737959"},{"key":"e_1_3_2_1_29_1","volume-title":"Proceedings of the 29th Annual ACM\/IEEE International Symposium on Microarchitecture (MICRO","author":"Rotenberg Eric","year":"1996","unstructured":"Eric Rotenberg, Steve Bennett, and James E. Smith. 1996. Trace Cache: A Low Latency Approach to High Bandwidth Instruction Fetching. In Proceedings of the 29th Annual ACM\/IEEE International Symposium on Microarchitecture (MICRO 1996). 24\u201335."},{"key":"e_1_3_2_1_30_1","volume-title":"Proceedings of the International Conference on High Performance Computing, Networking, Storage and Analysis (Supercomputing).","author":"Rubio-Gonz\u00e1lez Cindy","year":"2013","unstructured":"Cindy Rubio-Gonz\u00e1lez, Cuong Nguyen, Hong Diep Nguyen, James Demmel, William Kahan, Koushik Sen, David H Bailey, Costin Iancu, and David Hough. 2013. Precimonious: Tuning assistant for floating-point precision. In Proceedings of the International Conference on High Performance Computing, Networking, Storage and Analysis (Supercomputing)."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192411"},{"key":"e_1_3_2_1_32_1","volume-title":"Proceedings of the 2017 IEEE International Symposium on Workload Characterization (IISWC). 229\u2013238","author":"Sawaya G.","unstructured":"G. Sawaya, M. Bentley, I. Briggs, G. Gopalakrishnan, and D. H. Ahn. 2017. FLiT: Cross-platform floating-point result-consistency tester and workload. In Proceedings of the 2017 IEEE International Symposium on Workload Characterization (IISWC). 229\u2013238."},{"key":"e_1_3_2_1_33_1","unstructured":"John Walker. 2021. FBench: Floating Point Benchmarks. https:\/\/www.fourmilab.ch\/fbench\/."},{"key":"e_1_3_2_1_34_1","unstructured":"John Walker. 2025. FFBench: Fast Fourier Transform Benchmark. https:\/\/www.fourmilab.ch\/fbench\/ffbench.html."},{"key":"e_1_3_2_1_35_1","unstructured":"A. Wingo. 2011. Value Representation in JavaScript Implementations. http:\/\/wingolog.org\/archives\/2011\/05\/18\/value-representation-in-javascript-implementations."}],"event":{"name":"HPDC '25: 34th International Symposium on High-Performance Parallel and Distributed Computing","location":"University of Notre Dame Conference Facilities Notre Dame IN USA","acronym":"HPDC '25","sponsor":["SIGHPC ACM Special Interest Group on High Performance Computing, Special Interest Group on High Performance Computing","SIGARCH ACM Special Interest Group on Computer Architecture"]},"container-title":["Proceedings of the 34th International Symposium on High-Performance Parallel and Distributed Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3731545.3731584","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T12:48:00Z","timestamp":1757422080000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3731545.3731584"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7,20]]},"references-count":35,"alternative-id":["10.1145\/3731545.3731584","10.1145\/3731545"],"URL":"https:\/\/doi.org\/10.1145\/3731545.3731584","relation":{},"subject":[],"published":{"date-parts":[[2025,7,20]]},"assertion":[{"value":"2025-09-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}