Werner Dietl

Registered user since Sun 11 Sep 2016

Name:Werner Dietl
Country:Canada
Affiliation:University of Waterloo

Contributions

ESEC/FSE 2023 Committee Member in Program Committee within the Industry Papers-track
FTfJP 2022 Committee Member in Organizing Committee within the FTfJP 2022-track
Steering Committee Member in Steering Committee within the FTfJP-track
SPLASH 2021 Author of Scalability and Precision by Combining Expressive Type Systems and Deductive Verification within the Posters-track
Author of Scalability and Precision by Combining Expressive Type Systems and Deductive Verification within the OOPSLA-track
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
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)
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
ESEC/FSE 2020 Committee Member in Program Committee within the Industry Papers-track
FTfJP 2020 Steering Committee Member in Steering Commitee within the FTfJP-track
SPLASH 2019 Committee Member in External Review Committee within the OOPSLA-track
FTfJP 2019 Steering Committee Member in Steering Commitee within the FTfJP 2019-track
SPLASH 2018 Session Chair of Parallelism and Correctness (part of OOPSLA)
FTfJP 2018 Committee Member in Steering Committee within the FTfJP-track
ECOOP 2017 Workshop Chair in Organizing Committee
Committee member in Organizing Committee within the ECOOP Workshops-track
CC 2017 Author of Granullar: Gradual Nullable Types for Java within the Research Papers-track
SPLASH 2016 Committee Member in Program Committee within the Workshops-track
ECOOP 2016 Committee Member in Program Committee within the Research Track-track
SPLASH 2015 Committee Member in Program Committee within the OOPSLA-track
Session Chair of 8. Static Analysis (part of OOPSLA)
ETX 2015 Committee Member in Program Committee within the ETX-track
Committee Member in Program Committee
ECOOP 2015 Session Chair of Analysis I (part of Research Track)
Committee Member in Programme Committee within the Research Track-track
FTfJP 2015 Committee Member in Steering Committee within the FTfJP-track
ETX Committee Member in Program Committee
Committee Member in Program Committee within the ETX-track
SPLASH 2012 Author of Reim & ReImInfer: checking and inference of reference immutability and method purity within the OOPSLA Research Papers-track