PNVI-ae-udi: the last (most recent) C memory object model
- đ¤ Speaker: Dhruv Makwana (University of Cambridge)
- đ Date & Time: Monday 12 May 2025, 13:00 - 14:00
- đ Venue: FS07, Computer Laboratory
Abstract
Pointers, integers, chars, bytes. Long ago, the C types lived in harmony. Then, everything changed when the compilers optimised. Only a memory object model, master of all C types, could stop them. But when the world needed it the most, it was not specified. Decades and a 12-year 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).
Series This talk is part of the SANDWICH Seminar (Computer Laboratory) series.
Included in Lists
Note: Ex-directory lists are not shown.
![[Talks.cam]](/static/images/talkslogosmall.gif)


Monday 12 May 2025, 13:00-14:00