3 papers
cs.OS2026
Wayfinder: Automated Operating System Specialization
Alexander Jung, Cezar CrÄciunoiu, Nikolaos Karaolidis +5
Specializing an OS to optimize the performance of a particular application is typically a manual process that requires great expertise. Specialization through configuration lends i…
cs.OS2025
μFork: Supporting POSIX fork Within a Single-Address-Space OS
John Alistair Kressel, Hugo Lefeuvre, Pierre Olivier
Single-address-space operating systems have well-known lightweightness benefits that result from their central design idea: the kernel and applications share a unique address space…
cs.CR2024
SoK: Software Compartmentalization
Hugo Lefeuvre, Nathan Dautenhahn, David Chisnall +1
Decomposing large systems into smaller components with limited privileges has long been recognized as an effective means to minimize the impact of exploits. Despite historical root…