Skapa en profil
Offentlig åtkomst
Visa alla12 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Zachary TatlockUniversity of WashingtonVerifierad e-postadress på cs.washington.edu
- Doug WoosUniversity of WashingtonVerifierad e-postadress på cs.washington.edu
- Pavel PanchekhaUniversity of Utah, Kahlert School of ComputingVerifierad e-postadress på cs.utah.edu
- Ankit SinglaGoogleVerifierad e-postadress på ethz.ch
- Ali GhodsiUC Berkeley, DatabricksVerifierad e-postadress på cs.berkeley.edu
- Scott ShenkerProfessor of Computer Science, UC BerkeleyVerifierad e-postadress på icsi.berkeley.edu
- Dan GrossmanComputer Science, University of WashingtonVerifierad e-postadress på cs.washington.edu
- Thomas AndersonWarren Francis and Wilma Kolm Bradley Chair, CSE, University of WashingtonVerifierad e-postadress på cs.washington.edu
- Mooly SagivTel Aviv UniversityVerifierad e-postadress på acm.org
- Sharon ShohamTel Aviv UniversityVerifierad e-postadress på tauex.tau.ac.il
- Chandrakana NandiSenior Researcher, Certora Inc.Verifierad e-postadress på certora.com
- Michael D. ErnstProfessor of Computer Science & Engineering, University of WashingtonVerifierad e-postadress på cs.washington.edu
- Xi WangUniversity of WashingtonVerifierad e-postadress på cs.washington.edu
- Ilya SergeyAssociate Professor, National University of SingaporeVerifierad e-postadress på nus.edu.sg
- Alex Sanchez-SternPostdoctoral Researcher, UMass AmherstVerifierad e-postadress på cs.umass.edu
- Max WillseyUC BerkeleyVerifierad e-postadress på eecs.berkeley.edu
- Oded PadonVMware ResearchVerifierad e-postadress på vmware.com
- Kenneth McMillanMicrosoft ResearchVerifierad e-postadress på microsoft.com
- Stephen FreundComputer Science, Williams CollegeVerifierad e-postadress på cs.williams.edu
- Cormac FlanaganProfessor of Computer Science, University of California Santa CruzVerifierad e-postadress på ucsc.edu