@inproceedings{PLDI-2018-Sanchez-SternPL,
	author        = "Alex Sanchez-Stern and Pavel Panchekha and Sorin Lerner and Zachary Tatlock",
	booktitle     = "{Proceedings of the 39th Conference on Programming Language Design and Implementation}",
	doi           = "10.1145/3192366.3192411",
	pages         = "256--269",
	publisher     = "{ACM}",
	title         = "{Finding root causes of floating point error}",
	year          = 2018,
}