自分のプロフィールを作成
オープン アクセス
すべて表示23 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Anindya BanerjeeProfessor, IMDEA Software Institute確認したメール アドレス: imdea.org
- Greg MorrisettDean and Professor, Cornell University確認したメール アドレス: cornell.edu
- Ilya SergeyAssociate Professor, National University of Singapore確認したメール アドレス: nus.edu.sg
- Lars BirkedalDept. of Computer Science, Aarhus University確認したメール アドレス: cs.au.dk
- Germán DelbiancoNomadic Labs確認したメール アドレス: nomadic-labs.com
- Frank PfenningProfessor of Computer Science, Carnegie Mellon University確認したメール アドレス: cs.cmu.edu
- Beta ZilianiFAMAF, UNC and Manas.Tech確認したメール アドレス: mpi-sws.org
- 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
- Brigitte PientkaMcGill University確認したメール アドレス: cs.mcgill.ca
- Deepak GargMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)確認したメール アドレス: mpi-sws.org
- Neelakantan R. KrishnaswamiUniversity of Cambridge確認したメール アドレス: cl.cam.ac.uk
- Shachar ItzhakyTel Aviv University確認したメール アドレス: tau.ac.il
- Mooly SagivTel Aviv University確認したメール アドレス: acm.org
- Neil ImmermanCollege of Computer and Information Sciences, UMass, Amherst確認したメール アドレス: cs.umass.edu
- Georges GonthierPrincipal Researcher, Microsoft Research確認したメール アドレス: microsoft.com
- Josh BerdineFacebook確認したメール アドレス: fb.com
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon University確認したメール アドレス: cs.cmu.edu
- Stephen MagillSonatype, Inc.確認したメール アドレス: sonatype.com
- Amal AhmedNortheastern University確認したメール アドレス: ccs.neu.edu