Babak Falsafi, Rachid Guerraoui, Javier Picorel, Vasileios Trigonakis
Browse the full USENIX paper archive.