Skapa en profil
Offentlig åtkomst
Visa alla26 artiklar
2 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Andrew C. MyersProfessor of Computer Science, Cornell UniversityVerifierad e-postadress på cs.cornell.edu
- Scott MooreGalois, Inc.Verifierad e-postadress på galois.com
- K. VikramSoftware Engineer, TwitterVerifierad e-postadress på twitter.com
- Michael ClarksonProvost's Teaching Fellow and Senior Lecturer of Computer Science, Cornell UniversityVerifierad e-postadress på cornell.edu
- Steve ZdancewicProfessor of Computer and Information Science, University of PennsylvaniaVerifierad e-postadress på cis.upenn.edu
- Aslan AskarovAssociate Professor at Aarhus UniversityVerifierad e-postadress på cs.au.dk
- Nathaniel NystromRelationalAIVerifierad e-postadress på usi.ch
- Margo SeltzerUniversity of British ColumbiaVerifierad e-postadress på cs.ubc.ca
- Jed LiuAkita SoftwareVerifierad e-postadress på cs.cornell.edu
- Christos DimoulasPLT @ Northwestern UniversityVerifierad e-postadress på northwestern.edu
- Lucas WayeMetaVerifierad e-postadress på fb.com
- Jeffrey A. VaughanPostdoc, UCLA, Computer ScienceVerifierad e-postadress på logicblox.com
- Xin QiSquare IncVerifierad e-postadress på cornell.edu
- Benjamin LivshitsReader (Associate Professor++) in Computer ScienceVerifierad e-postadress på imperial.ac.uk
- Anitha (Boyapati) GollamudiUniversity of Massachusetts LowellVerifierad e-postadress på uml.edu
- Anupam DattaProfessor, Electrical and Computer Engineering & Computer Science Departments, CMUVerifierad e-postadress på cmu.edu
- Cormac FlanaganProfessor of Computer Science, University of California Santa CruzVerifierad e-postadress på ucsc.edu
- Jean YangMITVerifierad e-postadress på cs.cmu.edu
- Armando Solar-LezamaMITVerifierad e-postadress på csail.mit.edu
- Thomas H. AustinAssociate Professor of Computer Science, San Jose State UniversityVerifierad e-postadress på bias2build.com