|COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring.|
Fun with Floats: Symbolic execution of floating point programs
If you have a question about this talk, please contact Matthew Danish.
Manually reasoning about programs using floating point can be difficult. In this talk I’ll walk through some examples of seemingly correct code and show how a program analysis technique called symbolic execution can be used to expose correctness problems.
This talk is part of the Testing & Verification For Computational Science series.
This talk is included in these lists:
Note that ex-directory lists are not shown.
Other listsCPES Field Archaeology: Methods and Mayhem Talks related to atmosphere and ocean dynamics and climate science
Other talksRaja Yoga Intensive Course Evaluating ex-situ conservation of threatened plants in the botanic garden network The infrared physics of bad theories Annual Conversazione: Cambridge’s oldest celebration of citizen science! Cardiovascular and Respiratory disease: a dangerous liaison Psychotic Experiences in Cambridgeshire: Revisiting the Gold Mine