Skapa en profil
Offentlig åtkomst
Visa alla10 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Zachary TatlockUniversity of WashingtonVerifierad e-postadress på cs.washington.edu
- Luis CezeProfessor of Computer Science and Engineering, University of WashingtonVerifierad e-postadress på cs.washington.edu
- Chandrakana NandiSenior Researcher, Certora Inc.Verifierad e-postadress på certora.com
- Karin StraussMicrosoft ResearchVerifierad e-postadress på microsoft.com
- Bichlien H NguyenVerifierad e-postadress på uw.edu
- Christopher TakahashiUniversity of washingtonVerifierad e-postadress på u.washington.edu
- Sharon S. NewmanStanford UniversityVerifierad e-postadress på stanford.edu
- Pavel PanchekhaUniversity of Utah, Kahlert School of ComputingVerifierad e-postadress på cs.utah.edu
- Dan GrossmanComputer Science, University of WashingtonVerifierad e-postadress på cs.washington.edu
- James R. WilcoxUniversity of WashingtonVerifierad e-postadress på cs.washington.edu
- sudip royGoogleVerifierad e-postadress på google.com
- Adriana SchulzUniversity of WashingtonVerifierad e-postadress på cs.washington.edu
- Christine BettsGoogleVerifierad e-postadress på google.com
- Sarang JoshiUniversity of ChicagoVerifierad e-postadress på uchicago.edu
- Eva DarulovaUppsala UniversityVerifierad e-postadress på it.uu.se
- Georg SeeligElectrical & Computer Engineering, Computer Science & Engineering, University of WashingtonVerifierad e-postadress på uw.edu
- Rastislav BodikUniversity of WashingtonVerifierad e-postadress på cs.washington.edu
- Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityVerifierad e-postadress på cs.cmu.edu
- Yihong ZhangUniversity of WashingtonVerifierad e-postadress på cs.washington.edu