# Index

### Kernel

* [**Exokernel: An Operating System Architecture for Application-Level Resource Management**](https://people.eecs.berkeley.edu/~kubitron/courses/cs262a-F18/handouts/papers/engler95exokernel.pdf) - Engler SOSP '95
* [**FlexSC: Flexible System Call Scheduling with Exception-Less System Calls**](https://www.usenix.org/legacy/events/osdi10/tech/full_papers/Soares.pdf) - et al., OSDI '10
* [**From L3 to seL4 What Have We Learnt in 20 Years of L4 Microkernels?**](https://sigops.org/s/conferences/sosp/2013/papers/p133-elphinstone.pdf) - Elphinstone et al., SOSP '13

### Non-Volatile Memory

* [**Twizzler: a Data-Centric OS for Non-Volatile Memory**](https://www.usenix.org/conference/atc20/presentation/bittman) **-** Bittman et al., ATC '20

### Virtualization

* [**Xen and the Art of Virtualization**](https://www.cs.yale.edu/homes/yu-minlan/teach/csci599-fall12/papers/xen.pdf) - 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**](http://www.cs.toronto.edu/~demke/2227/S.14/Papers/p275-soltesz.pdf) -  Soltesz et al., EuroSys '07

