USENIX | The Advanced Computing Systems Association

Plankton: Scalable network configuration verification through model checking

[Anonymous]. 2020. Plankton: Scalable network configuration verification through model checking. 17th {USENIX} Symposium on Networked Systems Design and Implementation ({NSDI} 20).

NetSMC: A Custom Symbolic Model Checker for Stateful Network Verification

[Anonymous]. 2020. NetSMC: A Custom Symbolic Model Checker for Stateful Network Verification. 17th {USENIX} Symposium on Networked Systems Design and Implementation ({NSDI} 20).

Read more about NetSMC: A Custom Symbolic Model Checker for Stateful Network Verification
DBLP
Log in to post comments
Google Scholar
BibTeX

18th {USENIX} Conference on File and Storage Technologies ({FAST} 20)

[Anonymous]. 2020. 18th {USENIX} Conference on File and Storage Technologies ({FAST} 20). 18th {USENIX} Conference on File and Storage Technologies ({FAST} 20).

Read more about 18th {USENIX} Conference on File and Storage Technologies ({FAST} 20)
DBLP
Log in to post comments
Google Scholar
BibTeX

{POLARDB} Meets Computational Storage: Efficiently Support Analytical Workloads in {Cloud-Native} Relational Database

Cao W, Liu Y, Cheng Z, Zheng N, Li W, Wu W, Ouyang L, Wang P, Wang Y, Kuan R et al.. 2020. {POLARDB} Meets Computational Storage: Efficiently Support Analytical Workloads in {Cloud-Native} Relational Database. 18th USENIX Conference on File and Storage Technologies (FAST 20). :29--41.

Carver: Finding Important Parameters for Storage System Tuning

Cao Z, Kuenning G, Zadok E. 2020. Carver: Finding Important Parameters for Storage System Tuning. 18th USENIX Conference on File and Storage Technologies (FAST 20). :43--57.

Read more about Carver: Finding Important Parameters for Storage System Tuning
DBLP
Log in to post comments
Google Scholar
BibTeX

Characterizing, Modeling, and Benchmarking {RocksDB} {Key-Value} Workloads at Facebook

Cao Z, Dong S, Vemuri S, Du DHC. 2020. Characterizing, Modeling, and Benchmarking {RocksDB} {Key-Value} Workloads at Facebook. 18th USENIX Conference on File and Storage Technologies (FAST 20). :209--223.

{Lock-Free} Collaboration Support for Cloud Storage Services with Operation Inference and Transformation

Chen J, Zhao M, Li Z, Zhai E, Qian F, Chen H, Liu Y, Xu T. 2020. {Lock-Free} Collaboration Support for Cloud Storage Services with Operation Inference and Transformation. 18th USENIX Conference on File and Storage Technologies (FAST 20). :13--27.

{HotRing}: A {Hotspot-Aware} {In-Memory} {Key-Value} Store

Chen J, Chen L, Wang S, Zhu G, Sun Y, Liu H, Li F. 2020. {HotRing}: A {Hotspot-Aware} {In-Memory} {Key-Value} Store. 18th USENIX Conference on File and Storage Technologies (FAST 20). :239--252.

Read more about {HotRing}: A {Hotspot-Aware} {In-Memory} {Key-Value} Store
DBLP
Log in to post comments
Google Scholar
BibTeX

Strong and Efficient Consistency with {Consistency-Aware} Durability

Ganesan A, Alagappan R, Arpaci-Dusseau A, Arpaci-Dusseau R. 2020. Strong and Efficient Consistency with {Consistency-Aware} Durability. 18th USENIX Conference on File and Storage Technologies (FAST 20). :323--337.

Read more about Strong and Efficient Consistency with {Consistency-Aware} Durability
DBLP
Log in to post comments
Google Scholar
BibTeX

Read as Needed: Building {WiSER}, a {Flash-Optimized} Search Engine

He J, Wu K, Kannan S, Arpaci-Dusseau A, Arpaci-Dusseau R. 2020. Read as Needed: Building {WiSER}, a {Flash-Optimized} Search Engine. 18th USENIX Conference on File and Storage Technologies (FAST 20). :59--73.

Read more about Read as Needed: Building {WiSER}, a {Flash-Optimized} Search Engine
DBLP
Log in to post comments
Google Scholar
BibTeX

Pages