Get my own profile
Public access
View all16 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
Robbert KrebbersAssociate Professor, Radboud University NijmegenVerified email at cs.ru.nl
Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesVerified email at normalesup.org
Lars BirkedalDept. of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Joseph TassarottiAssistant Professor, New York UniversityVerified email at nyu.edu
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
Hai DangBedRock Systems. IncVerified email at mpi-sws.org
Filip SieczkowskiHeriot-Watt UniversityVerified email at hw.ac.uk
Aaron TuronMPI-SWSVerified email at mpi-sws.org
Kasper SvendsenDepartment of Computer Science, Aarhus UniversityVerified email at itu.dk
Amin TimanyAarhus UniversityVerified email at cs.au.dk
Jeehoon KangAssistant Professor of KAIST School of ComputingVerified email at kaist.ac.kr
Nickolai ZeldovichVerified email at csail.mit.edu
Frans KaashoekMassuchesetts Institute of Technology (MIT)Verified email at mit.edu
Simon SpiesMPI-SWSVerified email at mpi-sws.org
Arthur CharguéraudInriaVerified email at inria.fr
John RegehrProfessor, School of Computing, University of UtahVerified email at cs.utah.edu
Zhengyang LiuUniversity of UtahVerified email at cs.utah.edu
Chung-Kil HurSeoul National UniversityVerified email at sf.snu.ac.kr