Pravin Shinde, Antoine Kaufmann, Kornilios Kourtis, Timothy Roscoe
Browse the full SOSP paper archive.