USENIX | The Advanced Computing Systems Association

{MAST}: Global Scheduling of {ML} Training across {Geo-Distributed} Datacenters at Hyperscale

Choudhury A, Wang Y, Pelkonen T, Srinivasan K, Jain A, Lin S, David D, Soleimanifard S, Chen M, Yadav A et al.. 2024. {MAST}: Global Scheduling of {ML} Training across {Geo-Distributed} Datacenters at Hyperscale. 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 24). :563--580.

Automatically Reasoning About How Systems Code Uses the {CPU} Cache

Iyer R, Argyraki K, Candea G. 2024. Automatically Reasoning About How Systems Code Uses the {CPU} Cache. 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 24). :581--598.

{VeriSMo}: A Verified Security Module for Confidential {VMs}

Zhou Z, Anjali, Chen W, Gong S, Hawblitzel C, Cui W. 2024. {VeriSMo}: A Verified Security Module for Confidential {VMs}. 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 24). :599--614.

Validating the {eBPF} Verifier via State Embedding

Sun H, Su Z. 2024. Validating the {eBPF} Verifier via State Embedding. 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 24). :615--628.

Using Dynamically Layered Definite Releases for Verifying the {RefFS} File System

Zou M, Du D, Dong M, Chen H. 2024. Using Dynamically Layered Definite Releases for Verifying the {RefFS} File System. 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 24). :629--648.

Anvil: Verifying Liveness of Cluster Management Controllers

Sun X, Ma W, Gu JTyler, Ma Z, Chajed T, Howell J, Lattuada A, Padon O, Suresh L, Szekeres A et al.. 2024. Anvil: Verifying Liveness of Cluster Management Controllers. 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 24). :649--666.

{DSig}: Breaking the Barrier of Signatures in Data Centers

Aguilera MK, Burgelin C, Guerraoui R, Murat A, Xygkis A, Zablotchi I. 2024. {DSig}: Breaking the Barrier of Signatures in Data Centers. 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 24). :667--685.

Ransom Access Memories: Achieving Practical Ransomware Protection in Cloud with {DeftPunk}

Wang Z, Song Y, Xu E, Wu H, Tong G, Sun S, Li H, Liu J, Ding L, Liu R et al.. 2024. Ransom Access Memories: Achieving Practical Ransomware Protection in Cloud with {DeftPunk}. 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 24). :687--702.

Secret Key Recovery in a {Global-Scale} {End-to-End} Encryption System

Connell G, Fang V, Schmidt R, Dauterman E, Popa RAda. 2024. Secret Key Recovery in a {Global-Scale} {End-to-End} Encryption System. 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 24). :703--719.

Flock: A Framework for Deploying {On-Demand} Distributed Trust

Kaviani D, Tan S, Kannan PGovindan, Popa RAda. 2024. Flock: A Framework for Deploying {On-Demand} Distributed Trust. 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 24). :721--743.

Pages