Author:
Bagnara Roberto,Carlier Matthieu,Gori Roberta,Gotlieb Arnaud
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Proposed Consistent Exception Handling for the BLAS and LAPACK;2022 IEEE/ACM Sixth International Workshop on Software Correctness for HPC Applications (Correctness);2022-11
2. Correct approximation of IEEE 754 floating-point arithmetic for program verification;Constraints;2022-02-22
3. Predoo: precision testing of deep learning operators;Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis;2021-07-11
4. A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions;ACM Transactions on Software Engineering and Methodology;2021-01-31
5. Discovering discrepancies in numerical libraries;Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis;2020-07-13