Index

Kernel
​Exokernel: An Operating System Architecture for Application-Level Resource Management - Engler SOSP '95
​FlexSC: Flexible System Call Scheduling with Exception-Less System Calls - et al., OSDI '10
​From L3 to seL4 What Have We Learnt in 20 Years of L4 Microkernels? - Elphinstone et al., SOSP '13
Non-Volatile Memory
​Twizzler: a Data-Centric OS for Non-Volatile Memory - Bittman et al., ATC '20
Virtualization
​Xen and the Art of Virtualization - Barham et al., SOSP '03
Introduced Paravirtualization: trade-off small changes to the guest OS for big improvements in performance and VMM simplicity
​Container-based Operating System Virtualization: A Scalable, High-performance Alternative to Hypervisors -  Soltesz et al., EuroSys '07
​

Last modified 1yr ago