Crea el meu perfil
Accés públic
Mostra-ho tot9 articles
0 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
Zachary TatlockUniversity of WashingtonCorreu electrònic verificat a cs.washington.edu- Max WillseyUC BerkeleyCorreu electrònic verificat a eecs.berkeley.edu
- Dan GrossmanComputer Science, University of WashingtonCorreu electrònic verificat a cs.washington.edu
- Pavel PanchekhaUniversity of Utah, Kahlert School of ComputingCorreu electrònic verificat a cs.utah.edu
- Remy WangAssistant Professor of Computer Science, UCLACorreu electrònic verificat a cs.ucla.edu
- Adriana SchulzUniversity of WashingtonCorreu electrònic verificat a cs.washington.edu
- James R. WilcoxUniversity of WashingtonCorreu electrònic verificat a cs.washington.edu
- Brett SaikiStudent, University of WashingtonCorreu electrònic verificat a cs.washington.edu
- Eva DarulovaUppsala UniversityCorreu electrònic verificat a it.uu.se
- Haisen ZhaoProfessor of Shandong UniversityCorreu electrònic verificat a sdu.edu.cn
- Jeffrey LiptonProfessor, University of WashingtonCorreu electrònic verificat a uw.edu
- Chenming WuBaiduCorreu electrònic verificat a mails.tsinghua.edu.cn
- Nadia PolikarpovaUCSDCorreu electrònic verificat a eng.ucsd.edu
- Kathryn S McKinleyGoogleCorreu electrònic verificat a cs.utexas.edu
- Adrian SampsonComputer Science, Cornell UniversityCorreu electrònic verificat a cornell.edu
- Todd MytkowiczMicrosoft ResearchCorreu electrònic verificat a microsoft.com
- Nadya PeekUniversity of WashingtonCorreu electrònic verificat a uw.edu
- Jasper Tran O'LearyUniversity of WashingtonCorreu electrònic verificat a cs.washington.edu
- Ryan TjoaUndergraduate, University of WashingtonCorreu electrònic verificat a cs.washington.edu
- Manuel OriolConstructor Institute SchaffhausenCorreu electrònic verificat a constructor.org
Segueix
Chandrakana Nandi
Senior Researcher, Certora Inc.
Correu electrònic verificat a certora.com - Pàgina d'inici