自分のプロフィールを作成
オープン アクセス
すべて表示26 件の論文
2 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Andrew C. MyersProfessor of Computer Science, Cornell University確認したメール アドレス: cs.cornell.edu
- Scott MooreGalois, Inc.確認したメール アドレス: galois.com
- K. VikramSoftware Engineer, Twitter確認したメール アドレス: twitter.com
- Michael ClarksonProvost's Teaching Fellow and Senior Lecturer of Computer Science, Cornell University確認したメール アドレス: cornell.edu
- Steve ZdancewicProfessor of Computer and Information Science, University of Pennsylvania確認したメール アドレス: cis.upenn.edu
- Aslan AskarovAssociate Professor at Aarhus University確認したメール アドレス: cs.au.dk
- Nathaniel NystromRelationalAI確認したメール アドレス: usi.ch
- Margo SeltzerUniversity of British Columbia確認したメール アドレス: cs.ubc.ca
- Jed LiuAkita Software確認したメール アドレス: cs.cornell.edu
- Christos DimoulasPLT @ Northwestern University確認したメール アドレス: northwestern.edu
- Lucas WayeMeta確認したメール アドレス: fb.com
- Jeffrey A. VaughanPostdoc, UCLA, Computer Science確認したメール アドレス: logicblox.com
- Xin QiSquare Inc確認したメール アドレス: cornell.edu
- Benjamin LivshitsReader (Associate Professor++) in Computer Science確認したメール アドレス: imperial.ac.uk
- Anitha (Boyapati) GollamudiUniversity of Massachusetts Lowell確認したメール アドレス: uml.edu
- Anupam DattaProfessor, Electrical and Computer Engineering & Computer Science Departments, CMU確認したメール アドレス: cmu.edu
- Cormac FlanaganProfessor of Computer Science, University of California Santa Cruz確認したメール アドレス: ucsc.edu
- Jean YangMIT確認したメール アドレス: cs.cmu.edu
- Armando Solar-LezamaMIT確認したメール アドレス: csail.mit.edu
- Thomas H. AustinAssociate Professor of Computer Science, San Jose State University確認したメール アドレス: bias2build.com