建立我自己的個人學術檔案
公開取用
查看全部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 的電子郵件地址已通過驗證 - 首頁