BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Pony: Co-Designing a Type System and a Runtime  - Sylvan Clebsch\,
  Imperial College London
DTSTART:20160329T100000Z
DTEND:20160329T110000Z
UID:TALK65392@talks.cam.ac.uk
CONTACT:44515
DESCRIPTION:Pony is an actor-model\, capabilities-secure\, native programm
 ing language. I will talk about reference capabilities (a type system for 
 data-race freedom influenced by object capabilities and deny guarantee rea
 soning)\, the ORCA and MAC protocols for fully concurrent no-stop-the-worl
 d garbage collection of both objects and actors\, and extending Pony to th
 e distributed setting. 
LOCATION:Auditorium\, Microsoft Research Ltd\, 21 Station Road\, Cambridge
 \, CB1 2FB
END:VEVENT
END:VCALENDAR