OSDI '24 - IronSpec: Increasing the Reliability of Formal Specifications

(15:)

OSDI '24 - MonoNN: Enabling a New Monolithic Optimization Space for Neural Network Inference...

(22:17)

OSDI '24 - Fast and Scalable In-network Lock Management Using Lock Fission

(14:1econd)

OSDI '24 - Performance Interfaces for Hardware Accelerators

(14:10)

OSDI '24 - nnScaler: Constraint-Guided Parallelization Plan Generation for Deep Learning Training

(14:14)

OSDI '24 - Massively Parallel Multi-Versioned Transaction Processing

(14:41)

OSDI '24 - Managing Memory Tiers with CXL in Virtualized Environments

(15:36)

OSDI '24 - DistServe: Disaggregating Prefill and Decoding for Goodput-optimized Large Language...

(14:52)

OSDI '24 - Validating the eBPF Verifier via State Embedding

(15:16)

OSDI '24 - Burstable Cloud Block Storage with Data Processing Units

(13:52)

OSDI '24 - Secret Key Recovery in a Global-Scale End-to-End Encryption System

(15:1econd)

OSDI '24 - Caravan: Practical Online Learning of In-Network ML Models with Labeling Agents

(18:8)

OSDI '24 - IntOS: Persistent Embedded Operating System and Language Support for Multi-threaded...

(17:46)

OSDI '24 - Beaver: Practical Partial Snapshots for Distributed Cloud Services

(15:16)

OSDI '24 - μSlope: High Compression and Fast Search on Semi-Structured Logs

(15:34)

OSDI '24 - ChameleonAPI: Automatic and Efficient Customization of Neural Networks for ML...

(16:13)

OSDI '24 - DSig: Breaking the Barrier of Signatures in Data Centers

(16:28)

OSDI '24 - Enabling Tensor Language Model to Assist in Generating High-Performance Tensor...

(15:2)