Towards program optimization through automated analysis of numerical precision

Michael D. Linderman, Matthew Ho, David L. Dill, Teresa H. Meng, Garry P. Nolan
2010 Proceedings of the 8th annual IEEE/ ACM international symposium on Code generation and optimization - CGO '10  
Reducing the arithmetic precision of a computation has real performance implications, including increased speed, decreased power consumption, and a smaller memory footprint. For some architectures, e.g., GPUs, there can be such a large performance difference that using reduced precision is effectively a requirement. The tradeoff is that the accuracy of the computation will be compromised. In this paper we describe a proof assistant and associated static analysis techniques for efficiently
more » ... ng numerical and precisionrelated errors. The programmer/compiler can use these bounds to numerically verify and optimize an application for different input and machine configurations. We present several case study applications that demonstrate the effectiveness of these techniques and the performance benefits that can be achieved with rigorous precision analysis.
doi:10.1145/1772954.1772987 pmid:28804690 pmcid:PMC5552069 dblp:conf/cgo/LindermanHDMN10 fatcat:zuncavs23vgfpkeypbs7h2diru