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