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

2024

ECOOP

General Chair in Organizing Committee

2023

ESEC/FSE

Committee Member in Program Committee within the Industry Papers-track

FTfJP

Steering Committee Member in Organizing Committee within the FTfJP 2023-track

2022

FTfJP

2021

SPLASH

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

ECOOP

2020

SPLASH

ESEC/FSE

Committee Member in Program Committee within the Industry Papers-track

FTfJP

Steering Committee Member in Steering Commitee within the FTfJP-track

2019

SPLASH

Committee Member in External Review Committee within the OOPSLA-track

FTfJP

Steering Committee Member in Steering Commitee within the FTfJP 2019-track

2018

SPLASH

Session Chair of Parallelism and Correctness (part of OOPSLA)

FTfJP

Committee Member in Steering Committee within the FTfJP-track

2017

ECOOP

CC

Author of Granullar: Gradual Nullable Types for Java within the Research Papers-track

2016

SPLASH

Committee Member in Program Committee within the Workshops-track

ECOOP

Committee Member in Program Committee within the Research Track-track

2015

SPLASH

ETX

ECOOP

FTfJP

Committee Member in Steering Committee within the FTfJP-track

2014

ETX

2012

SPLASH

Author of Reim & ReImInfer: checking and inference of reference immutability and method purity within the OOPSLA Research Papers-track