Michael D. Linderman, Matthew Ho, David L. Dill, Teresa H. Y. Meng, Garry P. Nolan. Towards program optimization through automated analysis of numerical precision. In Andreas Moshovos, J. Gregory Steffan, Kim M. Hazelwood, David R. Kaeli, editors, Proceedings of the CGO 2010, The 8th International Symposium on Code Generation and Optimization, Toronto, Ontario, Canada, April 24-28, 2010. pages 230-237, ACM, 2010. [doi]
Abstract is missing.