Dominik Winterer
 |
Ph.D. Student |
I'm a Ph.D. student advised by Prof. Zhendong Su at ETH Zurich and a member of the AST lab. I'm interested in formal methods problems in Programming Languages and Software Engineering. Before my Ph.D. studies, I did research in Automated Planning (branch of symbolic AI).
Currently, I'm developing tools for stress-testing SMT solvers in the
Yin-Yang project.
Check out @testsmt for our most recent bug findings in Z3 and CVC4!
News
Jul 31, 2020 Our paper on Type-aware Operator mutation was conditionally accepted at OOPSLA!
May 13, 2020 Our paper on Semantic Fusion won a distinguished paper award at PLDI 2020!
May 12, 2020 I'll be a student volunteer at PLDI 2020
Publications
On the Unusual Effectiveness of Type-aware Mutations for Testing SMT Solvers
Dominik Winterer*, Chengyu Zhang*, Zhendong Su
In Proceedings of SPLASH/OOPSLA 2020
* Both authors contributed equally.
Validating SMT Solvers via Semantic Fusion
Dominik Winterer*, Chengyu Zhang*, Zhendong Su
In Proceedings of PLDI 2020
* Both authors contributed equally.
Distinguished Paper Award
[slides | video abstract | talk video]
Teaching
Teaching Assistant at ETH Zurich
Data Modelling and Databases Spring 2020
Research Topics in Software Engineering Spring 2020
Compiler Design, Fall 2019, 2020
Teaching Assistant at University of Konstanz
Decision Procedures Fall 2018
Student Teaching Assistant at University of Freiburg
Model Checking Fall 2016
Theoretical Computer Science Fall 2016
(Co-)supervised Theses
Dylan Wolff (Master thesis, ongoing)
Services
Subreviewer ICAPS '18