High-Performance Code Optimizations with Accuracy Guarantees

Presentation of ongoing work at the UPLANG seminar, at Uppsala University, Sweden.

Slides