{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,24]],"date-time":"2026-09-24T06:43:12Z","timestamp":1790232192100,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":64,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,6,11]],"date-time":"2020-06-11T00:00:00Z","timestamp":1591833600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100007515","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1908798,1453086,1917897"],"award-info":[{"award-number":["1908798,1453086,1917897"]}],"id":[{"id":"10.13039\/100007515","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,6,11]]},"DOI":"10.1145\/3385412.3386004","type":"proceedings-article","created":{"date-parts":[[2020,6,7]],"date-time":"2020-06-07T01:40:10Z","timestamp":1591494010000},"page":"731-746","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":25,"title":["Debugging and detecting numerical errors in computation with posits"],"prefix":"10.1145","author":[{"given":"Sangeeta","family":"Chowdhary","sequence":"first","affiliation":[{"name":"Rutgers University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jay P.","family":"Lim","sequence":"additional","affiliation":[{"name":"Rutgers University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Santosh","family":"Nagarakatte","sequence":"additional","affiliation":[{"name":"Rutgers University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2020,6,11]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"IEEE Standard for Floating-Point Arithmetic","year":"2008","unstructured":"2008. IEEE Standard for Floating-Point Arithmetic. IEEE 754-2008. IEEE Computer Society. 1\u201370 pages."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509526"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429133"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254118"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2017.574"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3316279.3316282"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009846"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2555243.2555265"},{"key":"e_1_3_2_1_9_1","volume-title":"Retrieved March 23rd","author":"Chowdhary Sangeeta","year":"2020","unstructured":"Sangeeta Chowdhary, Jay P Lim, and Santosh Nagarakatte. 2020. FPSanitizer - A debugger to detect and diagnose numerical errors in floating point programs. Retrieved March 23rd, 2020 from https: \/\/github.com\/rutgers-apl\/fpsanitizer"},{"key":"e_1_3_2_1_10_1","volume-title":"Retrieved March 23rd","author":"Chowdhary Sangeeta","year":"2020","unstructured":"Sangeeta Chowdhary, Jay P Lim, and Santosh Nagarakatte. 2020. Posit-Debug. Retrieved March 23rd, 2020 from https:\/\/github.com\/rutgersapl\/PositDebug"},{"key":"e_1_3_2_1_11_1","volume-title":"CoRR","author":"Courbariaux Matthieu","unstructured":"Matthieu Courbariaux and Yoshua Bengio. 2016. BinaryNet: Training Deep Neural Networks with Weights and Activations Constrained to +1 or -1. In CoRR, Vol. abs\/1602.02830."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535874"},{"key":"e_1_3_2_1_13_1","volume-title":"Conference for Next Generation Arithmetic. ACM Press","author":"de Dinechin Florent","year":"2019","unstructured":"Florent de Dinechin, Luc Forget, Jean-Michel Muller, and Yohann Uguen. 2019. Posits: the good, the bad and the ugly. In CoNGA\u201919 - Conference for Next Generation Arithmetic. ACM Press, Singapore, Singapore, 1\u201310. https:\/\/hal.inria.fr\/hal-01959581"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/EMC2.2018.00012"},{"key":"e_1_3_2_1_15_1","volume-title":"VERROU: Assessing Floating-Point Accuracy Without Recompiling. (Oct.","author":"F\u00e9votte Fran\u00e7ois","year":"2016","unstructured":"Fran\u00e7ois F\u00e9votte and Bruno Lathuili\u00e8re. 2016. VERROU: Assessing Floating-Point Accuracy Without Recompiling. (Oct. 2016). https: \/\/hal.archives-ouvertes.fr\/hal-01383417 working paper or preprint."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1236463.1236468"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814317"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314632"},{"key":"e_1_3_2_1_19_1","volume-title":"Donut Domains: Efficient Non-convex Domains for Abstract Interpretation. In Verification, Model Checking, and Abstract Interpretation (Lecture Notes in Computer Science)","author":"Ghorbal Khalil","year":"2012","unstructured":"Khalil Ghorbal, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, and Aarti Gupta. 2012. Donut Domains: Efficient Non-convex Domains for Abstract Interpretation. In Verification, Model Checking, and Abstract Interpretation (Lecture Notes in Computer Science), Vol. 7148. Springer, 235\u2013250."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/103162.103163"},{"key":"e_1_3_2_1_21_1","volume-title":"IEEE Transactions on Information Theory","author":"Golomb S.","unstructured":"S. Golomb. 2006. Run-length Encodings (Corresp.). In IEEE Transactions on Information Theory, Vol. 12. IEEE Press, Piscataway, NJ, USA, 399\u2013 401."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-47764-0_14"},{"key":"e_1_3_2_1_23_1","volume-title":"Revised Selected Papers from the 12th International Workshop on Formal Methods for Industrial Critical Systems","author":"Goubault Eric","unstructured":"Eric Goubault, Sylvie Putot, Philippe Baufreton, and Jean Gassino. 2007. Static analysis of the accuracy in control systems: Principles and experiments. In Revised Selected Papers from the 12th International Workshop on Formal Methods for Industrial Critical Systems. Springer, 3\u201320."},{"key":"e_1_3_2_1_24_1","volume-title":"Proceedings of the 32nd International Conference on International Conference on Machine Learning","author":"Gupta Suyog","year":"2015","unstructured":"Suyog Gupta, Ankur Agrawal, Kailash Gopalakrishnan, and Pritish Narayanan. 2015. Deep Learning with Limited Numerical Precision. In Proceedings of the 32nd International Conference on International Conference on Machine Learning (Lille, France) (ICML\u201915). JMLR.org, 1737\u20131746."},{"key":"e_1_3_2_1_25_1","volume-title":"End of Error: Unum Computing","author":"Gustafson John","unstructured":"John Gustafson. 2015. End of Error: Unum Computing. Chapman & Hall\/CRC Computational Science."},{"key":"e_1_3_2_1_26_1","unstructured":"John Gustafson. 2017. Posit Arithmetic. https:\/\/posithub.org\/docs\/ Posits4.pdf"},{"key":"e_1_3_2_1_27_1","volume-title":"Supercomputing Frontiers and Innovations: an International Journal","author":"Gustafson John","unstructured":"John Gustafson and Isaac Yonemoto. 2017. Beating Floating Point at Its Own Game: Posit Arithmetic. In Supercomputing Frontiers and Innovations: an International Journal, Vol. 4. South Ural State University, Chelyabinsk, Russia, Russia, 71\u201386."},{"key":"e_1_3_2_1_28_1","volume-title":"Accuracy and Stability of Numerical Algorithms","author":"Higham Nicholas J.","unstructured":"Nicholas J. Higham. 2002. Accuracy and Stability of Numerical Algorithms (2nd ed.). Society for Industrial and Applied Mathematics, Philadelphia, PA, USA.","edition":"2"},{"key":"e_1_3_2_1_29_1","volume-title":"Quantization and Training of Neural Networks for Efficient Integer-Arithmetic-Only Inference. In The IEEE Conference on Computer Vision and Pattern Recognition (CVPR).","author":"Jacob Benoit","year":"2018","unstructured":"Benoit Jacob, Skirmantas Kligys, Bo Chen, Menglong Zhu, Matthew Tang, Andrew Howard, Hartwig Adam, and Dmitry Kalenichenko. 2018. Quantization and Training of Neural Networks for Efficient Integer-Arithmetic-Only Inference. In The IEEE Conference on Computer Vision and Pattern Recognition (CVPR)."},{"key":"e_1_3_2_1_30_1","volume-title":"Automation Test in Europe Conference Exhibition (DATE). 1159\u20131162","author":"Jaiswal Manish Kumar","unstructured":"Manish Kumar Jaiswal and Hayden K.-H So. 2018. Universal number posit arithmetic generator on FPGA. In 2018 Design, Automation Test in Europe Conference Exhibition (DATE). 1159\u20131162."},{"key":"e_1_3_2_1_31_1","unstructured":"Jeff Johnson. 2018. Rethinking floating point for deep learning. http: \/\/export.arxiv.org\/abs\/1811.01721"},{"key":"e_1_3_2_1_32_1","volume-title":"Proceedings of the Conference for Next Generation Arithmetic 2019","author":"Kl\u00f6wer Milan","unstructured":"Milan Kl\u00f6wer, Peter D. D\u00fcben, and Tim N. Palmer. 2019. Posits As an Alternative to Floats for Weather and Climate Models. In Proceedings of the Conference for Next Generation Arithmetic 2019 (Singapore, Singapore) (CoNGA\u201919). ACM, New York, NY, USA, Article 2, 8 pages."},{"key":"e_1_3_2_1_33_1","volume-title":"Flexpoint: PLDI \u201920, June 15\u201320","author":"K\u00f6ster Urs","year":"2017","unstructured":"Urs K\u00f6ster, Tristan Webb, Xin Wang, Marcel Nassar, Arjun K. Bansal, William Constable, Oguz Elibol, Stewart Hall, Luke Hornof, Amir Khosrowshahi, Carey Kloss, Ruby J. Pai, and Naveen Rao. 2017. Flexpoint: PLDI \u201920, June 15\u201320, 2020, London, UK Sangeeta Chowdhary, Jay P. Lim, and Santosh Nagarakatte An Adaptive Numerical Format for Efficient Training of Deep Neural Networks. In Advances in Neural Information Processing Systems, Vol. abs\/1711.02213."},{"key":"e_1_3_2_1_34_1","volume-title":"Advanced Arithmetic for the Digital Computer: Design of Arithmetic Units","author":"Kulisch Ulrich W.","unstructured":"Ulrich W. Kulisch. 2002. Advanced Arithmetic for the Digital Computer: Design of Arithmetic Units. Springer-Verlag, Berlin, Heidelberg."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"crossref","unstructured":"Ulrich W. Kulisch. 2013. Computer Arithmetic and Validity: Theory Implementation and Applications. De Gruyter. https:\/\/books.google. com\/books?id=kFR0yMDS6d4C","DOI":"10.1515\/9783110301793"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908107"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814299"},{"key":"e_1_3_2_1_38_1","unstructured":"Cerlane Leong. 2018. SoftPosit. https:\/\/gitlab.com\/cerlane\/SoftPosit"},{"key":"e_1_3_2_1_39_1","volume-title":"CoRR","author":"Li Fengfu","unstructured":"Fengfu Li and Bin Liu. 2016. Ternary Weight Networks. In CoRR, Vol. abs\/1605.04711."},{"key":"e_1_3_2_1_40_1","volume-title":"Proceedings of the 33rd International Conference on International Conference on Machine Learning -","volume":"48","author":"Lin Darryl D.","unstructured":"Darryl D. Lin, Sachin S. Talathi, and V. Sreekanth Annapureddy. 2016. Fixed Point Quantization of Deep Convolutional Networks. In Proceedings of the 33rd International Conference on International Conference on Machine Learning - Volume 48 (New York, NY, USA) (ICML\u201916). JMLR.org, 2849\u20132858."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3190339.3190344"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480945.1480960"},{"key":"e_1_3_2_1_43_1","volume-title":"ACM Transactions on Programming Languages and Systems","author":"Monniaux David","unstructured":"David Monniaux. 2008. The Pitfalls of Verifying Floating-Point Computations. In ACM Transactions on Programming Languages and Systems, Vol. 30. Association for Computing Machinery, New York, NY, USA, Article 12, 41 pages."},{"key":"e_1_3_2_1_44_1","unstructured":"Ra\u00c3\u017el Murillo Montero Alberto A. Del Barrio and Guillermo Botella. 2019. Template-Based Posit Multiplication for Training and Inferring in Neural Networks. arXiv: cs.CV\/1907.04091"},{"key":"e_1_3_2_1_45_1","volume-title":"Tapered Floating Point: A New Floating-Point Representation","author":"Morris Robert","unstructured":"Robert Morris. 1971. Tapered Floating Point: A New Floating-Point Representation. In IEEE Transactions on Computers, Vol. C-20. 1578\u2013 1579."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/2366231.2337181"},{"key":"e_1_3_2_1_49_1","volume-title":"Hardware-Enforced Comprehensive Memory Safety. In IEEE MICRO Top Picks of Computer Architecture Conferences of","author":"Nagarakatte Santosh","year":"2013","unstructured":"Santosh Nagarakatte, Milo M K Martin, and Steve Zdancewic. 2013. Hardware-Enforced Comprehensive Memory Safety. In IEEE MICRO Top Picks of Computer Architecture Conferences of 2012."},{"key":"e_1_3_2_1_50_1","volume-title":"Proceedings of SNAPL: The Inaugural Summit On Advances in Programming Languages.","author":"Nagarakatte Santosh","year":"2015","unstructured":"Santosh Nagarakatte, Milo M K Martin, and Steve Zdancewic. 2015. Everything You Want to Know about Pointer-Based Checking. In Proceedings of SNAPL: The Inaugural Summit On Advances in Programming Languages."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806651.1806657"},{"key":"e_1_3_2_1_52_1","unstructured":"Thomas R. Nicely. 2011. Pentium FDIV flaw FAQ. http:\/\/www.trnicely. net\/pentbug\/pentbug.html"},{"key":"e_1_3_2_1_53_1","unstructured":"United States General Accounting Office. 1992. Patriot Missile Defense: Software Problem Led to System Failure at Dhahran Saudi Arabia. https: \/\/www.gao.gov\/products\/IMTEC-92-26"},{"key":"e_1_3_2_1_54_1","unstructured":"Theodore Omtzigt. 2018. Universal Number Arithmetic. https:\/\/github. com\/stillwater-sc\/universal"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737959"},{"key":"e_1_3_2_1_56_1","volume-title":"Ever Had Problems Rounding Off Figures? This Stock Exchange Has. The Wall Street Journal (Nov","author":"Quinn Kevin","year":"1983","unstructured":"Kevin Quinn. 1983. Ever Had Problems Rounding Off Figures? This Stock Exchange Has. The Wall Street Journal (Nov. 1983)."},{"key":"e_1_3_2_1_57_1","volume-title":"XNOR-Net: ImageNet Classification Using Binary Convolutional Neural Networks. In European Conference on Computer Vision (ECCV \u201916)","volume":"9908","author":"Rastegari Mohammad","year":"2016","unstructured":"Mohammad Rastegari, Vicente Ordonez, Joseph Redmon, and Ali Farhadi. 2016. XNOR-Net: ImageNet Classification Using Binary Convolutional Neural Networks. In European Conference on Computer Vision (ECCV \u201916), Vol. 9908. Springer, 525\u2013542."},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/2503210.2503296"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192411"},{"key":"e_1_3_2_1_60_1","volume-title":"2017 IEEE International Symposium on Workload Characterization (IISWC). 229\u2013238","author":"Sawaya Geof","unstructured":"Geof Sawaya, Michael Bentley, Ian Briggs, Ganesh Gopalakrishnan, and Dong H. Ahn. 2017. FLiT: Cross-platform floating-point resultconsistency tester and workload. In 2017 IEEE International Symposium on Workload Characterization (IISWC). 229\u2013238."},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594302"},{"key":"e_1_3_2_1_62_1","volume-title":"Formal Methods (Lecture Notes in Computer Science)","author":"Solovyev Alexey","unstructured":"Alexey Solovyev, Charles Jacobsen, Zvonimir Rakamaric, and Ganesh Gopalakrishnan. 2015. Rigorous Estimation of Floating-Point Roundoff Errors with Symbolic Taylor Expansions. In Formal Methods (Lecture Notes in Computer Science), Vol. 9109. Springer, 532\u2013550."},{"key":"e_1_3_2_1_63_1","unstructured":"Andrew Tulloch and Yangqing Jia. 2017. High performance ultra-lowprecision convolutions on mobile devices. In ArXiv."},{"key":"e_1_3_2_1_64_1","volume-title":"Deep Learning and Unsupervised Feature Learning Workshop, NIPS","author":"Vanhoucke Vincent","year":"2011","unstructured":"Vincent Vanhoucke, Andrew Senior, and Mark Z. Mao. 2011. Improving the speed of neural networks on CPUs. In Deep Learning and Unsupervised Feature Learning Workshop, NIPS 2011."},{"key":"e_1_3_2_1_65_1","volume-title":"Western Joint Computer Conference","author":"Volder Jack","year":"1959","unstructured":"Jack Volder. 1959. The CORDIC Computing Technique. In Papers Presented at the the March 3-5, 1959, Western Joint Computer Conference (San Francisco, California) (IRE-AIEE-ACM \u201959 (Western)). ACM, New York, NY, USA, 257\u2013261."},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950355"}],"event":{"name":"PLDI '20: 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation","location":"London UK","acronym":"PLDI '20","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3385412.3386004","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3385412.3386004","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:38:49Z","timestamp":1750199929000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3385412.3386004"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,11]]},"references-count":64,"alternative-id":["10.1145\/3385412.3386004","10.1145\/3385412"],"URL":"https:\/\/doi.org\/10.1145\/3385412.3386004","relation":{},"subject":[],"published":{"date-parts":[[2020,6,11]]},"assertion":[{"value":"2020-06-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}