Get my own profile
Public access
View all22 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- Anindya BanerjeeProfessor, IMDEA Software InstituteVerified email at imdea.org
- Greg MorrisettDean and Professor, Cornell UniversityVerified email at cornell.edu
- Ilya SergeyAssociate Professor, National University of SingaporeVerified email at nus.edu.sg
- Lars BirkedalDept. of Computer Science, Aarhus UniversityVerified email at cs.au.dk
- Germán DelbiancoNomadic LabsVerified email at nomadic-labs.com
- Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
- Beta ZilianiFAMAF, UNC and Manas.TechVerified email at mpi-sws.org
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verified email at mpi-sws.org
- Brigitte PientkaMcGill UniversityVerified email at cs.mcgill.ca
- Deepak GargMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verified email at mpi-sws.org
- Neelakantan R. KrishnaswamiUniversity of CambridgeVerified email at cl.cam.ac.uk
- Shachar ItzhakyTel Aviv UniversityVerified email at tau.ac.il
- Mooly SagivTel Aviv UniversityVerified email at acm.org
- Neil ImmermanCollege of Computer and Information Sciences, UMass, AmherstVerified email at cs.umass.edu
- Georges GonthierPrincipal Researcher, Microsoft ResearchVerified email at microsoft.com
- Josh BerdineSkipLabsVerified email at berdine.net
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
- Stephen MagillSonatype, Inc.Verified email at sonatype.com
- Murdoch GabbayLecturer in Computer Science at Heriot-Watt University, Edinburgh, UKVerified email at hw.ac.uk