自分のプロフィールを作成
オープン アクセス
すべて表示7 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Chung-Kil HurSeoul National University確認したメール アドレス: sf.snu.ac.kr
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus確認したメール アドレス: mpi-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 University確認したメール アドレス: ropas.snu.ac.kr
- Ori LahavTel Aviv University確認したメール アドレス: tau.ac.il
- Hai DangBedRock Systems. Inc確認したメール アドレス: mpi-sws.org
- Ralf JungAssistant Professor, ETH Zürich確認したメール アドレス: inf.ethz.ch
- William ManskyAssistant Professor, University of Illinois at Chicago確認したメール アドレス: uic.edu
- Youngju SongPostdoc, MPI-SWS確認したメール アドレス: sf.snu.ac.kr
- Sung-Hwan LeeRebellions Inc.確認したメール アドレス: rebellions.ai
- Kyeongmin ChoPh.D. Student of KAIST School of Computing確認したメール アドレス: kaist.ac.kr
- Azalea RaadImperial College London確認したメール アドレス: imperial.ac.uk
- Joonwon ChoiApple / MIT CSAIL PhD確認したメール アドレス: alum.mit.edu
- Steve ZdancewicProfessor of Computer and Information Science, University of Pennsylvania確認したメール アドレス: cis.upenn.edu
- Michael SammlerMPI-SWS確認したメール アドレス: mpi-sws.org
- Christopher PulteUniversity of Cambridge確認したメール アドレス: cam.ac.uk
- Jean Pichon-PharabodAarhus University確認したメール アドレス: cs.au.dk
- Juneyoung(June) LeeAutomated Reasoning Group, AWS確認したメール アドレス: amazon.com
- Minki ChoCompiler Engineer, FuriosaAI確認したメール アドレス: furiosa.ai
- Woosuk LeeHanyang University確認したメール アドレス: hanyang.ac.kr