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
Robbert KrebbersAssociate Professor, Radboud University NijmegenVerified email at cs.ru.nl
Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verified email at mpi-sws.org
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
Hai DangBedRock Systems. IncVerified email at mpi-sws.org
Jeehoon KangAssistant Professor of KAIST School of ComputingVerified email at kaist.ac.kr
Amal AhmedNortheastern UniversityVerified email at ccs.neu.edu
Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityVerified email at andrew.cmu.edu
Michael SammlerMPI-SWSVerified email at mpi-sws.org
Aleš BizjakFormerly postdoctoral researcher, Aarhus University, currently software architect at ConcordiumVerified email at alesb.com
Ori LahavTel Aviv UniversityVerified email at tau.ac.il
Beta ZilianiFAMAF, UNC and Manas.TechVerified 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
Deepak GargMax 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
Follow
Derek Dreyer
Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus
Verified email at mpi-sws.org - Homepage