Get my own profile
Public access
View all34 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Lars BirkedalDept. of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Ralf JungAssistant Professor, ETH ZürichVerified email at inf.ethz.ch
Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verified email at mpi-sws.org
Robbert KrebbersAssociate Professor, Radboud University NijmegenVerified email at cs.ru.nl
Chung-Kil HurSeoul National UniversityVerified email at sf.snu.ac.kr
Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesVerified email at normalesup.org
Aaron TuronMPI-SWSVerified email at mpi-sws.org
Jeehoon KangAssistant Professor of KAIST School of ComputingVerified email at kaist.ac.kr
Hai DangBedRock Systems. IncVerified email at mpi-sws.org
Amal AhmedNortheastern UniversityVerified email at ccs.neu.edu
Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityVerified email at andrew.cmu.edu
Beta ZilianiFAMAF, UNC and Manas.TechVerified email at mpi-sws.org
Ori LahavTel Aviv UniversityVerified email at tau.ac.il
Aleš BizjakFormerly postdoctoral researcher, Aarhus University, currently software architect at ConcordiumVerified email at alesb.com
Michael SammlerMPI-SWSVerified email at mpi-sws.org
David SwaseyMax 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
Karl CraryCarnegie Mellon UniversityVerified email at cs.cmu.edu
Aleksandar NanevskiIMDEA Software InstituteVerified email at imdea.org
Deepak GargMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verified email at mpi-sws.org
Follow
Derek Dreyer
Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus
Verified email at mpi-sws.org - Homepage