BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Fun with Floats: Symbolic execution of floating point programs - D
 an Liew
DTSTART:20170321T143000Z
DTEND:20170321T145500Z
UID:TALK71542@talks.cam.ac.uk
CONTACT:Matthew Danish
DESCRIPTION:Manually reasoning about programs using floating point can be 
 difficult. In this talk I'll walk through some examples of seemingly corre
 ct code and show how a program analysis technique called symbolic executio
 n can be used to expose correctness problems.\n\n
LOCATION:FW26
END:VEVENT
END:VCALENDAR