Get my own profile
Co-authors
Ori LahavTel Aviv UniversityVerified email at tau.ac.il
Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
Chung-Kil HurSeoul National UniversityVerified email at sf.snu.ac.kr
Francesco Zappa NardelliFacebookVerified email at fb.com
Matthew J. ParkinsonMicrosoft ResearchVerified email at microsoft.com
Azalea RaadImperial College LondonVerified email at imperial.ac.uk
Peter SewellComputer Laboratory, University of CambridgeVerified email at cl.cam.ac.uk
Soham Sundar ChakrabortyMax Planck Institute for Software SystemsVerified email at mpi-sws.org
Jeehoon KangAssistant Professor of KAIST School of ComputingVerified email at kaist.ac.kr
Anton PodkopaevMPI-SWS, JetBrains Research, HSEVerified email at jetbrains.com
Marc ShapiroSorbonne-Université—LIP6 & InriaVerified email at acm.org
Mike DoddsGalois Inc.Verified email at galois.com
Michalis KokologiannakisPhD student, Max Planck Institute for Software Systems (MPI-SWS)Verified email at mpi-sws.org
Aleksandar NanevskiIMDEA Software InstituteVerified email at imdea.org
Maurice HerlihyProfessor of Computer Science, Brown UniversityVerified email at cs.brown.edu
Tony (C.A.R.) HoarePrincipal Researcher, Microsoft Research; Emeritus Professor, University of Oxford; GriffithVerified email at griffith.edu.au
Suresh JagannathanProfessor of Computer Science, Purdue UniversityVerified email at cs.purdue.edu
Byron CookProfessor of Computer Science, UCL, AmazonVerified email at cs.ucl.ac.uk
Aaron TuronMPI-SWSVerified email at mpi-sws.org
Thomas Dinsdale-YoungAarhus UniversityVerified email at d-y.me.uk
Viktor Vafeiadis
Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)
Verified email at mpi-sws.org - Homepage