创建我的个人资料
开放获取的出版物数量
查看全部13 篇文章
0 篇文章
可查看的文章
无法查看的文章
根据资助方的强制性开放获取政策
合著作者
- Stephen FreundComputer Science, Williams College在 cs.williams.edu 的电子邮件经过验证
- Matthias FelleisenTrustee Professor of Computer Science, Northeastern University在 felleisen.org 的电子邮件经过验证
- Shaz QadeerSoftware Engineer, Meta在 meta.com 的电子邮件经过验证
- Thomas H. AustinAssociate Professor of Computer Science, San Jose State University在 bias2build.com 的电子邮件经过验证
- Tim DisneyUniversity of California Santa Cruz在 ucsc.edu 的电子邮件经过验证
- Mark LillibridgeFacebook在 cs.cmu.edu 的电子邮件经过验证
- Caitlin SadowskiGoogle在 google.com 的电子邮件经过验证
- Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa Cruz在 cs.ucsc.edu 的电子邮件经过验证
- Patrice GodefroidLacework在 lacework.net 的电子邮件经过验证
- Robert Bruce FindlerNorthwestern University在 cs.northwestern.edu 的电子邮件经过验证
- Amr SabryProfessor of Computer Science, Indiana University在 indiana.edu 的电子邮件经过验证
- Shriram KrishnamurthiProfessor of Computer Science, Brown University在 cs.brown.edu 的电子邮件经过验证
- Matthew FlattProfessor, School of Computing, University of Utah在 cs.utah.edu 的电子邮件经过验证
- Jean YangMIT在 cs.cmu.edu 的电子邮件经过验证
- Christopher Schuster在 ucsc.edu 的电子邮件经过验证
- John ClementsProfessor of Computer Science, Cal Poly State University在 calpoly.edu 的电子邮件经过验证
- Mooly SagivTel Aviv University在 acm.org 的电子邮件经过验证
- Armando Solar-LezamaMIT在 csail.mit.edu 的电子邮件经过验证
- Sanjit A. SeshiaProfessor of EECS, University of California, Berkeley在 eecs.berkeley.edu 的电子邮件经过验证
- Yannis SmaragdakisUniversity of Athens在 di.uoa.gr 的电子邮件经过验证
关注
Cormac Flanagan
Professor of Computer Science, University of California Santa Cruz
在 ucsc.edu 的电子邮件经过验证 - 首页