Author:
Das Arnab,Briggs Ian,Gopalakrishnan Ganesh,Krishnamoorthy Sriram,Panchekha Pavel
Funder
U.S. Department of Energy
Office of Science
Advanced Scientific Computing Research
Cited by
28 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Rigorous Floating-Point Round-Off Error Analysis in PRECiSA 4.0;Lecture Notes in Computer Science;2024-09-13
2. Numerical Fuzz: A Type System for Rounding Error Analysis;Proceedings of the ACM on Programming Languages;2024-06-20
3. Floating-Point TVPI Abstract Domain;Proceedings of the ACM on Programming Languages;2024-06-20
4. Rounding Error Analysis of an Orbital Collision Probability Evaluation Algorithm;2024 IEEE 31st Symposium on Computer Arithmetic (ARITH);2024-06-10
5. VCFloat2: Floating-Point Error Analysis in Coq;Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs;2024-01-09