Crea el meu perfil
Accés públic
Mostra-ho tot12 articles
0 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Zachary TatlockUniversity of WashingtonCorreu electrònic verificat a cs.washington.edu
- Doug WoosUniversity of WashingtonCorreu electrònic verificat a cs.washington.edu
- Pavel PanchekhaUniversity of Utah, Kahlert School of ComputingCorreu electrònic verificat a cs.utah.edu
- Ankit SinglaGoogleCorreu electrònic verificat a ethz.ch
- Ali GhodsiUC Berkeley, DatabricksCorreu electrònic verificat a cs.berkeley.edu
- Scott ShenkerProfessor of Computer Science, UC BerkeleyCorreu electrònic verificat a icsi.berkeley.edu
- Dan GrossmanComputer Science, University of WashingtonCorreu electrònic verificat a cs.washington.edu
- Thomas AndersonWarren Francis and Wilma Kolm Bradley Chair, CSE, University of WashingtonCorreu electrònic verificat a cs.washington.edu
- Mooly SagivTel Aviv UniversityCorreu electrònic verificat a acm.org
- Sharon ShohamTel Aviv UniversityCorreu electrònic verificat a tauex.tau.ac.il
- Chandrakana NandiSenior Researcher, Certora Inc.Correu electrònic verificat a certora.com
- Michael D. ErnstProfessor of Computer Science & Engineering, University of WashingtonCorreu electrònic verificat a cs.washington.edu
- Xi WangUniversity of WashingtonCorreu electrònic verificat a cs.washington.edu
- Ilya SergeyAssociate Professor, National University of SingaporeCorreu electrònic verificat a nus.edu.sg
- Alex Sanchez-SternResearch Assistant, UC San DiegoCorreu electrònic verificat a eng.ucsd.edu
- Max WillseyUC BerkeleyCorreu electrònic verificat a eecs.berkeley.edu
- Oded PadonVMware ResearchCorreu electrònic verificat a vmware.com
- Kenneth McMillanMicrosoft ResearchCorreu electrònic verificat a microsoft.com
- Stephen FreundComputer Science, Williams CollegeCorreu electrònic verificat a cs.williams.edu
- Cormac FlanaganProfessor of Computer Science, University of California Santa CruzCorreu electrònic verificat a ucsc.edu