创建我的个人资料
开放获取的出版物数量
查看全部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 的电子邮件经过验证