내 프로필 만들기
공개 액세스
모두 보기자료 12개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
Zachary TatlockUniversity of Washingtoncs.washington.edu의 이메일 확인됨
Doug WoosUniversity of Washingtoncs.washington.edu의 이메일 확인됨
Pavel PanchekhaUniversity of Utah, Kahlert School of Computingcs.utah.edu의 이메일 확인됨
Ankit SinglaGoogleethz.ch의 이메일 확인됨
Ali GhodsiUC Berkeley, Databrickscs.berkeley.edu의 이메일 확인됨
Scott ShenkerProfessor of Computer Science, UC Berkeleyicsi.berkeley.edu의 이메일 확인됨
Dan GrossmanComputer Science, University of Washingtoncs.washington.edu의 이메일 확인됨
Thomas AndersonWarren Francis and Wilma Kolm Bradley Chair, CSE, University of Washingtoncs.washington.edu의 이메일 확인됨
Mooly SagivTel Aviv Universityacm.org의 이메일 확인됨
Sharon ShohamTel Aviv Universitytauex.tau.ac.il의 이메일 확인됨
Chandrakana NandiSenior Researcher, Certora Inc.certora.com의 이메일 확인됨
Michael D. ErnstProfessor of Computer Science & Engineering, University of Washingtoncs.washington.edu의 이메일 확인됨
Xi WangUniversity of Washingtoncs.washington.edu의 이메일 확인됨
Ilya SergeyAssociate Professor, National University of Singaporenus.edu.sg의 이메일 확인됨
Alex Sanchez-SternPostdoctoral Researcher, UMass Amherstcs.umass.edu의 이메일 확인됨
Max WillseyUC Berkeleyeecs.berkeley.edu의 이메일 확인됨
Oded PadonVMware Researchvmware.com의 이메일 확인됨
Kenneth McMillanMicrosoft Researchmicrosoft.com의 이메일 확인됨
Stephen FreundComputer Science, Williams Collegecs.williams.edu의 이메일 확인됨
Cormac FlanaganProfessor of Computer Science, University of California Santa Cruzucsc.edu의 이메일 확인됨