Get my own profile
Public access
View all7 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
Ralf JungAssistant Professor, ETH ZürichVerified email at inf.ethz.ch
Jeehoon KangKAIST School of ComputingVerified email at kaist.ac.kr
Vu NguyenUniversity of Science, Vietnam National University - HCMCVerified email at fit.hcmus.edu.vn
Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verified email at mpi-sws.org
Ori LahavTel Aviv UniversityVerified email at tau.ac.il
Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesVerified email at cnrs.fr
Simon SpiesMPI-SWSVerified email at mpi-sws.org
Azalea RaadImperial College LondonVerified email at imperial.ac.uk
Peter O'HearnUniversity College LondonVerified email at ucl.ac.uk
Josh BerdineSkipLabsVerified email at berdine.net
Jules VillardImperial College LondonVerified email at imperial.ac.uk
Michael SammlerMPI-SWSVerified email at mpi-sws.org
Robbert KrebbersAssociate Professor, Radboud University NijmegenVerified email at cs.ru.nl
Thanh-Hai TranConsensysVerified email at consensys.net
Jaemin ChoiKAISTVerified email at kaist.ac.kr
William ManskyAssistant Professor, University of Illinois at ChicagoVerified email at uic.edu
Duc-Than NguyenUniversity of Illinois at ChicagoVerified email at uic.edu
Jaehwang JungPhD candidate, KAISTVerified email at cp.kaist.ac.kr