BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY: PNVI-ae-udi: the last (most recent) C memory object model - Dhruv
  Makwana (University of Cambridge)
DTSTART:20250512T120000Z
DTEND:20250512T130000Z
UID:TALK231088@talks.cam.ac.uk
CONTACT:Ariadne Si Suo
DESCRIPTION:Pointers\, integers\, chars\, bytes. Long ago\, the C types li
 ved in harmony. Then\, everything changed when the compilers optimised. On
 ly a memory object model\, master of all C types\, could stop them. But wh
 en the world needed it the most\, it was not specified. Decades and a 12-y
 ear PhD thesis passed\, and I learned of a new memory object model\, named
  PNVI-ae-udi. And although its formalism is precise\, it can take a while 
 to be understood by anyone. But I believe PNVI-ae-udi can be understood by
  the world (of people who will attend this Sandwich seminar).
LOCATION:FS07\, Computer Laboratory
END:VEVENT
END:VCALENDAR