{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,10]],"date-time":"2026-01-10T07:51:49Z","timestamp":1768031509254,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":55,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,6,27]],"date-time":"2022-06-27T00:00:00Z","timestamp":1656288000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-1763743, CCF-2028851, and CCF-2119069"],"award-info":[{"award-number":["CNS-1763743, CCF-2028851, and CCF-2119069"]}],"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":[[2022,6,27]]},"DOI":"10.1145\/3502181.3531469","type":"proceedings-article","created":{"date-parts":[[2022,6,23]],"date-time":"2022-06-23T22:14:30Z","timestamp":1656022470000},"page":"16-29","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["FPVM"],"prefix":"10.1145","author":[{"given":"Peter","family":"Dinda","sequence":"first","affiliation":[{"name":"Northwestern University, Evanston, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nick","family":"Wanninger","sequence":"additional","affiliation":[{"name":"Northwestern University, Evanston, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jiacheng","family":"Ma","sequence":"additional","affiliation":[{"name":"Northwestern University, Evanston, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alex","family":"Bernat","sequence":"additional","affiliation":[{"name":"Northwestern University, Evanston, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Charles","family":"Bernat","sequence":"additional","affiliation":[{"name":"Northwestern University, Evanston, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Souradip","family":"Ghosh","sequence":"additional","affiliation":[{"name":"Northwestern University, Evanston, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christopher","family":"Kraemer","sequence":"additional","affiliation":[{"name":"Northwestern University, Evanston, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yehya","family":"Elmasry","sequence":"additional","affiliation":[{"name":"Northwestern University, Evanston, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,6,27]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"The risc-v instruction set manual. volume i: User-level isa.  The risc-v instruction set manual. volume i: User-level isa."},{"key":"e_1_3_2_1_2_1","volume-title":"The ultimate disassembler","author":"Capstone","year":"2021","unstructured":"Capstone : The ultimate disassembler , 2021 . Capstone: The ultimate disassembler, 2021."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.57046"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24723-4_2"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509526"},{"key":"e_1_3_2_1_7_1","volume-title":"Libbf: The tiny big float library.","author":"Bellard F.","year":"2017","unstructured":"Bellard , F. Libbf: The tiny big float library. Available at https:\/\/bellard.org\/libbf\/, 2017 . Bellard, F. Libbf: The tiny big float library. Available at https:\/\/bellard.org\/libbf\/, 2017."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3307681.3325960"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254118"},{"key":"e_1_3_2_1_10_1","first-page":"89","volume-title":"Proceedings of the ACM SIGPLAN 1996 Conference on Programming Language Design and Implementation (New York, NY, USA, 1996), PLDI '96, Association for Computing Machinery","author":"Boehm H.-J.","unstructured":"Boehm , H.-J. Simple garbage-collector-safety . In Proceedings of the ACM SIGPLAN 1996 Conference on Programming Language Design and Implementation (New York, NY, USA, 1996), PLDI '96, Association for Computing Machinery , p. 89 -- 98 . Boehm, H.-J. Simple garbage-collector-safety. In Proceedings of the ACM SIGPLAN 1996 Conference on Programming Language Design and Implementation (New York, NY, USA, 1996), PLDI '96, Association for Computing Machinery, p. 89--98."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386037"},{"key":"e_1_3_2_1_12_1","first-page":"2","volume":"211","author":"Bryan G. L.","year":"2014","unstructured":"Bryan , G. L. , Norman , M. L. , O'Shea , B. W. , Abel , T. , Wise , J. H. , Turk , M. J. , Reynolds , D. R. , Collins , D. C. , Wang , P. , Skillman , S. W. , Smith , B. , Harkness , R. P. , Bordner , J. , Kim , J.-h. , Kuhlen , M. , Xu , H. , Goldbaum , N. , Hummels , C. , Kritsuk , A. G. , Tasker , E. , Skory , S. , Simpson , C. M. , Hahn , O. , Oishi , J. S. , So , G. C. , Zhao , F. , Cen , R. , Li , Y. , and The Enzo Collaboration. ENZO: An Adaptive Mesh Refinement Code for Astrophysics. The Astrophysical Journal 211 , 2 ( March 2014 ), 19. Bryan, G. L., Norman, M. L., O'Shea, B. W., Abel, T., Wise, J. H., Turk, M. J., Reynolds, D. R., Collins, D. C., Wang, P., Skillman, S. W., Smith, B., Harkness, R. P., Bordner, J., Kim, J.-h., Kuhlen, M., Xu, H., Goldbaum, N., Hummels, C., Kritsuk, A. G., Tasker, E., Skory, S., Simpson, C. M., Hahn, O., Oishi, J. S., So, G. C., Zhao, F., Cen, R., Li, Y., and The Enzo Collaboration. ENZO: An Adaptive Mesh Refinement Code for Astrophysics. The Astrophysical Journal 211, 2 (March 2014), 19.","journal-title":"The Enzo Collaboration. ENZO: An Adaptive Mesh Refinement Code for Astrophysics. The Astrophysical Journal"},{"key":"e_1_3_2_1_13_1","volume-title":"March","author":"Cherkaev A.","year":"2018","unstructured":"Cherkaev , A. The secret life of a nan. https:\/\/anniecherkaev.com\/the-secret-life-of-nan , March 2018 . Cherkaev, A. The secret life of a nan. https:\/\/anniecherkaev.com\/the-secret-life-of-nan, March 2018."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009846"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3446804.3446848"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.2172\/993908"},{"key":"e_1_3_2_1_17_1","unstructured":"Devine S. Bugnion E. and Rosenblum M. Virtualization system including a virtual machine monitor for a computer with a segmented architecture. United States Patent Number 6397242.  Devine S. Bugnion E. and Rosenblum M. Virtualization system including a virtual machine monitor for a computer with a segmented architecture. United States Patent Number 6397242."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3369583.3392673"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2018.00068"},{"key":"e_1_3_2_1_21_1","first-page":"151","volume-title":"Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (New York, NY, USA, 2020), PLDI 2020, Association for Computing Machinery","author":"Duck G. J.","unstructured":"Duck , G. J. , Gao , X. , and Roychoudhury , A . Binary rewriting without control flow recovery . In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (New York, NY, USA, 2020), PLDI 2020, Association for Computing Machinery , p. 151 -- 163 . Duck, G. J., Gao, X., and Roychoudhury, A. Binary rewriting without control flow recovery. In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (New York, NY, USA, 2020), PLDI 2020, Association for Computing Machinery, p. 151--163."},{"key":"e_1_3_2_1_22_1","volume-title":"October","author":"F\u00e9votte F.","year":"2016","unstructured":"F\u00e9votte , F. , and Lathuili\u00e8re , B . VERROU: assessing floating point accuracy without recompiling , October 2016 . working paper or preprint. F\u00e9votte, F., and Lathuili\u00e8re, B. VERROU: assessing floating point accuracy without recompiling, October 2016. working paper or preprint."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1236463.1236468"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/SC41405.2020.00057"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1974.6323581"},{"key":"e_1_3_2_1_26_1","volume-title":"The End of Error: Unum Computing","author":"Gustafson J.","year":"2015","unstructured":"Gustafson , J. The End of Error: Unum Computing . Chapman and Hall\/CRC , 2015 . Gustafson, J. The End of Error: Unum Computing. Chapman and Hall\/CRC, 2015."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2749246.2749264"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2892242.2892255"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/502102.502106"},{"key":"e_1_3_2_1_30_1","volume-title":"July","author":"Hollingsworth J. K.","year":"1997","unstructured":"Hollingsworth , J. K. , and Buck , B . DynInstAPI Programmer's Guide Release 1.0 , July 1997 . http:\/\/www.cs.umd.edu\/ hollings\/dyninstAPI\/dyninstUserGuide.pdf. Hollingsworth, J. K., and Buck, B. DynInstAPI Programmer's Guide Release 1.0, July 1997. http:\/\/www.cs.umd.edu\/ hollings\/dyninstAPI\/dyninstUserGuide.pdf."},{"key":"e_1_3_2_1_31_1","volume-title":"https:\/\/github.com\/SRI-CSL\/gllvm","author":"Ian A.","year":"2018","unstructured":"Ian A. Mason , S. I. https:\/\/github.com\/SRI-CSL\/gllvm , 2018 . Ian A. Mason, S. I. https:\/\/github.com\/SRI-CSL\/gllvm, 2018."},{"key":"e_1_3_2_1_32_1","volume-title":"IEEE standard for binary floating-point arithmetic","author":"IEEE Floating Point Working Group","year":"1985","unstructured":"IEEE Floating Point Working Group . IEEE standard for binary floating-point arithmetic . ANSI\/IEEE Std 754-- 1985 (1985). IEEE Floating Point Working Group. IEEE standard for binary floating-point arithmetic. ANSI\/IEEE Std 754--1985 (1985)."},{"key":"e_1_3_2_1_33_1","first-page":"1","volume":"754","author":"IEEE Floating Point Working Group","year":"2008","unstructured":"IEEE Floating Point Working Group . IEEE standard for floating-point arithmetic. IEEE Std 754-2008 ( Aug 2008 ), 1 -- 70 . IEEE Floating Point Working Group. IEEE standard for floating-point arithmetic. IEEE Std 754-2008 (Aug 2008), 1--70.","journal-title":"IEEE Std"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3410463.3414660"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO51591.2021.9370331"},{"key":"e_1_3_2_1_37_1","volume-title":"Proceedings of the 23rd IEEE Symposium on Computer Arithmetic (ARITH) (July","author":"Kahan W.","year":"2016","unstructured":"Kahan , W. A critique of john l. gustafson's the end of error--unum computation and his a radical approach to computation with real numbers . In Proceedings of the 23rd IEEE Symposium on Computer Arithmetic (ARITH) (July 2016 ). Kahan, W. A critique of john l. gustafson's the end of error--unum computation and his a radical approach to computation with real numbers. In Proceedings of the 23rd IEEE Symposium on Computer Arithmetic (ARITH) (July 2016)."},{"key":"e_1_3_2_1_38_1","volume-title":"May","author":"Kalamkar D.","year":"2019","unstructured":"Kalamkar , D. , Mudigere , D. , Mellempudi , N. , Das , D. , Banerjee , K. , Avancha , S. , Vooturi , D. T. , Jammalamadaka , N. , Huang , J. , Yuen , H. , Yang , J. , Park , J. , Heinecke , A. , Georganas , E. , Srinivasan , S. , Kundu , A. , Smelyanskiy , M. , Kaul , B. , and Kundu , P. D . A study of BFLOAT16 for deep learning training. arXiv preprint arXiv:1905.12322 , May 2019 . Kalamkar, D., Mudigere, D., Mellempudi, N., Das, D., Banerjee, K., Avancha, S., Vooturi, D. T., Jammalamadaka, N., Huang, J., Yuen, H., Yang, J., Park, J., Heinecke, A., Georganas, E., Srinivasan, S., Kundu, A., Smelyanskiy, M., Kaul, B., and Kundu, P. D. A study of BFLOAT16 for deep learning training. arXiv preprint arXiv:1905.12322, May 2019."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.parco.2012.08.002"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/161494.161501"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.5555\/977395.977673"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814299"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1985.1676511"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2016.05.489"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1002\/9783527617500"},{"key":"e_1_3_2_1_46_1","volume-title":"University of Versailles Saint Quentin en Yvlines. Nas parallel benchmarks 3.0-unofficial openmp c version. https:\/\/github.com\/benchmark-subsetting\/NPB3.0-omp-C","author":"Omni OpenMP Compiler Group","year":"2014","unstructured":"Omni OpenMP Compiler Group , University of Versailles Saint Quentin en Yvlines. Nas parallel benchmarks 3.0-unofficial openmp c version. https:\/\/github.com\/benchmark-subsetting\/NPB3.0-omp-C , 2014 . Omni OpenMP Compiler Group, University of Versailles Saint Quentin en Yvlines. Nas parallel benchmarks 3.0-unofficial openmp c version. https:\/\/github.com\/benchmark-subsetting\/NPB3.0-omp-C, 2014."},{"key":"e_1_3_2_1_47_1","volume-title":"Universal Numbers Library: design and implementation of a high-performance reproducible number systems library. arXiv:2012.11011","author":"Omtzigt E. T. L.","year":"2020","unstructured":"Omtzigt , E. T. L. , Gottschling , P. , Seligman , M. , and Zorn , W . Universal Numbers Library: design and implementation of a high-performance reproducible number systems library. arXiv:2012.11011 ( 2020 ). Omtzigt, E. T. L., Gottschling, P., Seligman, M., and Zorn, W. Universal Numbers Library: design and implementation of a high-performance reproducible number systems library. arXiv:2012.11011 (2020)."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737959"},{"key":"e_1_3_2_1_49_1","volume-title":"Formal requirements for virtualizable third generation architectures. Communications of the ACM (July","author":"Popek G.","year":"1974","unstructured":"Popek , G. , and Goldberg , R . Formal requirements for virtualizable third generation architectures. Communications of the ACM (July 1974 ), 413--421. Popek, G., and Goldberg, R. Formal requirements for virtualizable third generation architectures. Communications of the ACM (July 1974), 413--421."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/186025.186041"},{"key":"e_1_3_2_1_51_1","volume-title":"https:\/\/github.com\/travitch\/whole-program-llvm","author":"Ravitch T.","year":"2016","unstructured":"Ravitch , T. https:\/\/github.com\/travitch\/whole-program-llvm , 2016 . Ravitch, T. https:\/\/github.com\/travitch\/whole-program-llvm, 2016."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/2503210.2503296"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192411"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1109\/IISWC.2017.8167780"},{"key":"e_1_3_2_1_55_1","unstructured":"Shoshitaishvili Y. Wang R. Salls C. Stephens N. Polino M. Dutcher A. Grosen J. Feng S. Hauser C. Kruegel C. and Vigna G. Sok: (state of) the art of war: Offensive techniques in binary analysis.  Shoshitaishvili Y. Wang R. Salls C. Stephens N. Polino M. Dutcher A. Grosen J. Feng S. Hauser C. Kruegel C. and Vigna G. Sok: (state of) the art of war: Offensive techniques in binary analysis."},{"key":"e_1_3_2_1_56_1","volume-title":"Proceedings of the USENIX Annual Technical Conference (June","author":"Sugerman J.","year":"2001","unstructured":"Sugerman , J. , Venkitachalan , G. , and Lim , B . -H. Virtualizing I\/O devices on VMware workstation's hosted virtual machine monitor . In Proceedings of the USENIX Annual Technical Conference (June 2001 ). Sugerman, J., Venkitachalan, G., and Lim, B.-H. Virtualizing I\/O devices on VMware workstation's hosted virtual machine monitor. In Proceedings of the USENIX Annual Technical Conference (June 2001)."},{"key":"e_1_3_2_1_57_1","volume-title":"September","author":"Walker J.","year":"2021","unstructured":"Walker , J. Fbench: Floating point benchmarks. https:\/\/www.fourmilab.ch\/fbench\/ , September 2021 . Walker, J. Fbench: Floating point benchmarks. https:\/\/www.fourmilab.ch\/fbench\/, September 2021."},{"key":"e_1_3_2_1_58_1","unstructured":"Wingo A. Value representation in javascript implementations. http:\/\/wingolog.org\/archives\/2011\/05\/18\/value-representation-in-javascript-implementations May 2011.  Wingo A. Value representation in javascript implementations. http:\/\/wingolog.org\/archives\/2011\/05\/18\/value-representation-in-javascript-implementations May 2011."}],"event":{"name":"HPDC '22: The 31st International Symposium on High-Performance Parallel and Distributed Computing","location":"Minneapolis MN USA","acronym":"HPDC '22","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 31st International Symposium on High-Performance Parallel and Distributed Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3502181.3531469","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3502181.3531469","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3502181.3531469","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:09:49Z","timestamp":1750183789000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3502181.3531469"}},"subtitle":["Towards a Floating Point Virtual Machine"],"short-title":[],"issued":{"date-parts":[[2022,6,27]]},"references-count":55,"alternative-id":["10.1145\/3502181.3531469","10.1145\/3502181"],"URL":"https:\/\/doi.org\/10.1145\/3502181.3531469","relation":{},"subject":[],"published":{"date-parts":[[2022,6,27]]},"assertion":[{"value":"2022-06-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}