Dieses Bild zeigt Dominik Helm

Dominik Helm

Herr Dr.-Ing.

Postdoc, Wissenschaftlicher Mitarbeiter
ISTE - Institut für Software Engineering
ESE - Empirisches Software Engineering

Kontakt

+49 711 685 88338
 +49 711 685 88380

Universitätsstraße 38
70569 Stuttgart
Deutschland
Raum: 1.232

Fachgebiet

Ich bin zur Zeit wissenschaftlicher Mitarbeiter in der SSE-Gruppe. 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 sowie des JCG Frameworks für die Qualitätsmessung von Call-Graph-Analysen.

Forschungsschwerpunkte
  • Softwaresicherheit und -qualität
  • Modulare statische Analysen
  • Qualität von Programmanalysen

  1. 2025

    1. Roth, T., Näumann, J., Helm, D., Keidel, S., & Mezini, M. (2025). AXA: Cross-Language Analysis through Integration of Single-Language Analyses. Software Engineering 2025. https://doi.org/10.18420/se2025-29
    2. Helm, D., Keidel, S., Kampkötter, A., Düsing, J., Roth, T., Hermann, B., & Mezini, M. (2025). Total Recall? How Good are Static Call Graphs Really? Software Engineering 2025. https://doi.org/10.18420/se2025-28
    3. Helm, D., Roth, T., Keidel, S., Reif, M., & Mezini, M. (2025). Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features. Software Engineering 2025. https://doi.org/10.18420/se2025-15

  2. 2024

    1. Helm, D., Roth, T., Keidel, S., Reif, M., & Mezini, M. (2024). Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features. 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis. https://doi.org/10.1145/3650212.3652109
    2. Helm, D., Keidel, S., Kampkötter, A., Düsing, J., Roth, T., Hermann, B., & Mezini, M. (2024). Total Recall? How Good are Static Call Graphs Really? 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis. https://doi.org/10.1145/3650212.3652114
    3. Helm, D. (2024). Modular Collaborative Program Analysis. Ernst Denert Software-Engineering-Preis. https://dl.gi.de/items/36ee6ce8-ebd0-4dfe-8249-8f125104cf0b
    4. Roth, T., Näumann, J., Helm, D., Keidel, S., & Mezini, M. (2024). AXA: Cross-Language Analysis through Integration of Single-Language Analyses. 2024 39th IEEE/ACM International Conference on Automated Software Engineering. https://doi.org/10.1145/3691620.3696193
    5. Keidel, S., Helm, D., Roth, T., & Mezini, M. (2024). A Modular Soundness Theory for the Blackboard Analysis Architecture. 33rd European Symposium on Programming, 361–390. https://doi.org/10.1007/978-3-031-57267-8_14

  3. 2023

    1. Helm, D. (2023). Modular Collaborative Program Analysis. https://doi.org/10.26083/tuprints-00023220

  4. 2022

    1. Roth, T., Helm, D., Reif, M., & Mezini, M. (2022). CiFi: Versatile Analysis of Class and Field Immutability. Software Engineering 2022, 81–82. https://doi.org/10.18420/se2022-ws-027

  5. 2021

    1. Roth, T., Helm, D., Reif, M., & Mezini, M. (2021). CiFi: Versatile Analysis of Class and Field Immutability. 2021 36th IEEE/ACM International Conference on Automated Software Engineering, 979–990. https://doi.org/10.1109/ASE51524.2021.9678903

  6. 2020

    1. Helm, D., Kübler, F., Kölzer, J. T., Haller, P., Eichberg, M., Salvaneschi, G., & Mezini, M. (2020). A Programming Model for Semi-implicit Parallelization of Static Analyses. Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 428–439. https://doi.org/10.1145/3395363.3397367
    2. Reif, M., Kübler, F., Helm, D., Hermann, B., Eichberg, M., & Mezini, M. (2020). TACAI: An Intermediate Representation Based on Abstract Interpretation. Proceedings of the 9th ACM SIGPLAN International Workshop on the State of the Art in Program Analysis, 2–7. https://doi.org/10.1145/3394451.3397204
    3. Helm, D., Kübler, F., Reif, M., Eichberg, M., & Mezini, M. (2020). Modular Collaborative Program Analysis in OPAL. Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 184–196. https://doi.org/10.1145/3368089.3409765

  7. 2019

    1. Helm, D., Kübler, F., Eichberg, M., Reif, M., & Mezini, M. (2019). A Unified Lattice Model and Framework for Purity Analyses. Software Engineering and Software Management 2019, 51–52. https://doi.org/10.18420/se2019-10
    2. Reif, M., Kübler, F., Eichberg, M., Helm, D., & Mezini, M. (2019). Judge: Identifying, Understanding, and Evaluating Sources of Unsoundness in Call Graphs. Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 251–261. https://doi.org/10.1145/3293882.3330555

  8. 2018

    1. Eichberg, M., Kübler, F., Helm, D., Reif, M., Salvaneschi, G., & Mezini, M. (2018). Lattice Based Modularization of Static Analyses. Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 113–118. https://doi.org/10.1145/3236454.3236509
    2. Helm, D., Kübler, F., Eichberg, M., Reif, M., & Mezini, M. (2018). A Unified Lattice Model and Framework for Purity Analyses. Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 340–350. https://doi.org/10.1145/3238147.3238226

  9. 2017

    1. Erwig, A., Fischlin, M., Hald, M., Helm, D., Kiel, R., Kübler, F., Kümmerlin, M., Laenge, J., & Rohrbach, F. (2017). Redactable Graph Hashing, Revisited. 22nd Australasian Conference on Information Security and Privacy, 398–405. https://doi.org/10.1007/978-3-319-59870-3_24

Winter 2025/26
(TU Dortmund)
  • Vertretungsdozent 'Typesystems for Correctness and Security'

Winter 2024/25
(Uni Duisburg-Essen)
  • Dozent 'Software Engineering'
  • Dozent 'Type Systems'
  • Betreuer im 'Bachelorprojekt'
Sommer 2024
(Uni Duisburg-Essen)
  • Dozent 'Qualitätssicherung und Qualitätsmanagement'
  • Dozent 'Programmanalyse'
  • Betreuer im 'Bachelorproject'
Winter 2023/24
(TU Darmstadt)
  • 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 'Foundations of Static Analysis'
  • Themenbetreuer 'String analysis for the JVM' in 'Implementation of Modern Programming Languages'
Sommer 2023
(TU Darmstadt)
  • Themenbetreuer 'Flexible analyses for OPAL data structures' in 'Software Development Tools'
Winter 2022/23
(TU Darmstadt)
  • Project Management Workshop im 'Software Engineering Project'
  • Gruppenbetreuer für die Gruppe re:Place im 'Software Engineering Project'
Winter 2021/22
(TU Darmstadt)
  • Dozent 'Programmnalyse'
  • 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
(TU Darmstadt)
  • Gruppenbetreuer für die Gruppe Megaphone Technologies im 'Software Engineering Project'
Winter 2019/20
(TU Darmstadt)
  • Dozent 'Applied Static Analysis'
  • Gruppenbetreuer für die Gruppe Die ConTrolle im 'Software Engineering Project'
  • Lehrassistenz 'Software Engineering'
Winter 2018/19
(TU Darmstadt)
  • Lehrassistzenz 'Software Engineering'
Zum Seitenanfang