Dominik Helm

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

Collaborative distances:

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

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

Modular Collaborative Program Analysis.

Dominik Helm

PhD thesis, 2023

2022

CiFi: Versatile Analysis of Class and Field Immutability.

Tobias Roth, Dominik Helm, Michael Reif, Mira Mezini

Proceedings of the Software Engineering 2022, 2022

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

A Unified Lattice Model and Framework for Purity Analyses.

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

Proceedings of the Software Engineering and Software Management, 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

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