Dominik Winterer
where else to find them
bluesky:dominikwinterer.bsky.social
speakerdeck:wintered
what they talk about
where they keep going back
- OOPSLA3 editions2020–2024
on a stage with
who talks about the same things
- Chengyu Zhang5 talks
- Zhendong Su25 talks
- Chandrakana Nandi9 talks
- Zhe Zhou13 talks
- Ondřej Lhoták11 talks
- Suresh Jagannathan16 talks
| title | conference | date |
|---|---|---|
| Validating SMT Solvers for Correctness and Performance via Grammar-based Enumeration | OOPSLA 2024 | 2024-10-20 |
ET is a grammar-based enumerator that compiles eight SMT theory grammars into algebraic datatypes and drives the FEAT enumerator to produce smallest-to-largest… | ||
| Generative Type-Aware Mutation for Testing SMT Solvers | OOPSLA 2021 | 2021-10-17 |
Generative Type-Aware Mutation implements expression mutation using SMT-LIB operator signatures to produce grammatically correct but larger mutants, realized… | ||
| On the Unusual Effectiveness of Type-Aware Operator Mutations for Testing SMT Solvers | OOPSLA 2020 | 2020-11-15 |
Proposes type-aware operator mutation: randomly replace operators with others of the same SMT-LIB type, chain mutations, and cross-check Z3 vs CVC4 to spot… | ||
| nothing matches | ||