CUFinder

Werner Dietl

Werner Dietl

University of Waterloo

H-index: 21

North America-Canada

Contact Werner Dietl

About Werner Dietl

Werner Dietl, With an exceptional h-index of 21 and a recent h-index of 13 (since 2020), a distinguished researcher at University of Waterloo, specializes in the field of programming languages, program verification, static analysis, software engineering.

His recent articles reflect a diverse array of research interests and contributions to the field:

Scalable and Precise Refinement Types for Imperative Languages

Least-privilege calls to amazon web services

Scalability and precision by combining expressive type systems and deductive verification

Ensuring correct cryptographic algorithm and provider usage at compile time

Precise inference of expressive units of measurement types

A computational complexity analysis of tunable type inference for Generic Universe Types

Werner Dietl Information

University

Position

Electrical and Computer Engineering

Citations(all)

2896

Citations(since 2020)

797

Cited By

2517

hIndex(all)

21

hIndex(since 2020)

13

i10Index(all)

29

i10Index(since 2020)

16

Email

University Profile Page

Google Scholar

Werner Dietl Skills & Research Interests

programming languages

program verification

static analysis

software engineering

Top articles of Werner Dietl

Scalable and Precise Refinement Types for Imperative Languages

2023/11/6

Werner Dietl
Werner Dietl

H-Index: 13

Least-privilege calls to amazon web services

IEEE Transactions on Dependable and Secure Computing

2022/5/3

Puneet Gill
Puneet Gill

H-Index: 7

Werner Dietl
Werner Dietl

H-Index: 13

Mahesh Tripunitara
Mahesh Tripunitara

H-Index: 16

Scalability and precision by combining expressive type systems and deductive verification

Proceedings of the ACM on Programming Languages

2021/10/15

Alexander Weigl
Alexander Weigl

H-Index: 6

Werner Dietl
Werner Dietl

H-Index: 13

Ensuring correct cryptographic algorithm and provider usage at compile time

2021/7/13

Werner Dietl
Werner Dietl

H-Index: 13

Precise inference of expressive units of measurement types

Proceedings of the ACM on Programming Languages

2020/11/13

Tongtong Xiang
Tongtong Xiang

H-Index: 1

Werner Dietl
Werner Dietl

H-Index: 13

A computational complexity analysis of tunable type inference for Generic Universe Types

Theoretical Computer Science

2020/4/24

Nahid Juma
Nahid Juma

H-Index: 2

Werner Dietl
Werner Dietl

H-Index: 13

Mahesh Tripunitara
Mahesh Tripunitara

H-Index: 16

See List of Professors in Werner Dietl University(University of Waterloo)

Co-Authors

academic-engine

Useful Links

List of top 50 universities
List of top 100 universities
List of top 500 universities
Find Professors Email
Find Universities Email
CUFinder Academic Engine