Dominik Helm
Postdoctoral Researcher
I'm a postdoctoral researcher at SSE. My current research is on modularization and automatic parallelization of collaborative static analyses in order to improve the precision, soundness, and scalability of static analyses. In particular, I work on the OPAL static analysis framework for Java VM bytecode in order to improve analyses to find bugs and security vulnerabilities. Analyses I have been working on include purity and immutability analyses as well as modular, feature-consistent call graphs.
I'm currently the lead maintainer of the OPAL static analysis framework.
Contact
E-Mail: dominik.helmcs.tu-dortmundde
Telephon: -
Office Hours: No general office hours. Please send an e-mail for an individual appointment.
Profiles
ORCID: 0009-0004-6425-8630

Areas of Interest
- Software security and quality
- Modular static analyses
- Quality of program analyses
Publications
AXA: Cross-Language Analysis through Integration of Single-Language Analyses
Tobias Roth, Julius Näumann, Dominik Helm, Sven Keidel, Mira Mezini
In 2024 39th IEEE/ACM International Conference on Automated Software Engineering (ASE 2024).
DOI: https://doi.org/10.1145/3691620.3696193
Artifact: https://doi.org/10.5281/zenodo.13364690
Total Recall? How Good are Static Call Graphs Really?
Dominik Helm, Sven Keidel, Anemone Kampkötter, Johannes Düsing, Tobias Roth, Ben Hermann, Mira Mezini
In Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2024).
DOI: https://doi.org/10.1145/3650212.3652114
Artifact: https://doi.org/10.5281/zenodo.10888532
- Preprint PDF (1 MB)
Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features
Dominik Helm, Tobias Roth, Sven Keidel, Michael Reif, Mira Mezini
In Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2024).
DOI: https://doi.org/10.1145/3650212.3652109
Artifact: https://doi.org/10.5281/zenodo.10890011
A Modular Soundness Theory for the Blackboard Analysis Architecture
Sven Keidel, Dominik Helm, Tobias Roth, Mira Mezini
In Programming Languages and Systems, 33rd European Symposium on Programming (ESOP 2024).
DOI: https://doi.org/10.1007/978-3-031-57267-8_14
Modular Collaborative Program Analysis
Dominik Helm
Ph.D. Thesis, Technische Universität Darmstadt
DOI: https://doi.org/10.26083/tuprints-00023220
Academic Activities
Reviewing:
- ICSE'26
- JSS (2025)
- ISSTA'25
- STATIC'25
- ECOOP'25 (invited by Mira Mezini)
- ISSTA'24
- ECOOP'24 (invited by Mira Mezini)
- TSE (2023)
- OOPSLA'23 (invited by Mira Mezini & External Review Committee)
- ASE'22 Artifact Evaluation
- ESEC/FSE'22 (invited by Mira Mezini)
- PLDI'22 (invited by Mira Mezini)
- ECOOP'22 (invited by Sven Keidel)
- ICSE'22 (invited by MIra Mezini)
- OOPSLA'21 (invited by Mira Mezini)
Teaching
Winter 2024/25 |
|
Summer 2024 |
|
Winter 2023/24 |
|
Summer 2023 |
|
Winter 2022/23 |
|
Winter 2021/22 |
|
Winter 2020/21 |
|
Winter 2019/20 |
|
Winter 2018/19 |
|