BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Verification of a copying garbage collector - Magnus Myreen (Unive
 rsity of Cambridge)
DTSTART:20100518T120000Z
DTEND:20100518T130000Z
UID:TALK24360@talks.cam.ac.uk
CONTACT:Thomas Tuerk
DESCRIPTION:I'll present an outline of a verification proof for a copying 
 garbage collector. Unlike published proofs of copying collectors\, this ve
 rification proof is structured to aid proof reuse: it is not tied to a spe
 cific programming logic and keeps as much as possible simple and\nseparate
  from the low-level details (such as how heap cells are represented in mac
 hine memory). I'll end the talks with a few comments on how this copying c
 ollector might aid verification of a generational copying collector.
LOCATION:Computer Laboratory\, William Gates Building\, Room SS03
END:VEVENT
END:VCALENDAR