Crea il mio profilo
Accesso pubblico
Visualizza tutto10 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Zachary TatlockUniversity of WashingtonEmail verificata su cs.washington.edu
- Luis CezeProfessor of Computer Science and Engineering, University of WashingtonEmail verificata su cs.washington.edu
- Chandrakana NandiSenior Researcher, Certora Inc.Email verificata su certora.com
- Karin StraussMicrosoft ResearchEmail verificata su microsoft.com
- Bichlien H NguyenEmail verificata su uw.edu
- Christopher TakahashiUniversity of washingtonEmail verificata su u.washington.edu
- Sharon S. NewmanStanford UniversityEmail verificata su stanford.edu
- Pavel PanchekhaUniversity of Utah, Kahlert School of ComputingEmail verificata su cs.utah.edu
- Dan GrossmanComputer Science, University of WashingtonEmail verificata su cs.washington.edu
- James R. WilcoxUniversity of WashingtonEmail verificata su cs.washington.edu
- sudip royGoogleEmail verificata su google.com
- Adriana SchulzUniversity of WashingtonEmail verificata su cs.washington.edu
- Christine BettsGoogleEmail verificata su google.com
- Sarang JoshiUniversity of ChicagoEmail verificata su uchicago.edu
- Eva DarulovaUppsala UniversityEmail verificata su it.uu.se
- Georg SeeligElectrical & Computer Engineering, Computer Science & Engineering, University of WashingtonEmail verificata su uw.edu
- Rastislav BodikUniversity of WashingtonEmail verificata su cs.washington.edu
- Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityEmail verificata su cs.cmu.edu
- Yihong ZhangUniversity of WashingtonEmail verificata su cs.washington.edu