HomepageAbout Us TeamDr. Dominik Helm

Dr. Dominik Helm

Dominik Helm is interim professor for Software Engineering at the University of Duisburg-Essen. His 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, he works on the OPAL static analysis framework for Java VM bytecode in order to improve analyses to find bugs and security vulnerabilities. Analyses he has been working on include purity and immutability analyses as well as modular, feature-consistent call graphs.

He is currently the lead maintainer of the OPAL static analysis framework.

Research Areas

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

Publications

Filterung nach mehreren Suchwörtern möglich, getrennt durch Leerzeichen.
  • Tobias Roth, Julius Näumann, Dominik Helm, Sven Keidel and Mira Mezini: AXA: Cross-Language Analysis through Integration of Single-Language Analyses. In: 2024 39th IEEE/ACM International Conference on Automated Software Engineering ASE'24 , ACM , 2024 .  
  • Dominik Helm, Sven Keidel, Anemone Kampkötter, Johannes Düsing, Tobias Roth, Ben Hermann and Mira Mezini: Total Recall? How Good are Static Call Graphs Really?. In: 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis ISSTA'24 , ACM , 2024 , 112-123.   [DOI]
  • Dominik Helm, Tobias Roth, Sven Keidel, Michael Reif and Mira Mezini: Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features. In: 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis ISSTA'24 , ACM , 2024 , 51-62.   [DOI]
  • Dominik Helm: Modular Collaborative Program Analysis. In: Ernst Denert Software-Engineering-Preis Softwaretechnik-Trends , Gesellschaft für Informatik , 2024 .  
  • Sven Keidel, Dominik Helm, Tobias Roth and Mira Mezini: A Modular Soundness Theory for the Blackboard Analysis Architecture. In: 33rd European Symposium on Programming ESOP'24 , Springer , 2024 , 361-390.   [DOI]
  • Dominik Helm:Modular Collaborative Program Analysis.PhD thesis,Technische Universität Darmstadt, 2023.   [DOI]
  • Tobias Roth, Dominik Helm, Michael Reif and Mira Mezini: CiFi: Versatile Analysis of Class and Field Immutability. In: Software Engineering 2022: Fachtagung des GI-Fachbereichs Softwaretechnik SE'22 , Gesellschaft für Informatik e.V. , 2022 , 81-82.   [DOI]
  • Tobias Roth, Dominik Helm, Michael Reif and Mira Mezini: CiFi: Versatile Analysis of Class and Field Immutability. In: Proceedings: 2021 36th IEEE/ACM International Conference on Automated Software Engineering ASE'21 , IEEE , 2021 , 979-990.   [DOI]
  • Dominik Helm, Florian Kübler, Jan Thomas Kölzer, Philipp Haller, Michael Eichberg, Guido Salvaneschi and Mira Mezini: A Programming Model for Semi-implicit Parallelization of Static Analyses. In: Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis ISSTA'20 , ACM , 2020 , 428-439.   [DOI]
  • Dominik Helm, Florian Kübler, Michael Reif, Michael Eichberg and Mira Mezini: Modular Collaborative Program Analysis in OPAL. In: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering ESEC/FSE'20 , ACM , 2020 , 184-196.   [DOI]
  • Michael Reif, Florian Kübler, Dominik Helm, Ben Hermann, Michael Eichberg and Mira Mezini: TACAI: An Intermediate Representation Based on Abstract Interpretation. In: Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis SOAP'20 , ACM , 2020 , 2-7.   [DOI]
  • Michael Reif, Florian Kübler, Michael Eichberg, Dominik Helm and Mira Mezini: Judge: Identifying, Understanding, and Evaluating Sources of Unsoundness in Call Graphs. In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis ISSTA'19 , ACM , 2019 , 251-261.   [DOI]
  • Dominik Helm, Florian Kübler, Michael Eichberg, Michael Reif and Mira Mezini: A unified lattice model and framework for purity analyses. In: Software Engineering and Software Management 2019 SE'19 , Gesellschaft für Informatik e.V. , 2019 , 51-52.   [DOI]
  • Dominik Helm, Florian Kübler, Michael Eichberg, Michael Reif and Mira Mezini: A unified lattice model and framework for purity analyses. In: Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering ASE'18 , ACM , 2018 , 340-350.   [DOI]
  • Michael Eichberg, Florian Kübler, Dominik Helm, Michael Reif, Guido Salvaneschi and Mira Mezini: Lattice Based Modularization of Static Analyses. In: Companion Proceedings for the ISSTA/ECOOP 2018 Workshops SOAP'18 , ACM , 2018 , 113-118.   [DOI]
  • Andreas Erwig, Marc Fischlin, Martin Hald, Dominik Helm, Robert Kiel, Florian Kübler, Michael Kümmerlin, Jakob Laenge and Felix Rohrbach: Redactable Graph Hashing, Revisited. In: 22nd Australasian Conference on Information Security and Privacy ACISP'17 , Springer , 2017 , 398-405.   [DOI]