Scholar
Werner Dietl
Google Scholar ID: D_5-WrcAAAAJ
Electrical and Computer Engineering, University of Waterloo
programming languages
program verification
static analysis
software engineering
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
3,109
H-index
21
i10-index
29
Publications
20
Co-authors
10
list available
Contact
No contact links provided.
Publications
1 items
Static Type Checking for Database Access Code
2026
Cited
0
Resume (English only)
Co-authors
10 total
Peter Müller
ETH Zurich
Michael D. Ernst
Professor of Computer Science & Engineering, University of Washington
Dan Grossman
Computer Science, University of Washington
Sophia Drossopoulou
Professor, Imperial College London
Co-author 5
Adrian Sampson
Computer Science, Cornell University
Ana Milanova
Rensselaer Polytechnic Institute
Co-author 8
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up