USENIX | The Advanced Computing Systems Association

{FairyWREN}: A Sustainable Cache for Emerging {Write-Read-Erase} Flash Interfaces

McAllister S, Wang Y, Berg B, Berger DS, Amvrosiadis G, Beckmann N, Ganger GR. 2024. {FairyWREN}: A Sustainable Cache for Emerging {Write-Read-Erase} Flash Interfaces. 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 24). :745--764.

Massively Parallel {Multi-Versioned} Transaction Processing

Qian S, Goel A. 2024. Massively Parallel {Multi-Versioned} Transaction Processing. 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 24). :765--781.

Burstable Cloud Block Storage with Data Processing Units

Shu J, Qian K, Zhai E, Liu X, Jin X. 2024. Burstable Cloud Block Storage with Data Processing Units. 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 24). :783--799.

Motor: Enabling {Multi-Versioning} for Distributed Transactions on Disaggregated Memory

Zhang M, Hua Y, Yang Z. 2024. Motor: Enabling {Multi-Versioning} for Distributed Transactions on Disaggregated Memory. 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 24). :801--819.

Detecting Logic Bugs in Database Engines via Equivalent Expression Transformation

Jiang Z-M, Su Z. 2024. Detecting Logic Bugs in Database Engines via Equivalent Expression Transformation. 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 24). :821--835.

Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs

Zhang TNuda, Hance T, Kapritsos M, Chajed T, Parno B. 2024. Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs. 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 24). :837--853.

Performance Interfaces for Hardware Accelerators

Ma J, Iyer R, Kashani S, Emami M, Bourgeat T, Candea G. 2024. Performance Interfaces for Hardware Accelerators. 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 24). :855--874.

{IronSpec}: Increasing the Reliability of Formal Specifications

Goldweber E, Yu W, Ghahani SArmin Vaki, Kapritsos M. 2024. {IronSpec}: Increasing the Reliability of Formal Specifications. 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 24). :875--891.

Identifying {On-/Off-CPU} Bottlenecks Together with Blocked Samples

Ahn M, Han J, Kwon Y, Jeong J. 2024. Identifying {On-/Off-CPU} Bottlenecks Together with Blocked Samples. 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 24). :893--910.

{dLoRA}: Dynamically Orchestrating Requests and Adapters for {LoRA} {LLM} Serving

Wu B, Zhu R, Zhang Z, Sun P, Liu X, Jin X. 2024. {dLoRA}: Dynamically Orchestrating Requests and Adapters for {LoRA} {LLM} Serving. 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 24). :911--927.

Pages