Operating Systems

From Global to Local Quiescence: Wait-Free Code Patching of Multi-Threaded Processes OSDI 2020 LinnOS: Predictability on Unpredictable Flash Storage with a Light Neural Network OSDI 2020 RedLeaf: Isolation and Communication in a Safe Operating System OSDI 2020 Semeru: A Memory-Disaggregated Managed Runtime OSDI 2020 Theseus: an Experiment in Operating System Structure and State Management OSDI 2020 Thunderbolt: Throughput-Optimized, Quality-of-Service-Aware Power Capping at Scale OSDI 2020 Write Dependency Disentanglement with HORAE OSDI 2020 Shenango: Achieving High CPU Efficiency for Latency-sensitive Datacenter Workloads NSDI 2019 Shinjuku: Preemptive Scheduling for μsecond-scale Tail Latency NSDI 2019 Slim: OS Kernel Support for a Low-Overhead Container Overlay Network NSDI 2019 Arachne: Core-Aware Thread Management OSDI 2018 FlashShare: Punching Through Server Storage Stack from Kernel to Firmware for Ultra-Low Latency SSDs OSDI 2018 LegoOS: A Disseminated, Distributed OS for Hardware Resource Disaggregation OSDI 2018 PASTE: A Network Programming Interface for Non-Volatile Main Memory NSDI 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 CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels OSDI 2016 Coordinated and Efficient Huge Page Management with Ingens OSDI 2016 EbbRT: A Framework for Building Per-Application Library Operating Systems OSDI 2016 Push-Button Verification of File Systems via Crash Refinement OSDI 2016 To Waffinity and Beyond: A Scalable Architecture for Incremental Parallelization of File System Code OSDI 2016