Operating Systems

Xkernel: Principled Performance Tunability of Operating System Kernels OSDI 2026 ZOC: Elastic and Cost-Efficient Virtual SmartNIC Architecture for Cloud Physical Machines NSDI 2026 μShell: A Microkernel-based FPGA Shell Architecture OSDI 2026 μUSB: Practical and Safe USB Driver Reuse for Arm TrustZone OSDI 2026 Decentralized, Epoch-based F2FS Journaling with Fine-grained Crash Recovery OSDI 2025 Eden: Developer-Friendly Application-Integrated Far Memory NSDI 2025 EMT: An OS Framework for New Memory Translation Architectures OSDI 2025 Fast and Synchronous Crash Consistency with Metadata Write-Once File System OSDI 2025 PipeThreader: Software-Defined Pipelining for Efficient DNN Execution OSDI 2025 PoWER Never Corrupts: Tool-Agnostic Verification of Crash Consistency and Corruption Detection OSDI 2025 QOS: Quantum Operating System OSDI 2025 Tiered Memory Management Beyond Hotness OSDI 2025 Tintin: A Unified Hardware Performance Profiling Infrastructure to Uncover and Manage Uncertainty OSDI 2025 To PRI or Not To PRI, That's the question OSDI 2025 DINT: Fast In-Kernel Distributed Transactions with eBPF NSDI 2024 Faster Vocoder: a multi threading approach to achieve low latency during TTS Inference Interspeech 2024 High-throughput and Flexible Host Networking for Accelerated Computing OSDI 2024 Identifying On-/Off-CPU Bottlenecks Together with Blocked Samples OSDI 2024 iStack: A General and Stateful Name-based Protocol Stack for Named Data Networking NSDI 2024 Making Kernel Bypass Practical for the Cloud with Junction NSDI 2024 Managing Memory Tiers with CXL in Virtualized Environments OSDI 2024 Nomad: Non-Exclusive Memory Tiering via Transactional Page Migration OSDI 2024 When will my ML Job finish? Toward providing Completion Time Estimates through Predictability-Centric Scheduling OSDI 2024 Canvas: Isolated and Adaptive Swapping for Multi-Applications on Remote Memory NSDI 2023 ExoPlane: An Operating System for On-Rack Switch Resource Augmentation NSDI 2023