Založit si vlastní profil
Veřejný přístup
Zobrazit všechny12 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Zachary TatlockUniversity of WashingtonE-mailová adresa ověřena na: cs.washington.edu
- Doug WoosUniversity of WashingtonE-mailová adresa ověřena na: cs.washington.edu
- Pavel PanchekhaUniversity of Utah, Kahlert School of ComputingE-mailová adresa ověřena na: cs.utah.edu
- Ankit SinglaGoogleE-mailová adresa ověřena na: ethz.ch
- Ali GhodsiUC Berkeley, DatabricksE-mailová adresa ověřena na: cs.berkeley.edu
- Scott ShenkerProfessor of Computer Science, UC BerkeleyE-mailová adresa ověřena na: icsi.berkeley.edu
- Dan GrossmanComputer Science, University of WashingtonE-mailová adresa ověřena na: cs.washington.edu
- Thomas AndersonWarren Francis and Wilma Kolm Bradley Chair, CSE, University of WashingtonE-mailová adresa ověřena na: cs.washington.edu
- Mooly SagivTel Aviv UniversityE-mailová adresa ověřena na: acm.org
- Sharon ShohamTel Aviv UniversityE-mailová adresa ověřena na: tauex.tau.ac.il
- Chandrakana NandiSenior Researcher, Certora Inc.E-mailová adresa ověřena na: certora.com
- Michael D. ErnstProfessor of Computer Science & Engineering, University of WashingtonE-mailová adresa ověřena na: cs.washington.edu
- Xi WangUniversity of WashingtonE-mailová adresa ověřena na: cs.washington.edu
- Ilya SergeyAssociate Professor, National University of SingaporeE-mailová adresa ověřena na: nus.edu.sg
- Alex Sanchez-SternPostdoctoral Researcher, UMass AmherstE-mailová adresa ověřena na: cs.umass.edu
- Max WillseyUC BerkeleyE-mailová adresa ověřena na: eecs.berkeley.edu
- Oded PadonVMware ResearchE-mailová adresa ověřena na: vmware.com
- Kenneth McMillanMicrosoft ResearchE-mailová adresa ověřena na: microsoft.com
- Stephen FreundComputer Science, Williams CollegeE-mailová adresa ověřena na: cs.williams.edu
- Cormac FlanaganProfessor of Computer Science, University of California Santa CruzE-mailová adresa ověřena na: ucsc.edu