@inproceedings{CGO-2010-LindermanHDMN,
	author        = "Michael D. Linderman and Matthew Ho and David L. Dill and Teresa H. Y. Meng and Garry P. Nolan",
	booktitle     = "{Proceedings of the Eighth International Symposium on Code Generation and Optimization}",
	doi           = "10.1145/1772954.1772987",
	isbn          = "978-1-60558-635-9",
	pages         = "230--237",
	publisher     = "{ACM}",
	title         = "{Towards program optimization through automated analysis of numerical precision}",
	year          = 2010,
}