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