Mijn eigen profiel maken
Openbare toegang
Alles bekijken12 artikelen
0 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Zachary TatlockUniversity of WashingtonGeverifieerd e-mailadres voor cs.washington.edu
- Doug WoosUniversity of WashingtonGeverifieerd e-mailadres voor cs.washington.edu
- Pavel PanchekhaUniversity of Utah, Kahlert School of ComputingGeverifieerd e-mailadres voor cs.utah.edu
- Ankit SinglaGoogleGeverifieerd e-mailadres voor ethz.ch
- Ali GhodsiUC Berkeley, DatabricksGeverifieerd e-mailadres voor cs.berkeley.edu
- Scott ShenkerProfessor of Computer Science, UC BerkeleyGeverifieerd e-mailadres voor icsi.berkeley.edu
- Dan GrossmanComputer Science, University of WashingtonGeverifieerd e-mailadres voor cs.washington.edu
- Thomas AndersonWarren Francis and Wilma Kolm Bradley Chair, CSE, University of WashingtonGeverifieerd e-mailadres voor cs.washington.edu
- Mooly SagivTel Aviv UniversityGeverifieerd e-mailadres voor acm.org
- Sharon ShohamTel Aviv UniversityGeverifieerd e-mailadres voor tauex.tau.ac.il
- Chandrakana NandiSenior Researcher, Certora Inc.Geverifieerd e-mailadres voor certora.com
- Michael D. ErnstProfessor of Computer Science & Engineering, University of WashingtonGeverifieerd e-mailadres voor cs.washington.edu
- Xi WangUniversity of WashingtonGeverifieerd e-mailadres voor cs.washington.edu
- Ilya SergeyAssociate Professor, National University of SingaporeGeverifieerd e-mailadres voor nus.edu.sg
- Alex Sanchez-SternPostdoctoral Researcher, UMass AmherstGeverifieerd e-mailadres voor cs.umass.edu
- Max WillseyUC BerkeleyGeverifieerd e-mailadres voor eecs.berkeley.edu
- Oded PadonVMware ResearchGeverifieerd e-mailadres voor vmware.com
- Kenneth McMillanMicrosoft ResearchGeverifieerd e-mailadres voor microsoft.com
- Stephen FreundComputer Science, Williams CollegeGeverifieerd e-mailadres voor cs.williams.edu
- Cormac FlanaganProfessor of Computer Science, University of California Santa CruzGeverifieerd e-mailadres voor ucsc.edu