"SOSP"@cs .