내 프로필 만들기
공개 액세스
모두 보기자료 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-SternResearch Assistant, UC San Diegoeng.ucsd.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의 이메일 확인됨