Rachid Guerraoui, Thomas A. Henzinger, Barbara Jobstmann, Vasu Singh
Browse the full PLDI paper archive.