自分のプロフィールを作成
オープン アクセス
すべて表示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 - ホームページ