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, I did research in AI Planning (a 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
May 13, 2020 Our paper on Semantic Fusion won a distinguished paper award at PLDI ’20!
May 12, 2020 I'll be a student volunteer at PLDI ’20
Publications
On the Unusual Effectiveness of Type-aware Mutations for Testing SMT Solvers
Dominik Winterer*, Chengyu Zhang*, Zhendong Su
CoRR abs/2004.08799, 2020
* Both authors contributed equally.
Validating SMT Solvers via Semantic Fusion
Dominik Winterer*, Chengyu Zhang*, Zhendong Su
In Proceedings of PLDI '20, London, UK, June 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
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