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
- James R. WilcoxUniversity of WashingtonCorreu electrònic verificat a cs.washington.edu
- Adriana SchulzUniversity 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
- 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
- Manuel OriolConstructor Institute SchaffhausenCorreu electrònic verificat a constructor.org
- Aurelien MonotABB Corporate ResearchCorreu electrònic verificat a ch.abb.com
Segueix
Chandrakana Nandi
Senior Researcher, Certora Inc.
Correu electrònic verificat a certora.com - Pàgina d'inici