Get my own profile
Public access
View all11 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Nick BentonEngineering Manager, FacebookVerified email at fb.com
Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
Jana DunfieldQueen's UniversityVerified email at queensu.ca
Jonathan AldrichProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Peter SewellComputer Laboratory, University of CambridgeVerified email at cl.cam.ac.uk
Lars BirkedalDept. of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Aaron TuronMPI-SWSVerified email at mpi-sws.org
Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verified email at mpi-sws.org
Aleksandar NanevskiIMDEA Software InstituteVerified email at imdea.org
Beta ZilianiFAMAF, UNC and Manas.TechVerified email at mpi-sws.org
Shaked FlurCambridge UniversityVerified email at cl.cam.ac.uk
Brian CampbellLaboratory for Foundations of Computer Science, University of EdinburghVerified email at ed.ac.uk
Robert NortonUniversity of CambridgeVerified email at cl.cam.ac.uk
Alastair ReidSenior Principal EngineerVerified email at intel.com
Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerified email at ed.ac.uk
Ryan NewtonMIT, Purdue University, Meta PlatformsVerified email at indiana.edu
Kasper SvendsenDepartment of Computer Science, Aarhus UniversityVerified email at itu.dk
Lindsey KuperUniversity of California, Santa CruzVerified email at ucsc.edu
Jeremy YallopUniversity of CambridgeVerified email at cl.cam.ac.uk
Jan HoffmannCarnegie Mellon UniversityVerified email at cmu.edu