Completed
Rosa - the Verifying Compiler
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
PLSE Seminar Series - Eva Darulova - Programming with Numerical Uncertainties
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Which data type?
- 3 Outline
- 4 Rosa - the Verifying Compiler
- 5 Standard Range Arithmetic
- 6 Interval arithmetic meets SMT
- 7 Separation of Errors
- 8 Tracking Roundoff Errors
- 9 Conclusions
- 10 Discontinuities
- 11 Discontinuity Error
- 12 Loops
- 13 Synthesizing Accurate Expressions
- 14 Guarantees
- 15 Evolution of Errors
- 16 Conclusion Quantifying numerical uncertainties is hard.
