10th USENIX Symposium on Operating Systems Design and Implementation (OSDI ’12)