Towards program optimization through automated analysis of numerical precision.

Michael D. Linderman, Matthew Ho, David L. Dill, Teresa H. Meng, Garry P. Nolan

Browse the full CGO paper archive.