Dominik Winterer -

Registered user since Wed 18 Dec 2019

Name:Dominik Winterer

Country:Switzerland

Affiliation:ETH Zurich

Personal website:https://wintered.github.io

Contributions

SPLASH 2021	Committee Member in Reviewers/Judges within the Student Research Competition-track
ISSTA 2021	Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
SPLASH 2020	Author of On the Unusual Effectiveness of Type-Aware Operator Mutations for Testing SMT Solvers within the OOPSLA-track Session Chair of R-6 (part of OOPSLA) Author of On the Unusual Effectiveness of Type-aware Operator Mutations for Testing SMT Solvers within the Posters-track
PLDI 2020	Author of Validating SMT Solvers via Semantic Fusion within the PLDI Research Papers-track
POPL 2020	Author of Validating SMT Solvers via Test Fusion within the Student Research Competition-track