This image showsDominik Helm

Dominik Helm

Dr.-Ing.

Postdoc, Lecturer and Researcher
ISTE - Institute of Software Engineering
ESE - Empirical Software Engineering

Contact

+49 711 685 88338
 +49 711 685 88380

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

Subject

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 as well as the JCG framework for call-graph quality analysis.

Areas of Interest
  • Software security and quality
  • Modular static analyses
  • Quality of program analyses

  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. 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
    4. Helm, D. (2024). Modular Collaborative Program Analysis. Ernst Denert Software-Engineering-Preis. https://dl.gi.de/items/36ee6ce8-ebd0-4dfe-8249-8f125104cf0b
    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)
  • Assistant Lecturer for 'Typesystems for Correctness and Security'

Winter 2024/25
(Uni Duisburg-Essen)
  • Lecturer for 'Software Engineering'
  • Lecturer for 'Type Systems'
  • Supervisor for 'Bachelorproject'
Summer 2024
(Uni Duisburg-Essen)
  • Lecturer for 'Quality Assurance and Quality Management'
  • Lecturer for 'Program Analysis'
  • Supervisor for 'Bachelorproject'
Winter 2023/24
(TU Darmstadt)
  • Lecturer for 'Software Engineering'
  • Project Management Workshop in 'Software Engineering Project'
  • Advisor for the team Cockpit Crew in 'Software Engineering Project'
  • Topic instructor 'Call-Graph Challenges in Dynamic Languages' in 'Foundations of Static Analysis'
  • Topic instructor 'String analysis for the JVM' in 'Implementation of Modern Programming Languages'
Summer 2023
(TU Darmstadt)
  • Topic instructor 'Flexible analyses for OPAL data structures' in 'Software Development Tools'
Winter 2022/23
(TU Darmstadt)
  • Project Management Workshop in 'Software Engineering Project'
  • Advisor for the team re:Place in 'Software Engineering Project'
Winter 2021/22
(TU Darmstadt)
  • Lecturer for 'Program Analysis'
  • Project Management Workshop in 'Software Engineering Project'
  • Advisor for the team Seresy in 'Software Engineering Project'
  • Topic instructor 'Java 17 Support for OPAL' in 'Software Development Tools'
Winter 2020/21
(TU Darmstadt)
  • Advisor for the team Megaphone Technologies in 'Software Engineering Project'
Winter 2019/20
(TU Darmstadt)
  • Lecturer for 'Applied Static Analysis'
  • Advisor for the team Die ConTrolle in 'Software Engineering Project'
  • Teaching Assistant 'Software Engineering'
Winter 2018/19
(TU Darmstadt)
  • Teaching Assistant 'Software Engineering'
To the top of the page