Dominik Helm
Wissenschaftlicher Mitarbeiter (PostDoc)
I'm a postdoctoral researcher at SSE. Ich beschäftige mich aktuell mit der Modularisierung und automatischen Parallelisierung von kollaborativen statischen Analysen, um die Präzision, Soundness und Skalierbarkeit statischer Analysen zu verbessern. Insbesondere arbeite ich am OPAL Framework für statische Analysen für Java VM Bytecode, um Analysen zum Finden von Bugs und Sicherheitslücken zu verbessern. Analysen, an denen ich bisher gearbeitet habe, umfassen Purity- und Immutability-Analysen sowie modulare, feature-konsistente Callgraphen.
Ich bin aktuell leitender Entwickler des OPAL Frameworks.
Kontakt
E-Mail: dominik.helmcs.tu-dortmundde
Telefon: -
Sprechstunde: Keine allgemeine Sprechstunde. Bitte fragen Sie per Mail nach individuellen Terminen.
Profile
ORCID: 0009-0004-6425-8630

Forschungsschwerpunkte
- Softwaresicherheit und -qualität
- Modulare statische Analysen
- Qualität von Programmanalysen
Publikationen
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
Engagement
Reviews:
- 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)
Lehre
Winter 2024/25 |
|
Sommer 2024 |
|
Winter 2023/24 |
|
Sommer 2023 |
|
Winter 2022/23 |
|
Winter 2021/22 |
|
Winter 2020/21 |
|
Winter 2019/20 |
|
Winter 2018/19 |
|