In order of first appearance in The Morning Paper.
- On the duality of operating system structures
- Why threads are a bad idea
- Why events are a bad idea
- Unikernels: library operating systems for the cloud
- The scalable commutativity rule: designing scalable software for multicore processors
- Jitsu: just-in time summoning of unikernels
- Work practices and challenges in pull-based development
- Read-log-update: a lightweight synchronization mechanism for concurrent programming
- Split-level IO Scheduling
- A sound and optimal incremental build system with dynamic dependencies
- All change please
- All file systems are not created equal: on the complexity of crafting crash consistent applications
- Formal requirements for virtualizable third generation architectures
- IncludeOS: a minimal, resource efficient unikernel for cloud systems
- FairRide: near-optimal, fair cache sharing
- The Linux scheduler: a decade of wasted cores
- Data tiering in heterogeneous memory systems
- Slacker: fast distribution with lazy docker containers
- Shielding applications from an untrusted cloud with Haven
- Hints for computer system design
- MemC3: compact and concurrent memcache with dumber caching and smarter hashing
- Algorithmic improvements for fast concurrent cuckoo hashing
- Twice the bits, twice the trouble: vulnerabilities induced by migrating to 64-bit platforms
- SCONE: Secure Linux containers with SGX
- Panoply: Low-TCB Linux applications with SGX enclaves
- Application crash consistency and performance with CCFS
- Deconstructing Xen
- A study of security vulnerabilities on Docker Hub
- SGXIO: generic trusted I/O path for Intel SGX
- SGXBounds: memory safety for shielded execution
- System programming in Rust: beyond safety
- Hardware is the new software
- CLKSCREW: exposing the perils of security-oblivious energy management
- CHAINIAC: proactive software update transparency via collectivy signed skipchains and verified builds
- My VM is lighter (and safer) than your container