Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 730 | 718 |
Índice h | 11 | 11 |
Índice i10 | 12 | 12 |
Acceso público
Ver todo10 artículos
0 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- Zachary TatlockUniversity of WashingtonDirección de correo verificada de cs.washington.edu
- Luis CezeProfessor of Computer Science and Engineering, University of WashingtonDirección de correo verificada de cs.washington.edu
- Chandrakana NandiSenior Researcher, Certora Inc.Dirección de correo verificada de certora.com
- Karin StraussMicrosoft ResearchDirección de correo verificada de microsoft.com
- Bichlien H NguyenDirección de correo verificada de uw.edu
- Christopher TakahashiUniversity of washingtonDirección de correo verificada de u.washington.edu
- Sharon S. NewmanStanford UniversityDirección de correo verificada de stanford.edu
- Pavel PanchekhaUniversity of Utah, Kahlert School of ComputingDirección de correo verificada de cs.utah.edu
- Dan GrossmanComputer Science, University of WashingtonDirección de correo verificada de cs.washington.edu
- James R. WilcoxUniversity of WashingtonDirección de correo verificada de cs.washington.edu
- sudip royGoogleDirección de correo verificada de google.com
- Adriana SchulzUniversity of WashingtonDirección de correo verificada de cs.washington.edu
- Christine BettsGoogleDirección de correo verificada de google.com
- Sarang JoshiUniversity of ChicagoDirección de correo verificada de uchicago.edu
- Eva DarulovaUppsala UniversityDirección de correo verificada de it.uu.se
- Georg SeeligElectrical & Computer Engineering, Computer Science & Engineering, University of WashingtonDirección de correo verificada de uw.edu
- Rastislav BodikUniversity of WashingtonDirección de correo verificada de cs.washington.edu
- Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityDirección de correo verificada de cs.cmu.edu
- Yihong ZhangUniversity of WashingtonDirección de correo verificada de cs.washington.edu