• Sign in
  • Sign up
conf.researchr.org / Dominik Winterer
  • ASE 2022 profile
  • ECOOP and ISSTA 2021 profile
  • PLDI 2020 profile
  • PLDI 2022 profile
  • POPL 2020 profile
  • POPL 2022 profile
  • SPLASH 2020 profile
  • SPLASH 2021 profile
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

Share
xTue 31 Jan 04:53
using conf.researchr.org (v1.58.0)
Support page
Sign Up