Dominik Helm
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
4
Active years
2017–2024
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ESOP | A Modular Soundness Theory for the Blackboard Analysis Architecture. | Sven Keidel, Dominik Helm, Tobias Roth, Mira Mezini |
| 2024 | ISSTA | Total Recall? How Good Are Static Call Graphs Really? | Dominik Helm, Sven Keidel, Anemone Kampktter, Johannes Dsing, Tobias Roth, Ben Hermann, Mira Mezini |
| 2024 | ISSTA | Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features. | Dominik Helm, Tobias Roth, Sven Keidel, Michael Reif, Mira Mezini |
| 2020 | ISSTA | A programming model for semi-implicit parallelization of static analyses. | Dominik Helm, Florian Kbler, Jan Thomas Klzer, Philipp Haller, Michael Eichberg, Guido Salvaneschi, Mira Mezini |
| 2020 | PLDI | TACAI: an intermediate representation based on abstract interpretation. | Michael Reif, Florian Kbler, Dominik Helm, Ben Hermann, Michael Eichberg, Mira Mezini |
| 2019 | ISSTA | Judge: identifying, understanding, and evaluating sources of unsoundness in call graphs. | Michael Reif, Florian Kbler, Michael Eichberg, Dominik Helm, Mira Mezini |
| 2018 | ISSTA | Lattice based modularization of static analyses. | Michael Eichberg, Florian Kbler, Dominik Helm, Michael Reif, Guido Salvaneschi, Mira Mezini |
| 2017 | ACISP | Redactable Graph Hashing, Revisited - (Extended Abstract). | Andreas Erwig, Marc Fischlin, Martin Hald, Dominik Helm, Robert Kiel, Florian Kbler, Michael Kmmerlin, Jakob Laenge, Felix Rohrbach |