Skapa en profil
Offentlig åtkomst
Visa alla4 artiklar
1 artikel
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Greg MorrisettDean and Professor, Cornell UniversityVerifierad e-postadress på cornell.edu
- Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaVerifierad e-postadress på cis.upenn.edu
- Adam ChlipalaMIT CSAILVerifierad e-postadress på csail.mit.edu
- Jim GrundyApple ComputerVerifierad e-postadress på acm.org
- John O'LearyIntel CorporationVerifierad e-postadress på intel.com
- Daniel RickettsPhD Student, University of California, San DiegoVerifierad e-postadress på cs.ucsd.edu
- Walid TahaHalmstad UniversityVerifierad e-postadress på hh.se
- Jennifer GillenwaterGoogle Research NYCVerifierad e-postadress på google.com
- Andre DeHonUniversity of PennsylvaniaVerifierad e-postadress på acm.org
- Natarajan ShankarSRI International Computer Science LaboratoryVerifierad e-postadress på csl.sri.com
- Cătălin HrițcuTenured Faculty at MPI-SPVerifierad e-postadress på mpi-sp.org
- Stephen ChongHarvard UniversityVerifierad e-postadress på seas.harvard.edu
- Edward Z. YangResearch Engineer, FacebookVerifierad e-postadress på mit.edu