BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Verifying Flash Device Drivers - Yichi Zhang (University of Cambri
 dge)
DTSTART:20090526T120000Z
DTEND:20090526T130000Z
UID:TALK17989@talks.cam.ac.uk
CONTACT:Thomas Tuerk
DESCRIPTION:The talk will introduce some background information about flas
 h memory management and present a proposal to verify a flash device driver
  standard. The talk will also discuss the challenge of probability reasoni
 ng in the evaluation of flash garbage collection.\n
LOCATION:Computer Laboratory\, William Gates Building\, Room SS03
END:VEVENT
END:VCALENDAR