On-the-fly detection of instability problems in floating-point program execution-Reference-Cited by-同舟云学术

On-the-fly detection of instability problems in floating-point program execution

Published:2013-10-29 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
language:
Short-container-title:

Author:

Bao Tao¹,Zhang Xiangyu¹

Affiliation:

1. Purdue University, West Lafayette, IN, USA

Publisher

ACM

Link

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

Reference35 articles.

1. David An Ryan Blue Michael Lam Scott Piper and Geoff Stoker. FPInst: Floating Point Error Analysis Using Dyninst. 2008. David An Ryan Blue Michael Lam Scott Piper and Geoff Stoker. FPInst: Floating Point Error Analysis Using Dyninst. 2008.

2. White box sampling in uncertain data processing enabled by program analysis

3. Automatic detection of floating-point exceptions

4. A dynamic program analysis to find floating-point accuracy problems

5. Formal Verification of Floating-Point Programs

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

1. Eiffel: Inferring Input Ranges of Significant Floating-point Errors via Polynomial Extrapolation;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11

2. Efficient Generation of Floating-Point Inputs for Compiler-Induced Variability;2023 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER);2023-03

3. Fast shadow execution for debugging numerical errors using error free transformations;Proceedings of the ACM on Programming Languages;2022-10-31

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

5. FPVM;Proceedings of the 31st International Symposium on High-Performance Parallel and Distributed Computing;2022-06-27