Extracting More Concurrency from Distributed Transactions
.
2014. Extracting More Concurrency from Distributed Transactions. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :479--494.
Fast Databases with Fast Durability and Recovery Through Multicore Parallelism
.
2014. Fast Databases with Fast Durability and Recovery Through Multicore Parallelism. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :465--477.
Torturing Databases for Fun and Profit
.
2014. Torturing Databases for Fun and Profit. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :449--464.
All File Systems Are Not Created Equal: On the Complexity of Crafting {Crash-Consistent} Applications
.
2014. All File Systems Are Not Created Equal: On the Complexity of Crafting {Crash-Consistent} Applications. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :433--448.
{SKI}: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration
.
2014. {SKI}: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :415--431.
{SAMC}: {Semantic-Aware} Model Checking for Fast Discovery of Deep Bugs in Cloud Systems
.
2014. {SAMC}: {Semantic-Aware} Model Checking for Fast Discovery of Deep Bugs in Cloud Systems. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :399--414.
f4: Facebook's Warm {BLOB} Storage System
.
2014. f4: Facebook's Warm {BLOB} Storage System. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :383--398.
A {Self-Configurable} {Geo-Replicated} Cloud Storage System
.
2014. A {Self-Configurable} {Geo-Replicated} Cloud Storage System. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :367--381.
Pelican: A Building Block for Exascale Cold Data Storage
.
2014. Pelican: A Building Block for Exascale Cold Data Storage. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :351--365.
Characterizing Storage Workloads with Counter Stacks
.
2014. Characterizing Storage Workloads with Counter Stacks. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :335--349.