Crea il mio profilo
Accesso pubblico
Visualizza tutto12 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Zachary TatlockUniversity of WashingtonEmail verificata su cs.washington.edu
- Doug WoosUniversity of WashingtonEmail verificata su cs.washington.edu
- Pavel PanchekhaUniversity of Utah, Kahlert School of ComputingEmail verificata su cs.utah.edu
- Ankit SinglaGoogleEmail verificata su ethz.ch
- Ali GhodsiUC Berkeley, DatabricksEmail verificata su cs.berkeley.edu
- Scott ShenkerProfessor of Computer Science, UC BerkeleyEmail verificata su icsi.berkeley.edu
- Dan GrossmanComputer Science, University of WashingtonEmail verificata su cs.washington.edu
- Thomas AndersonWarren Francis and Wilma Kolm Bradley Chair, CSE, University of WashingtonEmail verificata su cs.washington.edu
- Mooly SagivTel Aviv UniversityEmail verificata su acm.org
- Sharon ShohamTel Aviv UniversityEmail verificata su tauex.tau.ac.il
- Chandrakana NandiSenior Researcher, Certora Inc.Email verificata su certora.com
- Michael D. ErnstProfessor of Computer Science & Engineering, University of WashingtonEmail verificata su cs.washington.edu
- Xi WangUniversity of WashingtonEmail verificata su cs.washington.edu
- Ilya SergeyAssociate Professor, National University of SingaporeEmail verificata su nus.edu.sg
- Alex Sanchez-SternPostdoctoral Researcher, UMass AmherstEmail verificata su cs.umass.edu
- Max WillseyUC BerkeleyEmail verificata su eecs.berkeley.edu
- Oded PadonVMware ResearchEmail verificata su vmware.com
- Kenneth McMillanMicrosoft ResearchEmail verificata su microsoft.com
- Stephen FreundComputer Science, Williams CollegeEmail verificata su cs.williams.edu
- Cormac FlanaganProfessor of Computer Science, University of California Santa CruzEmail verificata su ucsc.edu