SOSP   Symposium on Operating Systems Principles