自分のプロフィールを作成
オープン アクセス
すべて表示4 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Thomas BallMicrosoft Research確認したメール アドレス: microsoft.com
- Aditya NoriMicrosoft Research確認したメール アドレス: microsoft.com
- Shaz QadeerSoftware Engineer, Meta確認したメール アドレス: meta.com
- Thomas HenzingerIST Austria確認したメール アドレス: ist.ac.at
- Todd MillsteinProfessor of Computer Science, UCLA確認したメール アドレス: cs.ucla.edu
- Rupak MajumdarMPI for Software Systems確認したメール アドレス: mpi-sws.org
- Andreas PodelskiProfessor of Computer Science, Freiburg University確認したメール アドレス: informatik.uni-freiburg.de
- Ganesan RamalingamMicrosoft Research India確認したメール アドレス: microsoft.com
- Andrew D GordonMicrosoft Research and University of Edinburgh確認したメール アドレス: microsoft.com
- Byron CookProfessor of Computer Science, UCL, Amazon確認したメール アドレス: cs.ucl.ac.uk
- James R LarusProfessor, EPFL確認したメール アドレス: larusstone.org
- Chung-Kil HurSeoul National University確認したメール アドレス: sf.snu.ac.kr
- Ankush DesaiSenior Applied Scientist, Amazon Web Services確認したメール アドレス: amazon.com
- Cédric FournetMicrosoft Research確認したメール アドレス: microsoft.com
- Sumit GulwaniPartner Research Manager, Microsoft確認したメール アドレス: microsoft.com
- Manuel FahndrichSoftware Engineer, Google, previously Researcher, Microsoft Research確認したメール アドレス: fahndrich.com
- Venkatesh-Prasad RanganathGoogle確認したメール アドレス: ksu.edu
- Robert J. SimmonsCarnegie Mellon University (formerly)確認したメール アドレス: cs.cmu.edu
- Benjamin LivshitsReader (Associate Professor++) in Computer Science確認したメール アドレス: imperial.ac.uk
- Anindya BanerjeeProfessor, IMDEA Software Institute確認したメール アドレス: imdea.org