Get my own profile
Public access
View all7 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Chung-Kil HurSeoul National UniversityVerified email at sf.snu.ac.kr
Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verified email at mpi-sws.org
Kwangkeun YiProfessor of Computer Science & Engineering, Seoul National UniversityVerified email at ropas.snu.ac.kr
Ori LahavTel Aviv UniversityVerified email at tau.ac.il
Hai DangBedRock Systems. IncVerified email at mpi-sws.org
Ralf JungAssistant Professor, ETH ZürichVerified email at inf.ethz.ch
Kyeongmin ChoPh.D. Candidate at KAIST School of ComputingVerified email at kaist.ac.kr
William ManskyAssistant Professor, University of Illinois at ChicagoVerified email at uic.edu
Sung-Hwan LeeRebellions Inc.Verified email at rebellions.ai
Youngju SongPostdoc, MPI-SWSVerified email at sf.snu.ac.kr
Azalea RaadImperial College LondonVerified email at imperial.ac.uk
Joonwon ChoiApple / MIT CSAIL PhDVerified email at alum.mit.edu
Steve ZdancewicProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Christopher PulteUniversity of CambridgeVerified email at cam.ac.uk
Jean Pichon-PharabodAarhus UniversityVerified email at cs.au.dk
Michael SammlerMPI-SWSVerified email at mpi-sws.org
Robbert KrebbersAssociate Professor, Radboud University NijmegenVerified email at cs.ru.nl
Juneyoung(June) LeeAutomated Reasoning Group, AWSVerified email at amazon.com
Minki ChoCompiler Engineer, FuriosaAIVerified email at furiosa.ai