Dominik Winterer -

Registered user since Wed 18 Dec 2019

Name:Dominik Winterer

Country:Switzerland

Affiliation:ETH Zurich

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

Contributions

ASE 2022	Author of Finding and Understanding Incompleteness Bugs in SMT Solvers within the Research Papers-track
PLDI 2022	Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
POPL 2022	Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
SPLASH 2021	Committee Member in Judges within the Student Research Competition-track Author of Generative Type-Aware Mutation for Testing SMT Solvers within the OOPSLA-track Committee Member in Reviewers 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