Fun with Floats: Symbolic execution of floating point programs

Add to your list(s) Download to your calendar using vCal

• Dan Liew
• Tuesday 21 March 2017, 14:30-14:55
• FW26.

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:

• All Talks (aka the CURE list)
• Cambridge talks
• Department of Computer Science and Technology talks and seminars
• FW26
• Interested Talks
• School of Technology
• Testing & Verification For Computational Science
• Trust & Technology Initiative - interesting events
• bld31

Note that ex-directory lists are not shown.