Computer Science › Systems ›

Operating Systems

64 directly classified papers

Papers per year

Papers

Slim: OS Kernel Support for a Low-Overhead Container Overlay Network NSDI 2019

Shenango: Achieving High CPU Efficiency for Latency-sensitive Datacenter Workloads NSDI 2019

Arachne: Core-Aware Thread Management OSDI 2018

LegoOS: A Disseminated, Distributed OS for Hardware Resource Disaggregation OSDI 2018

Taming Performance Variability OSDI 2018

The benefits and costs of writing a POSIX kernel in a high-level language OSDI 2018

ZebRAM: Comprehensive and Compatible Software Protection Against Rowhammer Attacks OSDI 2018

FlashShare: Punching Through Server Storage Stack from Kernel to Firmware for Ultra-Low Latency SSDs OSDI 2018

PASTE: A Network Programming Interface for Non-Volatile Main Memory NSDI 2018

Coordinated and Efficient Huge Page Management with Ingens OSDI 2016

EbbRT: A Framework for Building Per-Application Library Operating Systems OSDI 2016

CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels OSDI 2016

To Waffinity and Beyond: A Scalable Architecture for Incremental Parallelization of File System Code OSDI 2016

Push-Button Verification of File Systems via Crash Refinement OSDI 2016