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
Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Beta ZilianiFAMAF, UNC and Manas.TechVerified 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 ItzhakyTechnionVerified email at cs.technion.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