Get my own profile
Public access
View all22 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 JungPost-doctoral researcher, MIT CSAILVerified email at mpi-sws.org
Chung-Kil HurSeoul National UniversityVerified email at sf.snu.ac.kr
Robbert KrebbersAssociate Professor, Radboud University NijmegenVerified email at cs.ru.nl
Jacques-Henri JourdanUniversité Paris-Saclay, CNRS, ENS Paris-Saclay, Laboratoire Méthodes Formelles, 91190, Gif-surVerified email at normalesup.org
Aaron TuronMPI-SWSVerified 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
Jeehoon KangAssistant Professor of KAIST School of ComputingVerified email at kaist.ac.kr
Beta ZilianiFAMAF, UNC and Manas.TechVerified email at mpi-sws.org
Ori LahavTel Aviv UniversityVerified email at tau.ac.il
Neelakantan R. KrishnaswamiUniversity of CambridgeVerified email at cl.cam.ac.uk
Aleš BizjakFormerly postdoctoral researcher, Aarhus University, currently software architect at ConcordiumVerified email at alesb.com
Karl CraryCarnegie Mellon UniversityVerified email at cs.cmu.edu
Aleksandar NanevskiIMDEA Software InstituteVerified email at imdea.org
Hai DangMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
David SwaseyMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verified email at mpi-sws.org
Joseph TassarottiAssistant Professor, Boston CollegeVerified email at bc.edu
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