OSDI '23 - Kerveros: Efficient and Scalable Cloud Admission Control
OSDI '23 - Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent System
OSDI '23 - SEPH: Scalable, Efficient, and Predictable Hashing on Persistent Memory
OSDI '23 - MGG: Accelerating Graph Neural Networks with Fine-Grained Intra-Kernel Communication...
OSDI '23 - Ship your Critical Section, Not Your Data: Enabling Transparent Delegation with TCLOCKS
OSDI '23 - Chardonnay: Fast and General Datacenter Transactions for On-Disk Databases
OSDI '23 - RON: One-Way Circular Shortest Routing to Achieve Efficient and Bounded-waiting Spinlocks
OSDI '23 - Relational Debugging --- Pinpointing Root Causes of Performance Problems
OSDI '23 - Global Capacity Management With Flux
OSDI '23 - LVMT: An Efficient Authenticated Storage for Blockchain
OSDI '23 - Karma: Resource Allocation for Dynamic Demands
OSDI '23 - Spoq: Scaling Machine-Checkable Systems Verification in Coq
OSDI '23 - Flor: An Open High Performance RDMA Framework Over Heterogeneous RNICs
OSDI '23 - EINNET: Optimizing Tensor Programs with Derivation-Based Transformations
OSDI '23 - Defcon: Preventing Overload with Graceful Feature Degradation
OSDI '23 - Cilantro: Performance-Aware Resource Allocation for General Objectives via Online...
OSDI '23 - ShRing: Networking with Shared Receive Rings
OSDI '23 - Automated Verification of Idempotence for Stateful Serverless Applications
OSDI '23 - ORC: Increasing Cloud Memory Density via Object Reuse with Capabilities
OSDI '23 - AdaEmbed: Adaptive Embedding for Large-Scale Recommendation Models