@InProceedings{BaDeKaReSe10:Scan2010, author = {David~H.~Bailey and James~Demmel and William~Kahan and Guillaume~Revy and Koushik~Sen}, title = {Techniques for the automatic debugging of scientic floating-point programs}, booktitle = {Proceedings of the 14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN'2010)}, address = {Lyon, France}, month = {September}, year = {2010} }