An Analysis of {Network-Partitioning} Failures in Cloud Systems
.
2018. An Analysis of {Network-Partitioning} Failures in Cloud Systems. 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). :51--68.
Differential Energy Profiling: Energy Optimization via Diffing Similar Apps
.
2018. Differential Energy Profiling: Energy Optimization via Diffing Similar Apps. 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18).
Taming Performance Variability
.
2018. Taming Performance Variability. 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). :409--425.
Pocket: Elastic Ephemeral Storage for Serverless Analytics
.
2018. Pocket: Elastic Ephemeral Storage for Serverless Analytics. 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). :427--444.
Verifying concurrent software using movers in {CSPEC}
.
2018. Verifying concurrent software using movers in {CSPEC}. 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). :306--322.
Proving confidentiality in a file system using {DiskSec}
.
2018. Proving confidentiality in a file system using {DiskSec}. 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). :323--338.
Graviton: Trusted Execution Environments on {GPUs}
.
2018. Graviton: Trusted Execution Environments on {GPUs}. 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). :681--696.
{RStream}: Marrying Relational Algebra with Streaming for Efficient Graph Mining on A Single Machine
.
2018. {RStream}: Marrying Relational Algebra with Streaming for Efficient Graph Mining on A Single Machine. 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). :763--782.
The {FuzzyLog}: A Partially Ordered Shared Log
.
2018. The {FuzzyLog}: A Partially Ordered Shared Log. 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). :357--372.
{TVM}: An Automated {End-to-End} Optimizing Compiler for Deep Learning
.
2018. {TVM}: An Automated {End-to-End} Optimizing Compiler for Deep Learning. 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). :578--594.