BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Integer Safety
DTSTART:20140602T140000
DTSTAMP:20260407T102431Z
UID:cec7f92884cb09557f7663a92623907a0674ec4ae92415a15943bdba
CATEGORIES:Conferences - Seminars
DESCRIPTION:John REGEHR\, University of Utah\nInteger overflows can lead t
 o security problems and other bugs.  This talk examines some results from
  checking a large number of C/C++ applications for integer overflows and a
 lso discusses the design space for efficient integer safety in programming
  languages.
LOCATION:BC 420 https://plan.epfl.ch/?room==BC%20420
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR