Werner Dietl

Registered user since Sun 11 Sep 2016

Name:Werner Dietl
Affiliation:University of Waterloo

Contributions

FTfJP 2021 Steering Committee Member in Steering Committee within the FTfJP-track
Author of Ensuring correct cryptographic algorithm and provider usage at compile time within the FTfJP-track
FTfJP 2020 Steering Committee Member in Steering Commitee within the FTfJP-track
ECOOP 2021 PC Member in Program Committee within the ECOOP Technical Papers-track
Session Chair of Program Analysis / Runtimes (time band 2) (part of ECOOP Technical Papers)
Session Chair of Types (time band 2) (part of ECOOP Technical Papers)
ESEC/FSE 2020 Committee Member in Program Committee within the Industry Papers-track
SPLASH 2020 Author of Precise Inference of Expressive Units of Measurement Types within the OOPSLA-track
Author of Precise Inference of Expressive Units of Measurement Types within the Posters-track
Author of Precise Inference of Expressive Units of Measurement Types within the OOPSLA Artifacts-track
FTfJP 2019 Steering Committee Member in Steering Commitee within the FTfJP 2019-track
SPLASH 2019 Committee Member in External Review Committee within the OOPSLA-track
FTfJP 2018 Committee Member in Steering Committee within the FTfJP-track
SPLASH 2018 Session Chair of Parallelism and Correctness (part of OOPSLA)
CC 2017 Author of Granullar: Gradual Nullable Types for Java within the Research Papers-track
ECOOP 2017 Workshop Chair in Organizing Committee
Committee member in Organizing Committee within the ECOOP Workshops-track
ECOOP 2016 Committee Member in Program Committee within the Research Track-track
ETX 2015 Committee Member in Program Committee within the ETX-track
Committee Member in Program Committee
SPLASH 2016 Committee Member in Program Committee within the Workshops-track
FTfJP 2015 Committee Member in Steering Committee within the FTfJP-track
SPLASH 2015 Committee Member in Program Committee within the OOPSLA-track
Session Chair of 8. Static Analysis (part of OOPSLA)
ETX Committee Member in Program Committee
Committee Member in Program Committee within the ETX-track
ECOOP 2015 Session Chair of Analysis I (part of Research Track)
Committee Member in Programme Committee within the Research Track-track
SPLASH 2012 Author of Reim & ReImInfer: checking and inference of reference immutability and method purity within the OOPSLA Research Papers-track