自分のプロフィールを作成
オープン アクセス
すべて表示28 件の論文
2 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
Andrew C. MyersClass of 1912 Professor of Engineering, Dept. 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
Margo SeltzerUniversity of British Columbia確認したメール アドレス: cs.ubc.ca
Nathaniel NystromRelationalAI確認したメール アドレス: usi.ch
Christos DimoulasPLT @ Northwestern University確認したメール アドレス: northwestern.edu
Jed LiuAkita Software確認したメール アドレス: cs.cornell.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 DattaSnowflake AI Research, Ex-Professor CMU確認したメール アドレス: snowflake.com
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