Get my own profile
Public access
View all12 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- Zachary TatlockUniversity of WashingtonVerified email at cs.washington.edu
- Doug WoosUniversity of WashingtonVerified email at cs.washington.edu
- Pavel PanchekhaUniversity of Utah, Kahlert School of ComputingVerified email at cs.utah.edu
- Ankit SinglaGoogleVerified email at ethz.ch
- Ali GhodsiUC Berkeley, DatabricksVerified email at cs.berkeley.edu
- Scott ShenkerProfessor of Computer Science, UC BerkeleyVerified email at icsi.berkeley.edu
- Dan GrossmanComputer Science, University of WashingtonVerified email at cs.washington.edu
- Thomas AndersonWarren Francis and Wilma Kolm Bradley Chair, CSE, University of WashingtonVerified email at cs.washington.edu
- Mooly SagivTel Aviv UniversityVerified email at acm.org
- Sharon ShohamTel Aviv UniversityVerified email at tauex.tau.ac.il
- Chandrakana NandiSenior Researcher, Certora Inc.Verified email at certora.com
- Michael D. ErnstProfessor of Computer Science & Engineering, University of WashingtonVerified email at cs.washington.edu
- Xi WangUniversity of WashingtonVerified email at cs.washington.edu
- Ilya SergeyAssociate Professor, National University of SingaporeVerified email at nus.edu.sg
- Alex Sanchez-SternPostdoctoral Researcher, UMass AmherstVerified email at cs.umass.edu
- Max WillseyUC BerkeleyVerified email at eecs.berkeley.edu
- Oded PadonVMware ResearchVerified email at vmware.com
- Kenneth McMillanMicrosoft ResearchVerified email at microsoft.com
- Stephen FreundComputer Science, Williams CollegeVerified email at cs.williams.edu
- Cormac FlanaganProfessor of Computer Science, University of California Santa CruzVerified email at ucsc.edu