Crea el meu perfil
Accés públic
Mostra-ho tot31 articles
2 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
Pavel PanchekhaUniversity of Utah, Kahlert School of ComputingCorreu electrònic verificat a cs.utah.edu- Michael D. ErnstProfessor of Computer Science & Engineering, University of WashingtonCorreu electrònic verificat a cs.washington.edu
- Sorin LernerUC San DiegoCorreu electrònic verificat a ucsd.edu
- James R. WilcoxUniversity of WashingtonCorreu electrònic verificat a cs.washington.edu
- Chandrakana NandiSenior Researcher, Certora Inc.Correu electrònic verificat a certora.com
- Doug WoosUniversity of WashingtonCorreu electrònic verificat a cs.washington.edu
- Max WillseyUC BerkeleyCorreu electrònic verificat a eecs.berkeley.edu
- Dan GrossmanComputer Science, University of WashingtonCorreu electrònic verificat a cs.washington.edu
- Jared RoeschOctoML IncCorreu electrònic verificat a cs.uw.edu
- Remy WangAssistant Professor of Computer Science, UCLACorreu electrònic verificat a cs.ucla.edu
- Thomas AndersonWarren Francis and Wilma Kolm Bradley Chair, CSE, University of WashingtonCorreu electrònic verificat a cs.washington.edu
- Xi WangUniversity of WashingtonCorreu electrònic verificat a cs.washington.edu
- Emina TorlakAmazon Web Services, University of WashingtonCorreu electrònic verificat a alum.mit.edu
- Dongseok JangPhD Student of University of California, San DiegoCorreu electrònic verificat a cs.ucsd.edu
- Alex Sanchez-SternPostdoctoral Researcher, UMass AmherstCorreu electrònic verificat a cs.umass.edu
- Josh PollockComputer Science PhD Student, MITCorreu electrònic verificat a mit.edu
- Marisa KirisamePHD Candidate, University of UtahCorreu electrònic verificat a cs.utah.edu
- Gus Henry SmithUniversity of WashingtonCorreu electrònic verificat a cs.washington.edu
- Adriana SchulzUniversity of WashingtonCorreu electrònic verificat a cs.washington.edu
- Eva DarulovaUppsala UniversityCorreu electrònic verificat a it.uu.se
