自分のプロフィールを作成
オープン アクセス
すべて表示7 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Adam ChlipalaMIT CSAIL確認したメール アドレス: csail.mit.edu
- Benjamin DelawareAssistant Professor, Purdue University確認したメール アドレス: purdue.edu
- Jason GrossGraduate, Massachusetts Institute of Technology確認したメール アドレス: mit.edu
- ArvindMIT確認したメール アドレス: mit.edu
- Peng WangMIT CSAIL確認したメール アドレス: csail.mit.edu
- Nikhil SwamyMicrosoft Research確認したメール アドレス: microsoft.com
- Cătălin HrițcuTenured Faculty at MPI-SP確認したメール アドレス: mpi-sp.org
- Tahina RamananandroMicrosoft Research確認したメール アドレス: ramananandro.org
- Danel AhmanInstitute of Computer Science, University of Tartu確認したメール アドレス: ut.ee
- Jonathan ProtzenkoMicrosoft Research確認したメール アドレス: ens-lyon.org
- Nick GiannarakisAmazon Web Services確認したメール アドレス: amazon.com
- Monal NarasimhamurthyUniversity of Colorado Boulder確認したメール アドレス: colorado.edu
- Guido MartínezCIFASIS-CONICET確認したメール アドレス: cifasis-conicet.gov.ar
- Samuel MaddenMIT確認したメール アドレス: csail.mit.edu
- Dustin JamnerMassachusetts Institute of Technology確認したメール アドレス: mit.edu
- Kai YeCarnegie Mellon University確認したメール アドレス: cs.cmu.edu
- Pierre CourtieuConservatoire des Arts et Métiers - Laboratory: CÉDRIC確認したメール アドレス: cnam.fr
- Stella LauMIT確認したメール アドレス: mit.edu
- Andres ErbsenMIT CSAIL確認したメール アドレス: mit.edu
- Oleg SokolskyUniversity of Pennsylvania確認したメール アドレス: cis.upenn.edu