Zum Inhalt
Fakultät für Informatik
Dr.-Ing.

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

© Dominik Helm

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

Preprint

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

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

Preprint

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:

Lehre

Winter 2024/25
  • Dozent 'Software Engineering'
  • Dozent 'Typsysteme'
  • Betreuer im 'Bachelorprojekt'
Sommer 2024
  • Dozent 'Qualitätssicherung und Qualitätsmanagement'
  • Dozent 'Programmnalyse'
  • Betreuer im 'Bachelorprojekt'
Winter 2023/24
  • Dozent 'Software Engineering'
  • Project Management Workshop im 'Software Engineering Project'
  • Gruppenbetreuer für die Gruppe Cockpit Crew im 'Software Engineering Project'
  • Themenbetreuer 'Call-Graph Challenges in Dynamic Languages' in 'Grundlagen statischer Analyse'
  • Themenbetreuer 'String analysis for the JVM' in 'Implementierung moderner Programmiersprachen'
Sommer 2023
  • Themenbetreuer 'Flexible analyses for OPAL data structures' in 'Software Development Tools'
Winter 2022/23
  • Project Management Workshop im 'Software Engineering Project'
  • Gruppenbetreuer für die Gruppe re:Place im 'Software Engineering Project'
Winter 2021/22
  • Dozent 'Programmanalyse'
  • Project Management Workshop im 'Software Engineering Project'
  • Gruppenbetreuer für die Gruppe Seresy im 'Software Engineering Project'
  • Themenbetreuer 'Java 17 Support for OPAL' in 'Software Development Tools'
Winter 2020/21
  • Gruppenbetreuer für das Team Megaphone Technologies im 'Software Engineering Project'
Winter 2019/20
  • Dozent 'Applied Static Analysis'
  • Gruppenbetreuer für das Team Die ConTrolle im 'Software Engineering Project'
  • Lehrassistenz 'Software Engineering'
Winter 2018/19
  • Lehrassistenz 'Software Engineering'