Werner Dietl -

Registered user since Sun 11 Sep 2016

Name:Werner Dietl

Country:Canada

Affiliation:University of Waterloo

Personal website:https://ece.uwaterloo.ca/~wdietl/

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
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 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