내 프로필 만들기
공개 액세스
모두 보기자료 7개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Chung-Kil HurSeoul National Universitysf.snu.ac.kr의 이메일 확인됨
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campusmpi-sws.org의 이메일 확인됨
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)mpi-sws.org의 이메일 확인됨
- Kwangkeun YiProfessor of Computer Science & Engineering, Seoul National Universityropas.snu.ac.kr의 이메일 확인됨
- Ori LahavTel Aviv Universitytau.ac.il의 이메일 확인됨
- Hai DangBedRock Systems. Incmpi-sws.org의 이메일 확인됨
- Ralf JungAssistant Professor, ETH Zürichinf.ethz.ch의 이메일 확인됨
- William ManskyAssistant Professor, University of Illinois at Chicagouic.edu의 이메일 확인됨
- Sung-Hwan LeeRebellions Inc.rebellions.ai의 이메일 확인됨
- Youngju SongPostdoc, MPI-SWSsf.snu.ac.kr의 이메일 확인됨
- Kyeongmin ChoPh.D. Student of KAIST School of Computingkaist.ac.kr의 이메일 확인됨
- Azalea RaadImperial College Londonimperial.ac.uk의 이메일 확인됨
- Joonwon ChoiApple / MIT CSAIL PhDalum.mit.edu의 이메일 확인됨
- Steve ZdancewicProfessor of Computer and Information Science, University of Pennsylvaniacis.upenn.edu의 이메일 확인됨
- Michael SammlerMPI-SWSmpi-sws.org의 이메일 확인됨
- Christopher PulteUniversity of Cambridgecam.ac.uk의 이메일 확인됨
- Jean Pichon-PharabodAarhus Universitycs.au.dk의 이메일 확인됨
- Juneyoung(June) LeeAutomated Reasoning Group, AWSamazon.com의 이메일 확인됨
- Minki ChoCompiler Engineer, FuriosaAIfuriosa.ai의 이메일 확인됨
- Woosuk LeeHanyang Universityhanyang.ac.kr의 이메일 확인됨