Combining Tools for Optimization and Analysis of Floating-Point Computations Heiko Becker1 , Pavel Panchekha2 , Eva Darulova1 , and Zachary Tatlock2 1 2

First Page		Document Content
Date: 2018-10-18 11:22:35 Numerical analysis Mathematics Applied mathematics Computing Error analysis Interval arithmetic Round-off error Program optimization Infinite loop Algorithm		Combining Tools for Optimization and Analysis of Floating-Point Computations Heiko Becker1 , Pavel Panchekha2 , Eva Darulova1 , and Zachary Tatlock2 1 2 Add to Reading List Source URL: homes.cs.washington.edu Download Document from Source Website File Size: 263,88 KB Share Document on Facebook

	Toward hardware support for Reproducible BLAS http://bebop.cs.berkeley.edu/reproblas/ James Demmel, Hong Diep Nguyen SCANWurzburg, Germany DocID: 1pyDF - View Document
	Introduction Bounds Rounding Errors Conclusion De l’arithm´etique d’intervalles `a la certification de programmes Guillaume Melquiond Sous la direction de Marc Daumas DocID: 1mVF7 - View Document
	Trustworthy Numerical Computation in Scala Eva Darulova Viktor Kuncak ∗ School of Computer and Communication Sciences (I&C) - Swiss Federal Institute of Technology (EPFL), Switzerland DocID: 19ey5 - View Document
	Comment codes for lab writeups A. General a1. Don’t write numbers without units. (25% off) a2. If something is wrong, cross it out. Don’t make me guess which version to grade. a3. Your writeup is too long. The length DocID: 18xD6 - View Document
	Filename: BASCD08K Version dated April 30, 2008 5:41 pm Back to the Future of Undebuggable Floating-Point Computation in DocID: 185Pi - View Document