7th symposium on operating systems principles