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