Dominik Helm

20 papers A* 3A 4C 4Journal 2Unranked 6
YearRankTypeTitle / Venue / Authors
2025 C conf
AXA: Cross-Language Analysis through Integration of Single-Language Analyses.
Software Engineering
Tobias Roth, Julius Näumann, Dominik Helm, Sven Keidel, Mira Mezini
2025 C conf
Total Recall? How Good Are Static Call Graphs Really?
Software Engineering
Dominik Helm, Sven Keidel, Anemone Kampkötter, Johannes Düsing, Tobias Roth, Ben Hermann, Mira Mezini
2025 C conf
Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features.
Software Engineering
Dominik Helm, Tobias Roth, Sven Keidel, Michael Reif, Mira Mezini
2024 — conf
A Modular Soundness Theory for the Blackboard Analysis Architecture.
ESOP (2)
Sven Keidel, Dominik Helm, Tobias Roth, Mira Mezini
2024 A* conf
AXA: Cross-Language Analysis through Integration of Single-Language Analyses.
ASE
Tobias Roth, Julius Näumann, Dominik Helm, Sven Keidel, Mira Mezini
2024 J jnl
Modular Collaborative Program Analysis.
Softwaretechnik-Trends
Dominik Helm
2024 A conf
Total Recall? How Good Are Static Call Graphs Really?
ISSTA
Dominik Helm, Sven Keidel, Anemone Kampkötter, Johannes Düsing, Tobias Roth, Ben Hermann, Mira Mezini
2024 A conf
Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features.
ISSTA
Dominik Helm, Tobias Roth, Sven Keidel, Michael Reif, Mira Mezini
2023 — —
Modular Collaborative Program Analysis.
Dominik Helm
2022 C conf
CiFi: Versatile Analysis of Class and Field Immutability.
Software Engineering
Tobias Roth, Dominik Helm, Michael Reif, Mira Mezini
2021 A* conf
CiFi: Versatile Analysis of Class and Field Immutability.
ASE
Tobias Roth, Dominik Helm, Michael Reif, Mira Mezini
2020 A conf
A programming model for semi-implicit parallelization of static analyses.
ISSTA
Dominik Helm, Florian Kübler, Jan Thomas Kölzer, Philipp Haller, Michael Eichberg, Guido Salvaneschi, Mira Mezini
2020 J jnl
Modular Collaborative Program Analysis in OPAL.
CoRR
Dominik Helm, Florian Kübler, Michael Reif, Michael Eichberg, Mira Mezini
2020 — conf
Modular collaborative program analysis in OPAL.
ESEC/SIGSOFT FSE
Dominik Helm, Florian Kübler, Michael Reif, Michael Eichberg, Mira Mezini
2020 — conf
TACAI: an intermediate representation based on abstract interpretation.
SOAP@PLDI
Michael Reif, Florian Kübler, Dominik Helm, Ben Hermann, Michael Eichberg, Mira Mezini
2019 — conf
A Unified Lattice Model and Framework for Purity Analyses.
SE/SWM
Dominik Helm, Florian Kübler, Michael Eichberg, Michael Reif, Mira Mezini
2019 A conf
Judge: identifying, understanding, and evaluating sources of unsoundness in call graphs.
ISSTA
Michael Reif, Florian Kübler, Michael Eichberg, Dominik Helm, Mira Mezini
2018 A* conf
A unified lattice model and framework for purity analyses.
ASE
Dominik Helm, Florian Kübler, Michael Eichberg, Michael Reif, Mira Mezini
2018 — conf
Lattice based modularization of static analyses.
ISSTA/ECOOP Workshops
Michael Eichberg, Florian Kübler, Dominik Helm, Michael Reif, Guido Salvaneschi, Mira Mezini
2017 — conf
Redactable Graph Hashing, Revisited - (Extended Abstract).
ACISP (2)
Andreas Erwig, Marc Fischlin, Martin Hald, Dominik Helm, Robert Kiel, Florian Kübler, Michael Kümmerlin, Jakob Laenge, Felix Rohrbach