Scholar
Dominik Klumpp
Google Scholar ID: CEjtTpQAAAAJ
University of Freiburg
Citations & Impact
Citations
166
H-index
7
i10-index
7
Publications
20
Co-authors
16
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Ultimate GemCutter achieved top rankings in the International Competition on Software Verification (SV-COMP) from 2022 to 2025.
- Team won 1st place in the Overall ranking of SV-COMP for three consecutive years (2023, 2024, 2025).
- Published papers at top venues including POPL’23, POPL’24, PLDI’22, CAV’25, KR’25.
- Received the Teaching Award of the Faculty of Engineering for best Computer Science lecture in summer semester 2024 for the course 'Cyber-Physical Systems II: Program Verification'.
- Organized the Alpine Verification Meeting (AVM’24) in 2024, hosting 67 researchers from the verification community.
Background
- Main research focus is on algorithmic verification of concurrent programs.
- Investigates how partial order reduction and the underlying notion of commutativity enable verification algorithms to find simpler correctness proofs for concurrent programs, thereby increasing efficiency and scalability.
- Co-developer of the Ultimate program analysis and automata theory framework.
- Implements theoretical results on commutativity in the software model checker Ultimate GemCutter.
- Also part of the development team for Ultimate Automizer.
