Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 2462 | 1370 |
h-indeks | 18 | 15 |
i10-indeks | 20 | 18 |
Dostęp publiczny
Wyświetl wszystko12 artykułów
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Zachary TatlockUniversity of WashingtonZweryfikowany adres z cs.washington.edu
- Doug WoosUniversity of WashingtonZweryfikowany adres z cs.washington.edu
- Pavel PanchekhaUniversity of Utah, Kahlert School of ComputingZweryfikowany adres z cs.utah.edu
- Ankit SinglaGoogleZweryfikowany adres z ethz.ch
- Ali GhodsiUC Berkeley, DatabricksZweryfikowany adres z cs.berkeley.edu
- Scott ShenkerProfessor of Computer Science, UC BerkeleyZweryfikowany adres z icsi.berkeley.edu
- Dan GrossmanComputer Science, University of WashingtonZweryfikowany adres z cs.washington.edu
- Thomas AndersonWarren Francis and Wilma Kolm Bradley Chair, CSE, University of WashingtonZweryfikowany adres z cs.washington.edu
- Mooly SagivTel Aviv UniversityZweryfikowany adres z acm.org
- Sharon ShohamTel Aviv UniversityZweryfikowany adres z tauex.tau.ac.il
- Chandrakana NandiSenior Researcher, Certora Inc.Zweryfikowany adres z certora.com
- Michael D. ErnstProfessor of Computer Science & Engineering, University of WashingtonZweryfikowany adres z cs.washington.edu
- Xi WangUniversity of WashingtonZweryfikowany adres z cs.washington.edu
- Ilya SergeyAssociate Professor, National University of SingaporeZweryfikowany adres z nus.edu.sg
- Alex Sanchez-SternPostdoctoral Researcher, UMass AmherstZweryfikowany adres z cs.umass.edu
- Max WillseyUC BerkeleyZweryfikowany adres z eecs.berkeley.edu
- Oded PadonVMware ResearchZweryfikowany adres z vmware.com
- Kenneth McMillanMicrosoft ResearchZweryfikowany adres z microsoft.com
- Stephen FreundComputer Science, Williams CollegeZweryfikowany adres z cs.williams.edu
- Cormac FlanaganProfessor of Computer Science, University of California Santa CruzZweryfikowany adres z ucsc.edu