Dominik Helm

According to our database, Dominik Helm authored at least 23 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Artifact of the paper "AXA: Cross-Language Analysis through Integration of Single-Language Analyses".

Tobias Roth, Julius Näumann, Dominik Helm, Sven Keidel, Mira Mezini

Dataset, August, 2024

Artifact of the paper "AXA: Cross-Language Analysis through Integration of Single-Language Analyses".

Tobias Roth, Julius Näumann, Dominik Helm, Sven Keidel, Mira Mezini

Dataset, August, 2024

Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features - Companion Artifact.

Dominik Helm, Tobias Roth, Sven Keidel, Michael Reif, Mira Mezini

Dataset, July, 2024

Total Recall? How Good are Static Call Graphs Really? - Companion Artifact.

Dominik Helm, Sven Keidel, Anemone Kampkötter, Johannes Düsing, Tobias Roth, Ben Hermann, Mira Mezini

Dataset, July, 2024

Modular Collaborative Program Analysis.

Dominik Helm

Softwaretechnik-Trends, May, 2024

Total Recall? How Good are Static Call Graphs Really? - Companion Artifact.

Dominik Helm, Sven Keidel, Anemone Kampkötter, Johannes Düsing, Tobias Roth, Ben Hermann, Mira Mezini

Dataset, March, 2024

AXA: Cross-Language Analysis through Integration of Single-Language Analyses.

Tobias Roth, Julius Näumann, Dominik Helm, Sven Keidel, Mira Mezini

Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024

Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features.

Dominik Helm, Tobias Roth, Sven Keidel, Michael Reif, Mira Mezini

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

Total Recall? How Good Are Static Call Graphs Really?

Dominik Helm, Sven Keidel, Anemone Kampkötter, Johannes Düsing, Tobias Roth, Ben Hermann, Mira Mezini

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

A Modular Soundness Theory for the Blackboard Analysis Architecture.

Sven Keidel, Dominik Helm, Tobias Roth, Mira Mezini

Proceedings of the Programming Languages and Systems, 2024

2023

Artifact for Paper "A Modular Soundness Theory for the Blackboard Analysis Architecture".

Sven Keidel, Dominik Helm, Tobias Roth, Mira Mezini

Dataset, December, 2023

Artifact for Paper "A Modular Soundness Theory for the Blackboard Analysis Architecture".

Sven Keidel, Dominik Helm, Tobias Roth, Mira Mezini

Dataset, December, 2023

Modular Collaborative Program Analysis.

Dominik Helm

PhD thesis, 2023

2021

CiFi: Versatile Analysis of Class and Field Immutability.

Tobias Roth, Dominik Helm, Michael Reif, Mira Mezini

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

2020

Evaluation Results for Modular Collaborative Program Analysis in OPAL.

Dominik Helm, Florian Kübler, Michael Reif, Michael Eichberg, Mira Mezini

Dataset, August, 2020

Artifact for Modular Collaborative Program Analysis in OPAL.

Dominik Helm, Florian Kübler, Michael Reif, Michael Eichberg, Mira Mezini

Dataset, June, 2020

Modular collaborative program analysis in OPAL.

Dominik Helm, Florian Kübler, Michael Reif, Michael Eichberg, Mira Mezini

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

TACAI: an intermediate representation based on abstract interpretation.

Michael Reif, Florian Kübler, Dominik Helm, Ben Hermann, Michael Eichberg, Mira Mezini

Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2020

A programming model for semi-implicit parallelization of static analyses.

Dominik Helm, Florian Kübler, Jan Thomas Kölzer, Philipp Haller, Michael Eichberg, Guido Salvaneschi, Mira Mezini

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

2019

Judge: identifying, understanding, and evaluating sources of unsoundness in call graphs.

Michael Reif, Florian Kübler, Michael Eichberg, Dominik Helm, Mira Mezini

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

2018

A unified lattice model and framework for purity analyses.

Dominik Helm, Florian Kübler, Michael Eichberg, Michael Reif, Mira Mezini

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Lattice based modularization of static analyses.

Michael Eichberg, Florian Kübler, Dominik Helm, Michael Reif, Guido Salvaneschi, Mira Mezini

Proceedings of the Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018

2017

Redactable Graph Hashing, Revisited - (Extended Abstract).

Andreas Erwig, Marc Fischlin, Martin Hald, Dominik Helm, Robert Kiel, Florian Kübler, Michael Kümmerlin, Jakob Laenge, Felix Rohrbach

Proceedings of the Information Security and Privacy - 22nd Australasian Conference, 2017