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
Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verified email at mpi-sws.org
Ralf JungAssistant Professor, ETH ZürichVerified email at inf.ethz.ch
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 DangMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified 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
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
Michael SammlerMPI-SWSVerified email at mpi-sws.org
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