This video was recorded at Lambda Days 2022 -https://www.lambdadays.org/lambdadays2022 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: https://twitter.com/LambdaDays LinkedIn: https://www.linkedin.com/company/lambda-days/ • Looking for a unique learning experience? Attend the next Lambda Days conference near you! • SUBSCRIBE TO OUR CHANNEL https://www.youtube.com/channel/UC47eUBNO8KBH_V8AfowOWOw See what's coming up at: https://codesync.global