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

ESEC/FSE 2023	Committee Member in Program Committee within the Industry Papers-track
FTfJP 2023	Steering Committee Member in Organizing Committee within the FTfJP 2023-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