Get my own profile
Co-authors
Mike DoddsGalois Inc.Verified email at galois.com
Gavin BiermanOracleVerified email at oracle.com
Lars BirkedalDept. of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verified email at mpi-sws.org
Richard BornatProfessor of Computer Programming, Middlesex UniversityVerified email at bornat.me.uk
Dino DistefanoFacebook and Queen Mary University of LondonVerified email at eecs.qmul.ac.uk
Thomas Dinsdale-YoungAarhus UniversityVerified email at d-y.me.uk
Philippa GardnerProfessor of Theoretical Computer Science, Imperial College LondonVerified email at imperial.ac.uk
Peter O'HearnFacebook and University College LondonVerified email at ucl.ac.uk
Kasper SvendsenDepartment of Computer Science, Aarhus UniversityVerified email at itu.dk
Matko BotincanComputer ScientistVerified email at cam.ac.uk
Byron CookProfessor of Computer Science, UCL, AmazonVerified email at cs.ucl.ac.uk
Hongseok YangProfessor, School of Computing, KAISTVerified email at kaist.ac.kr
Eric KoskinenAssistant Professor of Computer Science, Stevens Institute of TechnologyVerified email at stevens.edu
Alexander J. SummersThe University of British ColumbiaVerified email at ubc.ca
Colin S. GordonAssistant Professor of Computer Science, Drexel UniversityVerified email at drexel.edu
James NobleProfessor of Computer Science, Victoria University of Wellington, NZVerified email at ecs.vuw.ac.nz
Christoph HaaseUniversity of OxfordVerified email at cs.ox.ac.uk
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
Maurice HerlihyProfessor of Computer Science, Brown UniversityVerified email at cs.brown.edu
