Get my own profile
Public access
View all5 articles
0 articles
available
not available
Based on funding mandates
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 DistefanoMeta and Queen Mary University of LondonVerified email at eecs.qmul.ac.uk
- Kasper SvendsenDepartment of Computer Science, Aarhus UniversityVerified email at itu.dk
- Peter O'HearnUniversity College LondonVerified email at ucl.ac.uk
- Sylvan ClebschMicrosoft ResearchVerified email at microsoft.com
- Thomas Dinsdale-YoungAarhus UniversityVerified email at d-y.me.uk
- Philippa GardnerProfessor of Theoretical Computer Science, Imperial College LondonVerified email at imperial.ac.uk
- Byron CookProfessor of Computer Science, UCL, AmazonVerified email at cs.ucl.ac.uk
- Matko BotincanComputer ScientistVerified email at cam.ac.uk
- Alexey GotsmanIMDEA Software InstituteVerified email at imdea.org
- James NobleCreative Research & ProgrammingVerified email at acm.org
- Hongseok YangProfessor, School of Computing, KAISTVerified email at kaist.ac.kr
- Eric KoskinenCharles Berendsen Associate Professor of Computer Science, Stevens Institute of TechnologyVerified email at stevens.edu
- Colin S. GordonAssociate Professor of Computer Science, Drexel UniversityVerified email at drexel.edu
- 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