The pitfalls of verifying floating-point computations
@article{Monniaux2008ThePO, title={The pitfalls of verifying floating-point computations}, author={D. Monniaux}, journal={ArXiv}, year={2008}, volume={abs/cs/0701192} }
Current critical systems often use a lot of floating-point computations, and thus the testing or static analysis of programs containing floating-point operators has become a priority. However, correctly defining the semantics of common implementations of floating-point is tricky, because semantics may change according to many factors beyond source-code level, such as choices made by compilers. We here give concrete examples of problems that can appear and solutions for implementing in analysis… CONTINUE READING
Topics from this paper
53 Citations
Identifying volatile numeric expressions in numeric computing applications
- Computer Science
- Math. Comput. Simul.
- 2019
Synthesizing accurate floating-point formulas
- Computer Science
- 2013 IEEE 24th International Conference on Application-Specific Systems, Architectures and Processors
- 2013
- 12
- PDF
An Automatable Formal Semantics for IEEE-754 Floating-Point Arithmetic
- Computer Science
- 2015 IEEE 22nd Symposium on Computer Arithmetic
- 2015
- 53
- PDF
RAIVE: runtime assessment of floating-point instability by vectorization
- Computer Science
- OOPSLA
- 2015
- 7
- PDF
References
SHOWING 1-10 OF 16 REFERENCES
Abstract Interpretation and Application to Logic Programs
- Computer Science
- J. Log. Program.
- 1992
- 690
- Highly Influential
- PDF
Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))
- Computer Science
- 2005
- 923
- Highly Influential
The octagon abstract domain
- Computer Science
- Proceedings Eighth Working Conference on Reverse Engineering
- 2001
- 351
- Highly Influential
- PDF
Java Language Specification, Second Edition: The Java Series
- Computer Science
- 2000
- 545
- Highly Influential
The formal semantics of programming languages - an introduction
- Mathematics, Computer Science
- Foundation of computing series
- 1993
- 922
- Highly Influential
- PDF
International standard – Programming languages – C
- International standard – Programming languages – C
- 1999