Florian Kbler
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
3
Active years
2017–2020
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 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 |
| 2018 | ISSTA | Systematic evaluation of the unsoundness of call graph construction algorithms for Java. | Michael Reif, Florian Kbler, Michael Eichberg, 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 |
| 2017 | PLDI | SootKeeper: runtime reusability for modular static analysis. | Florian Kbler, Patrick Mller, Ben Hermann |