Perturbing numerical calculations for statistical analysis of floating-point program (in)stability

ISSTA'10 - Proceedings of the 2010 International Symposium on Software Testing and Analysis

Volumn , Issue , 2010, Pages 131-141

  Tang, Enyi ^a   Barr, Earl ^b   Li, Xuandong ^a   Su, Zhendong ^b  

^a NANJING UNIVERSITY   (China)

^b University of California   (United States)

Author keywords

Floating point; Numerical code; Perturbation; Stability; Testing

Indexed keywords

APPLICATION PROGRAMMERS; AUTOMATED TECHNIQUES; EVALUATION RESULTS; FLOATING POINT NUMBERS; FLOATING-POINT; FLOATING-POINT PROGRAMS; GNU SCIENTIFIC LIBRARY; HIGH-LEVEL INFORMATION; LEAST SIGNIFICANT BITS; NUMERICAL ALGORITHMS; NUMERICAL CALCULATION; NUMERICAL CODE; NUMERICAL ERRORS; NUMERICAL STABILITIES; PERTURBATION; POINT VALUE; POTENTIAL INSTABILITY; RANDOM BITS; SCIENTIFIC SOFTWARES; STABILITY ANALYSIS; STATISTICAL ANALYSIS; USER PROGRAMS;

COMPUTER SIMULATION; COMPUTER SOFTWARE SELECTION AND EVALUATION; DIGITAL ARITHMETIC; NUMERICAL ANALYSIS; SOFTWARE TESTING;

STABILITY;

EID: 77955913150     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1831708.1831724     Document Type: Conference Paper

References (28)

1. A. Adare, S. Afanasiev, C. Aidala, N. N. Ajitanand, Y. Akiba, H. Al-Bataineh, J. Alexander, K. Aoki, L. Aphecetche, R. Armendariz, S. H. Aronson, J. Asai, E. C. Aschenauer, E. T. Atomssa, R. Averbeck, T. C. Awes, B. Azmoun, V. Babintsev, M. Bai, G. Baksay, L. Baksay, A. Baldisseri, K. N. Barish, P. D. Barnes, B. Bassalleck, A. T. Basye, and S. Bathe. Double-helicity dependence of jet properties from dihadrons in longitudinally polarized p + p collisions at √s = 200 gev. Physical Review D, 81(1):012002, Jan 2010.
2. American NationalStandards Institute. IEEE standard for binary floating-point arithmetic, 1985.
3. M.-C. Brunet and F. Chatelin. CESTAC, a tool for a stochastic round-off error analysis in scientific computing. Numerical Mathematics and Applications, pages 11-20, 1986.
4. P. Cousot and R. Cousot. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Proceedings of the 4th ACM Symposium on Principles of Programming Languages, pages 234-252, 1977.
5. P. R. Eggert and D. S. Parker. Perturbing and evaluating numerical programs without recompilation: the wonglediff way. Software Practice and Experience, 35(4):313-322, 2005.
6. G. Fishman. Monte Carlo. Springer, corrected edition, 2003.
7. A. G. Frodesen, O. Skjeggestad, and H. Tøfte. Probability and Statistics in Particle Physics. Universitetsforlaget, 1979.
8. M. Galassi, J. Davies, J. Theiler, B. Gough, G. Jungman, M. Booth, and F. Rossi. Gnu Scientific Library Reference Manual. Network Theory Ltd., 1.2 edition, 2002.
9. D. Goldberg. What every computer scientist should know about floating-point arithmetic. ACM Computing Surveys, 23(1):5-48, Mar. 1991.
10. E. Goubault. Static analyses of the precision of floating-point operations. In Proceedings of the 8th International Static Analysis Symposium, pages 234-259, 2001.
11. E. Goubault and S. Putot. Static analysis of numerical algorithms. In Proceedings of the 13th International Static Analysis Symposium, pages 18-34, 2006.
12. N. Higham. Accuracy and stability of numerical algorithms. Society for Industrial and Applied Mathematics, 2002.
13. L. Jiang and Z. Su. Osprey: a practical type system for validating dimensional unit correctness of c programs. In ICSE '06: Proceedings of the 28th international conference on Software engineering, pages 262-271, 2006.
14. W. Kahan. The improbability of probabilistic error analyses for numerical computations. First presented in 1995 in Hamburg at the third ICIAM Congress. http://www.cs.berkeley.edu/~wkahan/improber.pdf, 1996.
15. D. E. Knuth. The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 1997.
16. M. Martel. Propagation of roundoff errors in finite precision computations: a semantics approach. In 11th European Symposium on Programming, pages 194-208, 2002.
17. M. Martel. Static analysis of the numerical stability of loops. In Proceedings of the 9th International Static Analysis Symposium, pages 133-150, 2002.
18. M. Martel. Semantics-Based transformation of arithmetic expressions. In Proceedings of the 14th International Static Analysis Symposium, pages 298-314, 2007.
19. M. Martel. Program transformation for numerical precision. In Proceedings of ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, pages 101-110, 2009.
20. W. Miller. Toward mechanical verification of properties of roundoff error propagation. In Proceedings of the ACM Symposium on Theory of Computing, pages 50-58, 1973.
21. W. Miller. Software for roundoff analysis. ACM Trans. Math. Softw., 1(2):108-128, 1975.
22. W. Miller and D. Spooner. Software for roundoff analysis, ii. ACM Trans. Math. Softw., 4(4):369-387, 1978.
23. G. C. Necula, S. McPeak, S. P. Rahul, and W. Weimer. CIL: Intermediate language and tools for analysis and transformation of C programs. In Proceedings of the 11th International Conference on Compiler Construction, pages 213-228, 2002.
24. D. Parker, B. Pierce, and P. Eggert. Monte carlo arithmetic: how to gamble with floating point and win. Computing in Science & Engineering, 2(4):58-68, 2000.
25. D. S. Parker, P. R. Eggert, and B. Pierce. Monte Carlo Arithmetic: a framework for the statistical analysis of roundoff error, 1997.
26. D. Quinlan. ROSE: Compiler support for object-oriented frameworks. In Proceedings of Conference on Parallel Compilers (CPC2000), pages 215-226, 2000.
27. J. Vignes. A stochastic arithmetic for reliable scientific computation. Mathematics and Computers in Simulation, 30(6):481-491, 1988.
28. J. H. Wilkinson. Rounding Errors in Algebraic Processes. HMSO, London, UK, 1963.