9302  Distributed Single Address-Space Operating System Supporting Persistence
9303  Capability-Based Protection in a Persistent Global Virtual Memory System
9312  Address Space Management Issues in the Mungi Operating System
9314   Mungi: A Distributed Single Address-Space Operating System