Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 2453 | 1361 |
Índice h | 18 | 15 |
Índice i10 | 20 | 18 |
Acesso público
Ver todos12 artigos
0 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Zachary TatlockUniversity of WashingtonE-mail confirmado em cs.washington.edu
- Doug WoosUniversity of WashingtonE-mail confirmado em cs.washington.edu
- Pavel PanchekhaUniversity of Utah, Kahlert School of ComputingE-mail confirmado em cs.utah.edu
- Ankit SinglaGoogleE-mail confirmado em ethz.ch
- Ali GhodsiUC Berkeley, DatabricksE-mail confirmado em cs.berkeley.edu
- Scott ShenkerProfessor of Computer Science, UC BerkeleyE-mail confirmado em icsi.berkeley.edu
- Dan GrossmanComputer Science, University of WashingtonE-mail confirmado em cs.washington.edu
- Thomas AndersonWarren Francis and Wilma Kolm Bradley Chair, CSE, University of WashingtonE-mail confirmado em cs.washington.edu
- Mooly SagivTel Aviv UniversityE-mail confirmado em acm.org
- Sharon ShohamTel Aviv UniversityE-mail confirmado em tauex.tau.ac.il
- Chandrakana NandiSenior Researcher, Certora Inc.E-mail confirmado em certora.com
- Michael D. ErnstProfessor of Computer Science & Engineering, University of WashingtonE-mail confirmado em cs.washington.edu
- Xi WangUniversity of WashingtonE-mail confirmado em cs.washington.edu
- Ilya SergeyAssociate Professor, National University of SingaporeE-mail confirmado em nus.edu.sg
- Alex Sanchez-SternPostdoctoral Researcher, UMass AmherstE-mail confirmado em cs.umass.edu
- Max WillseyUC BerkeleyE-mail confirmado em eecs.berkeley.edu
- Oded PadonVMware ResearchE-mail confirmado em vmware.com
- Kenneth McMillanMicrosoft ResearchE-mail confirmado em microsoft.com
- Stephen FreundComputer Science, Williams CollegeE-mail confirmado em cs.williams.edu
- Cormac FlanaganProfessor of Computer Science, University of California Santa CruzE-mail confirmado em ucsc.edu