Dominik Winterer

12 papers A* 6Journal 5
YearRankTypeTitle / Venue / Authors
2024 J jnl
Compilation Quotient (CQ): A Metric for the Compilation Hardness of Programming Languages.
CoRR
Vince Szabo, Dominik Winterer, Zhendong Su
2024 — —
Solidifying Modern SMT Solvers.
Dominik Winterer
2024 J jnl
Validating SMT Solvers for Correctness and Performance via Grammar-Based Enumeration.
Proc. ACM Program. Lang.
Dominik Winterer, Zhendong Su
2022 A* conf
Finding and Understanding Incompleteness Bugs in SMT Solvers.
ASE
Mauro Bringolf, Dominik Winterer, Zhendong Su
2021 J jnl
Generative type-aware mutation for testing SMT solvers.
Proc. ACM Program. Lang.
Jiwon Park, Dominik Winterer, Chengyu Zhang, Zhendong Su
2020 J jnl
On the Unusual Effectiveness of Type-aware Mutations for Testing SMT Solvers.
CoRR
Dominik Winterer, Chengyu Zhang, Zhendong Su
2020 J jnl
On the unusual effectiveness of type-aware operator mutations for testing SMT solvers.
Proc. ACM Program. Lang.
Dominik Winterer, Chengyu Zhang, Zhendong Su
2020 A* conf
Validating SMT solvers via semantic fusion.
PLDI
Dominik Winterer, Chengyu Zhang, Zhendong Su
2019 A* conf
Oversubscription Planning as Classical Planning with Multiple Cost Functions.
ICAPS
Michael Katz, Emil Keyder, Dominik Winterer, Florian Pommerening
2018 A* conf
A Novel Iterative Approach to Top-k Planning.
ICAPS
Michael Katz, Shirin Sohrabi, Octavian Udrea, Dominik Winterer
2017 A* conf
Stubborn Sets for Fully Observable Nondeterministic Planning.
ICAPS
Dominik Winterer, Yusra Alkhazraji, Michael Katz, Martin Wehrle
2016 A* conf
Structural Symmetries for Fully Observable Nondeterministic Planning.
IJCAI
Dominik Winterer, Martin Wehrle, Michael Katz