Florian Benz, Andreas Hildebrandt, Sebastian Hack. A dynamic program analysis to find floating-point accuracy problems. In Jan Vitek, Haibo Lin, Frank Tip, editors, ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '12, Beijing, China - June 11 - 16, 2012. pages 453-462, ACM, 2012. [doi]
Abstract is missing.