自分のプロフィールを作成
オープン アクセス
すべて表示12 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Zachary TatlockUniversity of Washington確認したメール アドレス: cs.washington.edu
- Doug WoosUniversity of Washington確認したメール アドレス: cs.washington.edu
- Pavel PanchekhaUniversity of Utah, Kahlert School of Computing確認したメール アドレス: cs.utah.edu
- Ankit SinglaGoogle確認したメール アドレス: ethz.ch
- Ali GhodsiUC Berkeley, Databricks確認したメール アドレス: cs.berkeley.edu
- Scott ShenkerProfessor of Computer Science, UC Berkeley確認したメール アドレス: icsi.berkeley.edu
- Dan GrossmanComputer Science, University of Washington確認したメール アドレス: cs.washington.edu
- Thomas AndersonWarren Francis and Wilma Kolm Bradley Chair, CSE, University of Washington確認したメール アドレス: cs.washington.edu
- Mooly SagivTel Aviv University確認したメール アドレス: acm.org
- Sharon ShohamTel Aviv University確認したメール アドレス: tauex.tau.ac.il
- Chandrakana NandiSenior Researcher, Certora Inc.確認したメール アドレス: certora.com
- Michael D. ErnstProfessor of Computer Science & Engineering, University of Washington確認したメール アドレス: cs.washington.edu
- Xi WangUniversity of Washington確認したメール アドレス: cs.washington.edu
- Ilya SergeyAssociate Professor, National University of Singapore確認したメール アドレス: nus.edu.sg
- Alex Sanchez-SternPostdoctoral Researcher, UMass Amherst確認したメール アドレス: cs.umass.edu
- Max WillseyUC Berkeley確認したメール アドレス: eecs.berkeley.edu
- Oded PadonVMware Research確認したメール アドレス: vmware.com
- Kenneth McMillanMicrosoft Research確認したメール アドレス: microsoft.com
- Stephen FreundComputer Science, Williams College確認したメール アドレス: cs.williams.edu
- Cormac FlanaganProfessor of Computer Science, University of California Santa Cruz確認したメール アドレス: ucsc.edu