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.
  • Dominik Helm:Modular Collaborative Program Analysis.PhD thesis,Technische Universität Darmstadt, 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 , Volume P320 of GI-Edition Lecture Notes in Informatics: Proceedings , Gesellschaft für Informatik e.V. , Februar 2022 , 81-82.   Veranstaltungstitel: Software Engineering 2022.  [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 , IEEE , November 2021 .   Veranstaltungstitel: 36th IEEE/ACM International Conference on Automated Software Engineering (ASE).  [DOI]
  • Dominik Helm, Florian Kübler, Michael Reif, Michael Eichberg and Mira Mezini: Modular Collaborative Program Analysis in OPAL. In: , ACM , November 2020 , 184-196.   Veranstaltungstitel: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2020).  [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: , ACM , Juli 2020 , 428-439.   Veranstaltungstitel: ISSTA '20: 29th SIGSOFT International Symposium on Software Testing and Analysis.  [DOI]
  • Michael Reif, Florian Kübler, Dominik Helm, Ben Hermann, Michael Eichberg and Mira Mezini: TACAI: An Intermediate Representation Based on Abstract Interpretation. In: , Juni 2020 , 2-7.   Veranstaltungstitel: SOAP 2020-9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis.  [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: , August 2019 , 251-261.   preprint here: http://michael-reif.name/publications/RKE+2019Veranstaltungstitel: 28th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'19).  [DOI]
  • Dominik Helm, Florian Kübler, Michael Eichberg, Michael Reif and Mira Mezini: A unified lattice model and framework for purity analyses. In: Steffen Becker, Ivan Bogicevic, Georg Herzwurm and Stefan Wagner (eds.): Software Engineering and Software Management 2019 , Gesellschaft für Informatik e.V. , Bonn , Februar 2019 .   [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 , ACM , September 2018 , 340-350.   Veranstaltungstitel: ASE 2018.  [DOI]
  • Dominik Helm.A Framework for Modular Purity Analyses.Master's thesis,Technische Universität Darmstadt, August 2018.  
  • 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 , ACM , Juli 2018 , 113-118.   Veranstaltungstitel: SOAP 2018.  [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: ACISP 2017 , Juli 2017 .  

    • Vertretungsprofessor

    Dr.-Ing. Dominik Helm

    Universität Duisburg-Essen
    Abteilung Software Engineering
    Gerlingstraße 16
    45127 Essen
    German
    Phone: +49 201 183-4653
    E-mail:
    Room: SGW-110