Towards program optimization through automated analysis of numerical precision

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]

@inproceedings{LindermanHDMN10,
  title = {Towards program optimization through automated analysis of numerical precision},
  author = {Michael D. Linderman and Matthew Ho and David L. Dill and Teresa H. Y. Meng and Garry P. Nolan},
  year = {2010},
  doi = {10.1145/1772954.1772987},
  url = {http://doi.acm.org/10.1145/1772954.1772987},
  tags = {optimization, program analysis, analysis, program optimization},
  researchr = {https://researchr.org/publication/LindermanHDMN10},
  cites = {0},
  citedby = {0},
  pages = {230-237},
  booktitle = {Proceedings of the CGO 2010, The 8th International Symposium on Code Generation and Optimization, Toronto, Ontario, Canada, April 24-28, 2010},
  editor = {Andreas Moshovos and J. Gregory Steffan and Kim M. Hazelwood and David R. Kaeli},
  publisher = {ACM},
  isbn = {978-1-60558-635-9},
}