Obtenir mon propre profil
Accès public
Tout afficher1 article
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Ying ShengPhD student of Stanford UniversityAdresse e-mail validée de stanford.edu
- Clark BarrettStanford UniversityAdresse e-mail validée de cs.stanford.edu
- Andres ErbsenMIT CSAILAdresse e-mail validée de mit.edu
- Jason GrossGraduate, Massachusetts Institute of TechnologyAdresse e-mail validée de mit.edu
- Adam ChlipalaMIT CSAILAdresse e-mail validée de csail.mit.edu
- Lianmin ZhengUC BerkeleyAdresse e-mail validée de berkeley.edu
- Christopher HahnX, the moonshot factory (Google X)Adresse e-mail validée de google.com
- Oded PadonVMware ResearchAdresse e-mail validée de vmware.com