Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 2461 | 1369 |
indice h | 18 | 15 |
indice i10 | 20 | 18 |
Accès public
Tout afficher12 articles
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Zachary TatlockUniversity of WashingtonAdresse e-mail validée de cs.washington.edu
- Doug WoosUniversity of WashingtonAdresse e-mail validée de cs.washington.edu
- Pavel PanchekhaUniversity of Utah, Kahlert School of ComputingAdresse e-mail validée de cs.utah.edu
- Ankit SinglaGoogleAdresse e-mail validée de ethz.ch
- Ali GhodsiUC Berkeley, DatabricksAdresse e-mail validée de cs.berkeley.edu
- Scott ShenkerProfessor of Computer Science, UC BerkeleyAdresse e-mail validée de icsi.berkeley.edu
- Dan GrossmanComputer Science, University of WashingtonAdresse e-mail validée de cs.washington.edu
- Thomas AndersonWarren Francis and Wilma Kolm Bradley Chair, CSE, University of WashingtonAdresse e-mail validée de cs.washington.edu
- Mooly SagivTel Aviv UniversityAdresse e-mail validée de acm.org
- Sharon ShohamTel Aviv UniversityAdresse e-mail validée de tauex.tau.ac.il
- Chandrakana NandiSenior Researcher, Certora Inc.Adresse e-mail validée de certora.com
- Michael D. ErnstProfessor of Computer Science & Engineering, University of WashingtonAdresse e-mail validée de cs.washington.edu
- Xi WangUniversity of WashingtonAdresse e-mail validée de cs.washington.edu
- Ilya SergeyAssociate Professor, National University of SingaporeAdresse e-mail validée de nus.edu.sg
- Alex Sanchez-SternPostdoctoral Researcher, UMass AmherstAdresse e-mail validée de cs.umass.edu
- Max WillseyUC BerkeleyAdresse e-mail validée de eecs.berkeley.edu
- Oded PadonVMware ResearchAdresse e-mail validée de vmware.com
- Kenneth McMillanMicrosoft ResearchAdresse e-mail validée de microsoft.com
- Stephen FreundComputer Science, Williams CollegeAdresse e-mail validée de cs.williams.edu
- Cormac FlanaganProfessor of Computer Science, University of California Santa CruzAdresse e-mail validée de ucsc.edu