PNVI-ae-udi: the last (most recent) C memory object model

Add to your list(s) Download to your calendar using vCal

• Dhruv Makwana (University of Cambridge)
• Monday 12 May 2025, 13:00-14:00
• FS07, Computer Laboratory.

If you have a question about this talk, please contact Ariadne Si Suo .

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).

This talk is part of the SANDWICH Seminar (Computer Laboratory) series.

This talk is included in these lists:

• FS07, Computer Laboratory
• tcw57’s list

Note that ex-directory lists are not shown.