@inproceedings{barr:popl:13,
	Author = {Earl Barr and Thanh Vo and Vu le and Zhendong Su},
	Title = {Automatic Detection of Floating-Point Exceptions},
	Booktitle = {Proceedings of the International Conference on Principles
		of Programming Languages (POPL'13)},
	Publisher = {ACM},
	Year = {2013},
	Location = {Rome, Italy}
}