Dominik Helm

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 13

Top Topics

Intermediate Representation

Modular Architecture

Collaborative Activities

Top Venues

Publications

Dominik Helm
Modular Collaborative Program Analysis. Softwaretechnik-Trends 44 (2) (2024)
Sven Keidel, Dominik Helm, Tobias Roth, Mira Mezini
A Modular Soundness Theory for the Blackboard Analysis Architecture. ESOP (2) (2024)
Tobias Roth, Dominik Helm, Michael Reif, Mira Mezini
CiFi: Versatile Analysis of Class and Field Immutability. Software Engineering (2022)
Tobias Roth, Dominik Helm, Michael Reif, Mira Mezini
CiFi: Versatile Analysis of Class and Field Immutability. ASE (2021)
Michael Reif, Florian Kübler, Dominik Helm, Ben Hermann, Michael Eichberg, Mira Mezini
TACAI: an intermediate representation based on abstract interpretation. SOAP@PLDI (2020)
Dominik Helm, Florian Kübler, Jan Thomas Kölzer, Philipp Haller, Michael Eichberg, Guido Salvaneschi, Mira Mezini
A programming model for semi-implicit parallelization of static analyses. ISSTA (2020)
Dominik Helm, Florian Kübler, Michael Reif, Michael Eichberg, Mira Mezini
Modular Collaborative Program Analysis in OPAL. CoRR (2020)
Dominik Helm, Florian Kübler, Michael Reif, Michael Eichberg, Mira Mezini
Modular collaborative program analysis in OPAL. ESEC/SIGSOFT FSE (2020)
Michael Reif, Florian Kübler, Michael Eichberg, Dominik Helm, Mira Mezini
Judge: identifying, understanding, and evaluating sources of unsoundness in call graphs. ISSTA (2019)
Dominik Helm, Florian Kübler, Michael Eichberg, Michael Reif, Mira Mezini
A Unified Lattice Model and Framework for Purity Analyses. SE/SWM (2019)
Dominik Helm, Florian Kübler, Michael Eichberg, Michael Reif, Mira Mezini
A unified lattice model and framework for purity analyses. ASE (2018)
Michael Eichberg, Florian Kübler, Dominik Helm, Michael Reif, Guido Salvaneschi, Mira Mezini
Lattice based modularization of static analyses. ISSTA/ECOOP Workshops (2018)
Andreas Erwig, Marc Fischlin, Martin Hald, Dominik Helm, Robert Kiel, Florian Kübler, Michael Kümmerlin, Jakob Laenge, Felix Rohrbach
Redactable Graph Hashing, Revisited - (Extended Abstract). ACISP (2) (2017)