[POCL'24] Compartmentalisation models | ACM SIGPLAN | Podwise