Florian Kübler

11 papers A* 1A 2Journal 1Unranked 7
YearRankTypeTitle / Venue / Authors
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
2018 — conf
Systematic evaluation of the unsoundness of call graph construction algorithms for Java.
ISSTA/ECOOP Workshops
Michael Reif, Florian Kübler, Michael Eichberg, 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
2017 — conf
SootKeeper: runtime reusability for modular static analysis.
SOAP@PLDI
Florian Kübler, Patrick Müller, Ben Hermann