
Dr.-Ing. Dominik Helm
Software Technology Group
Contact
dominik.helm@tu-...
work +49 6151 16-21369
Work
S2|02 A216
Hochschulstr. 10
64289
Darmstadt
I am a (post-)doctoral researcher at the Software Technology Group at TU Darmstadt since 2018. I work on modularization and automatic parallelization of collaborative static analyses in order to improve the precision, soundness, and performance of static analyses. In particular, I work on the 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-rich call graphs. OPAL static analysis framework
I am currently the lead maintainer of the . OPAL static analysis framework
Projects
Teaching
Term | Courses |
Summer 2023 |
|
Winter 2022/23 |
|
Winter 2021/22 |
|
Winter 2020/21 |
|
Winter 2019/20 |
|
Winter 2018/19 |
|
2022/03/01
Bachelor Thesis, Master Thesis
OPAL is a comprehensive library for static analyses that is developed in Scala to facilitate the writing of a wide range of different kinds of analyses. OPAL supports the development of analyses ranging from bug/bug pattern detection up to full-scale data-flow analyses.
In the context of this project we are always searching for students who are interested in static analysis and want to implement them using Scala. Topics of interest are, e.g., to develop needed base static analyses such as Call Graph Algorithm, analyses to find security issues or to visualize software.
If you are interested in OPAL, do not hesitate to contact Dominik Helm. For further information, you can also go to The OPAL Project
Examiner: Prof. Dr.-Ing. Mira Mezini
Supervisors: Dr.-Ing. Dominik Helm, Tobias Roth, M.Sc.
Publications

Error on loading data
An error has occured when loading publications data from TUbiblio. Please try again later.
-
{{ year }}
-
; {{ creator.name.family }}, {{ creator.name.given }}{{ publication.title }}. ({{ labels[publication.doc_status] }})
; {{ editor.name.family }}, {{ editor.name.given }} (eds.); ; {{ creator }} (Corporate Creator) ({{ publication.date.toString().substring(0,4) }}):
In: {{ publication.series }}, {{ publication.volume }}, In: {{ publication.book_title }}, In: {{ publication.publication }}, {{ publication.journal_volume}} ({{ publication.number }}), ppp. {{ publication.pagerange }}, {{ publication.place_of_pub }}, {{ publication.publisher }}, {{ publication.institution }}, {{ publication.event_title }}, {{ publication.event_location }}, {{ publication.event_dates }}, ISSN {{ publication.issn }}, e-ISSN {{ publication.eissn }}, ISBN {{ publication.isbn }}, DOI: {{ publication.doi.toString().replace('http://','').replace('https://','').replace('dx.doi.org/','').replace('doi.org/','').replace('doi.org','').replace("DOI: ", "").replace("doi:", "") }}, Official URL, [{{ labels[publication.type]?labels[publication.type]:publication.type }}] - […]
-
Number of items in this list: >{{ publicationsList.length }}
Only the {{publicationsList.length}} latest publications are displayed here.