Effective floating-point analysis via weak-distance minimization-Reference-Cited by-同舟云学术

Effective floating-point analysis via weak-distance minimization

Published:2019-06-08 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation
language:
Short-container-title:

Author:

Fu Zhoulai¹,Su Zhendong²

Affiliation:

1. IT University of Copenhagen, Denmark

2. ETH Zurich, Switzerland

Funder

NSF

ROSIN

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3314221.3314632

Reference38 articles.

1. 1985. IEEE Standard for Binary Floating-Point Arithmetic. ANSI/IEEE Std 754-1985 (1985). 1985. IEEE Standard for Binary Floating-Point Arithmetic. ANSI/IEEE Std 754-1985 (1985).

2. 2019. The GNU C Library. https://www.gnu.org/software/libc/ . 2019. The GNU C Library. https://www.gnu.org/software/libc/ .

3. 2019. SciPy: open-source software for mathematics science and engineering. https://www.scipy.org/ . 2019. SciPy: open-source software for mathematics science and engineering. https://www.scipy.org/ .

4. Milton Abramowitz and Irene A Stegun. 1965. Handbook of mathematical functions: with formulas graphs and mathematical tables. Vol. 55. Courier Corporation. Milton Abramowitz and Irene A Stegun. 1965. Handbook of mathematical functions: with formulas graphs and mathematical tables. Vol. 55. Courier Corporation.

5. Earl T. Barr Thanh Vo Vu Le and Zhendong Su. 2013. Automatic detection of floating-point exceptions.. In POPL’13. 549–560. 10.1145/2429069.2429133 Earl T. Barr Thanh Vo Vu Le and Zhendong Su. 2013. Automatic detection of floating-point exceptions.. In POPL’13. 549–560. 10.1145/2429069.2429133

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Arfa: An Agile Regime-Based Floating-Point Optimization Approach for Rounding Errors;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

2. NuMFUZZ: A Floating-Point Format Aware Fuzzer for Numerical Programs;2022 29th Asia-Pacific Software Engineering Conference (APSEC);2022-12

3. Exposing numerical bugs in deep learning via gradient back-propagation;Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2021-08-18

4. Interval constraint-based mutation testing of numerical specifications;Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis;2021-07-11

5. High performance correctly rounded math libraries for 32-bit floating point representations;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18