Skapa en profil
Offentlig åtkomst
Visa alla1 artikel
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Ying ShengPhD student of Stanford UniversityVerifierad e-postadress på stanford.edu
- Clark BarrettStanford UniversityVerifierad e-postadress på cs.stanford.edu
- Andres ErbsenMIT CSAILVerifierad e-postadress på mit.edu
- Jason GrossGraduate, Massachusetts Institute of TechnologyVerifierad e-postadress på mit.edu
- Adam ChlipalaMIT CSAILVerifierad e-postadress på csail.mit.edu
- Lianmin ZhengUC BerkeleyVerifierad e-postadress på berkeley.edu
- Christopher HahnX, the moonshot factory (Google X)Verifierad e-postadress på google.com
- Oded PadonVMware ResearchVerifierad e-postadress på vmware.com