University of Cambridge > Talks.cam > Testing & Verification For Computational Science > Fun with Floats: Symbolic execution of floating point programs

  Browse A-Z

Log in

Googledetails Microsoftdetails

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

Fun with Floats: Symbolic execution of floating point programs

Download to your calendar using vCal

  • UserDan Liew
  • ClockTuesday 21 March 2017, 14:30-14:55
  • HouseFW26.

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 lists

Latimer Room, Old Court Clare College, Trinity Lane, Cambridge CB2 1TL Pippard Lecture Theatre, Physics, Department of Room 101 (Hardy Building, Downing Site)

Other talks

Afternoon Break Group Presentation 5 Title to be confirmed Title TBC Title to be confirmed Title to be confirmed
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity