Discovering discrepancies in numerical libraries-Reference-Cited by-同舟云学术

Discovering discrepancies in numerical libraries

Published:2020-07-13 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis
language:
Short-container-title:

Author:

Vanover Jackson¹,Deng Xuan¹,Rubio-González Cindy¹

Affiliation:

1. University of California at Davis, USA

Funder

National Science Foundation

Publisher

ACM

Link

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

Reference49 articles.

1. IEEE Standard for Floating-Point Arithmetic

2. Douglas N Arnold. 2000. The Explosion of the Ariane 5. ( 2000 ). http://wwwusers.math.umn.edu/~arnold/disasters/ariane.html Douglas N Arnold. 2000. The Explosion of the Ariane 5. ( 2000 ). http://wwwusers.math.umn.edu/~arnold/disasters/ariane.html

3. Douglas N Arnold. 2000. The Patriot Missile Failure. ( 2000 ). http://wwwusers.math.umn.edu/~arnold/disasters/patriot.html Douglas N Arnold. 2000. The Patriot Missile Failure. ( 2000 ). http://wwwusers.math.umn.edu/~arnold/disasters/patriot.html

4. Symbolic Path-Oriented Test Data Generation for Floating-Point Programs

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

1. Fuzzing deep-learning libraries via automated relational API inference;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07

2. Proposed Consistent Exception Handling for the BLAS and LAPACK;2022 IEEE/ACM Sixth International Workshop on Software Correctness for HPC Applications (Correctness);2022-11

3. Oracle-free repair synthesis for floating-point programs;Proceedings of the ACM on Programming Languages;2022-10-31

4. DocTer: documentation-guided fuzzing for testing deep learning API functions;Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis;2022-07-18

5. Choosing mathematical function implementations for speed and accuracy;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09