Florian Kübler

According to our database, Florian Kübler authored at least 11 papers between 2017 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Evaluation Results for Modular Collaborative Program Analysis in OPAL.

Dominik Helm, Florian Kübler, Michael Reif, Michael Eichberg, Mira Mezini

Dataset, August, 2020

Artifact for Modular Collaborative Program Analysis in OPAL.

Dominik Helm, Florian Kübler, Michael Reif, Michael Eichberg, Mira Mezini

Dataset, June, 2020

Modular collaborative program analysis in OPAL.

Dominik Helm, Florian Kübler, Michael Reif, Michael Eichberg, Mira Mezini

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

TACAI: an intermediate representation based on abstract interpretation.

Michael Reif, Florian Kübler, Dominik Helm, Ben Hermann, Michael Eichberg, Mira Mezini

Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2020

A programming model for semi-implicit parallelization of static analyses.

Dominik Helm, Florian Kübler, Jan Thomas Kölzer, Philipp Haller, Michael Eichberg, Guido Salvaneschi, Mira Mezini

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

2019

A Unified Lattice Model and Framework for Purity Analyses.

Dominik Helm, Florian Kübler, Michael Eichberg, Michael Reif, Mira Mezini

Proceedings of the Software Engineering and Software Management, 2019

Judge: identifying, understanding, and evaluating sources of unsoundness in call graphs.

Michael Reif, Florian Kübler, Michael Eichberg, Dominik Helm, Mira Mezini

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

2018

Systematic evaluation of the unsoundness of call graph construction algorithms for Java.

Michael Reif, Florian Kübler, Michael Eichberg, Mira Mezini

Proceedings of the Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018

Lattice based modularization of static analyses.

Michael Eichberg, Florian Kübler, Dominik Helm, Michael Reif, Guido Salvaneschi, Mira Mezini

Proceedings of the Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018

2017

SootKeeper: runtime reusability for modular static analysis.

Florian Kübler, Patrick Müller, Ben Hermann

Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2017

Redactable Graph Hashing, Revisited - (Extended Abstract).

Andreas Erwig, Marc Fischlin, Martin Hald, Dominik Helm, Robert Kiel, Florian Kübler, Michael Kümmerlin, Jakob Laenge, Felix Rohrbach

Proceedings of the Information Security and Privacy - 22nd Australasian Conference, 2017