USENIX | The Advanced Computing Systems Association

{FlightTracker}: Consistency across {Read-Optimized} Online Stores at Facebook

Shi X, Pruett S, Doherty K, Han J, Petrov D, Carrig J, Hugg J, Bronson N. 2020. {FlightTracker}: Consistency across {Read-Optimized} Online Stores at Facebook. 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :407--423.

Aragog: Scalable Runtime Verification of Shardable Networked Systems

Yaseen N, Arzani B, Beckett R, Ciraci S, Liu V. 2020. Aragog: Scalable Runtime Verification of Shardable Networked Systems. 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :701--718.

Read more about Aragog: Scalable Runtime Verification of Shardable Networked Systems
DBLP
Log in to post comments
Google Scholar
BibTeX

Fault-tolerant and transactional stateful serverless workflows

Zhang H, Cardoza A, Chen PBaile, Angel S, Liu V. 2020. Fault-tolerant and transactional stateful serverless workflows. 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :1187--1204.

Read more about Fault-tolerant and transactional stateful serverless workflows
DBLP
Log in to post comments
Google Scholar
BibTeX

Cobra: Making Transactional {Key-Value} Stores Verifiably Serializable

Tan C, Zhao C, Mu S, Walfish M. 2020. Cobra: Making Transactional {Key-Value} Stores Verifiably Serializable. 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :63--80.

Read more about Cobra: Making Transactional {Key-Value} Stores Verifiably Serializable
DBLP
Log in to post comments
Google Scholar
BibTeX

Caladan: Mitigating Interference at Microsecond Timescales

Fried J, Ruan Z, Ousterhout A, Belay A. 2020. Caladan: Mitigating Interference at Microsecond Timescales. 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :281--297.

Read more about Caladan: Mitigating Interference at Microsecond Timescales
DBLP
Log in to post comments
Google Scholar
BibTeX

Kvell+: Snapshot Isolation without Snapshots

Lepers B, Balmau O, Gupta K, Zwaenepoel W. 2020. Kvell+: Snapshot Isolation without Snapshots. 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :425--441.

Read more about Kvell+: Snapshot Isolation without Snapshots
DBLP
Log in to post comments
Google Scholar
BibTeX

Testing Database Engines via Pivoted Query Synthesis

Rigger M, Su Z. 2020. Testing Database Engines via Pivoted Query Synthesis. 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :667--682.

Read more about Testing Database Engines via Pivoted Query Synthesis
DBLP
Log in to post comments
Google Scholar
BibTeX

{HiveD}: Sharing a {GPU} Cluster for Deep Learning with Guarantees

Zhao H, Han Z, Yang Z, Zhang Q, Yang F, Zhou L, Yang M, Lau FCM, Wang Y, Xiong Y et al.. 2020. {HiveD}: Sharing a {GPU} Cluster for Deep Learning with Guarantees. 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :515--532.

Read more about {HiveD}: Sharing a {GPU} Cluster for Deep Learning with Guarantees
DBLP
Log in to post comments
Google Scholar
BibTeX

Retiarii: A Deep Learning {Exploratory-Training} Framework

Zhang Q, Han Z, Yang F, Zhang Y, Liu Z, Yang M, Zhou L. 2020. Retiarii: A Deep Learning {Exploratory-Training} Framework. 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :919--936.

Read more about Retiarii: A Deep Learning {Exploratory-Training} Framework
DBLP
Log in to post comments
Google Scholar
BibTeX

{LinnOS}: Predictability on Unpredictable Flash Storage with a Light Neural Network

Hao M, Toksoz L, Li N, Halim EEdberg, Hoffmann H, Gunawi HS. 2020. {LinnOS}: Predictability on Unpredictable Flash Storage with a Light Neural Network. 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :173--190.

Pages