Notes from SOSP 2013