Mijn eigen profiel maken
Openbare toegang
Alles bekijken10 artikelen
0 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Zachary TatlockUniversity of WashingtonGeverifieerd e-mailadres voor cs.washington.edu
- Luis CezeProfessor of Computer Science and Engineering, University of WashingtonGeverifieerd e-mailadres voor cs.washington.edu
- Chandrakana NandiSenior Researcher, Certora Inc.Geverifieerd e-mailadres voor certora.com
- Karin StraussMicrosoft ResearchGeverifieerd e-mailadres voor microsoft.com
- Bichlien H NguyenGeverifieerd e-mailadres voor uw.edu
- Christopher TakahashiUniversity of washingtonGeverifieerd e-mailadres voor u.washington.edu
- Sharon S. NewmanStanford UniversityGeverifieerd e-mailadres voor stanford.edu
- Pavel PanchekhaUniversity of Utah, Kahlert School of ComputingGeverifieerd e-mailadres voor cs.utah.edu
- Dan GrossmanComputer Science, University of WashingtonGeverifieerd e-mailadres voor cs.washington.edu
- James R. WilcoxUniversity of WashingtonGeverifieerd e-mailadres voor cs.washington.edu
- sudip royGoogleGeverifieerd e-mailadres voor google.com
- Adriana SchulzUniversity of WashingtonGeverifieerd e-mailadres voor cs.washington.edu
- Christine BettsGoogleGeverifieerd e-mailadres voor google.com
- Sarang JoshiUniversity of ChicagoGeverifieerd e-mailadres voor uchicago.edu
- Eva DarulovaUppsala UniversityGeverifieerd e-mailadres voor it.uu.se
- Georg SeeligElectrical & Computer Engineering, Computer Science & Engineering, University of WashingtonGeverifieerd e-mailadres voor uw.edu
- Rastislav BodikUniversity of WashingtonGeverifieerd e-mailadres voor cs.washington.edu
- Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityGeverifieerd e-mailadres voor cs.cmu.edu
- Yihong ZhangUniversity of WashingtonGeverifieerd e-mailadres voor cs.washington.edu