Taming Floating Points in Scala & CakeML | Eva Darulova | Lambda Days 2022 скачать в хорошем качестве

Taming Floating Points in Scala & CakeML | Eva Darulova | Lambda Days 2022

This video was recorded at Lambda Days 2022 -https://www.lambdadays.org/lambdadays... Effectful | Paweł Szulc - Haskell Developer ABSTRACT Floating-point arithmetic enables efficient numerical computations, but is also notorious for being unintuitive due to its special values as well as rounding operations, the latter inevitably introducing errors at most arithmetic operations. One way of making sure that computed results are meaningful, i.e. accurate enough, even in the presence of such errors is to use a static analyzer that bounds the worst-case rounding errors. In this talk, I will give an overview of our recent research results and tools on formal verification of floating-point programs, focusing in particular on what is possible today when analyzing functional programs. • Follow us on social: Twitter:   / lambdadays   LinkedIn:   / lambda-days   • Looking for a unique learning experience? Attend the next Lambda Days conference near you! • SUBSCRIBE TO OUR CHANNEL    / @codesync   See what's coming up at: https://codesync.global