Dominik Winterer

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 10

Top Topics

Fully Observable

Classical Planning

Modulo Theories

Top Venues

Proc. ACM Program. Lang.

Publications

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