StartseiteÜber uns TeamDr. Dominik Helm

Dr. Dominik Helm

Dominik Helm ist Vertretungsprofessor für Software Engineering an der Universität Duisburg-Essen. Er beschäftigt sich aktuell mit der Modularisierung und automatischen Parallelisierung von kollaborativen statischen Analysen, um die Präzision, Soundness und Skalierbarkeit statischer Analysen zu verbessern. Insbesondere arbeitet er 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 er bisher gearbeitet hat, umfassen Purity- und Immutability-Analysen sowie modulare, feature-konsistente Callgraphen.

Er ist aktuell leitender Entwickler des OPAL Frameworks.

Forschungsinteressen:

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

Publikationen

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]