自分のプロフィールを作成
オープン アクセス
すべて表示41 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Ori LahavTel Aviv University確認したメール アドレス: tau.ac.il
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus確認したメール アドレス: mpi-sws.org
- Chung-Kil HurSeoul National University確認したメール アドレス: sf.snu.ac.kr
- Azalea RaadImperial College London確認したメール アドレス: imperial.ac.uk
- Michalis KokologiannakisMax Planck Institute for Software Systems (MPI-SWS)確認したメール アドレス: mpi-sws.org
- Francesco Zappa NardelliFacebook確認したメール アドレス: fb.com
- Matthew J. ParkinsonMicrosoft Research確認したメール アドレス: microsoft.com
- Anton PodkopaevJetBrains Research, Constructor University Bremen確認したメール アドレス: jetbrains.com
- Peter SewellComputer Laboratory, University of Cambridge確認したメール アドレス: cl.cam.ac.uk
- Soham Sundar ChakrabortyTU Delft確認したメール アドレス: tudelft.nl
- Jeehoon KangAssistant Professor of KAIST School of Computing確認したメール アドレス: kaist.ac.kr
- Aleksandar NanevskiIMDEA Software Institute確認したメール アドレス: imdea.org
- Marc ShapiroSorbonne-Université—LIP6 & Inria確認したメール アドレス: acm.org
- Mike DoddsGalois Inc.確認したメール アドレス: galois.com
- John WickersonImperial College London確認したメール アドレス: imperial.ac.uk
- Suresh JagannathanSamuel D. Conte Professor of Computer Science, Purdue University確認したメール アドレス: cs.purdue.edu
- Maurice HerlihyAn Wang Professor of Computer Science, Brown University確認したメール アドレス: cs.brown.edu
- Tony (C.A.R.) HoarePrincipal Researcher, Microsoft Research; Emeritus Professor, University of Oxford; Griffith確認したメール アドレス: griffith.edu.au
- Neelakantan R. KrishnaswamiUniversity of Cambridge確認したメール アドレス: cl.cam.ac.uk
- Aaron TuronMPI-SWS確認したメール アドレス: mpi-sws.org
フォロー
Viktor Vafeiadis
Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)
確認したメール アドレス: mpi-sws.org - ホームページ