Crea il mio profilo
Accesso pubblico
Visualizza tutto7 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Chung-Kil HurSeoul National UniversityEmail verificata su sf.snu.ac.kr
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusEmail verificata su mpi-sws.org
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Email verificata su mpi-sws.org
- Kwangkeun YiProfessor of Computer Science & Engineering, Seoul National UniversityEmail verificata su ropas.snu.ac.kr
- Ori LahavTel Aviv UniversityEmail verificata su tau.ac.il
- Hai DangBedRock Systems. IncEmail verificata su mpi-sws.org
- Ralf JungAssistant Professor, ETH ZürichEmail verificata su inf.ethz.ch
- William ManskyAssistant Professor, University of Illinois at ChicagoEmail verificata su uic.edu
- Sung-Hwan LeeRebellions Inc.Email verificata su rebellions.ai
- Youngju SongPostdoc, MPI-SWSEmail verificata su sf.snu.ac.kr
- Kyeongmin ChoPh.D. Student of KAIST School of ComputingEmail verificata su kaist.ac.kr
- Azalea RaadImperial College LondonEmail verificata su imperial.ac.uk
- Joonwon ChoiApple / MIT CSAIL PhDEmail verificata su alum.mit.edu
- Steve ZdancewicProfessor of Computer and Information Science, University of PennsylvaniaEmail verificata su cis.upenn.edu
- Michael SammlerMPI-SWSEmail verificata su mpi-sws.org
- Christopher PulteUniversity of CambridgeEmail verificata su cam.ac.uk
- Jean Pichon-PharabodAarhus UniversityEmail verificata su cs.au.dk
- Juneyoung(June) LeeAutomated Reasoning Group, AWSEmail verificata su amazon.com
- Minki ChoCompiler Engineer, FuriosaAIEmail verificata su furiosa.ai
- Woosuk LeeHanyang UniversityEmail verificata su hanyang.ac.kr