Follow
Florian Kübler
Florian Kübler
Verified email at google.com
Title
Cited by
Cited by
Year
Judge: Identifying, understanding, and evaluating sources of unsoundness in call graphs
M Reif, F Kübler, M Eichberg, D Helm, M Mezini
Proceedings of the 28th ACM SIGSOFT International Symposium on Software …, 2019
432019
Systematic evaluation of the unsoundness of call graph construction algorithms for java
M Reif, F Kübler, M Eichberg, M Mezini
Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 107-112, 2018
272018
Modular collaborative program analysis in OPAL
D Helm, F Kübler, M Reif, M Eichberg, M Mezini
Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020
252020
A unified lattice model and framework for purity analyses
D Helm, F Kübler, M Eichberg, M Reif, M Mezini
Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018
132018
A programming model for semi-implicit parallelization of static analyses
D Helm, F Kübler, JT Kölzer, P Haller, M Eichberg, G Salvaneschi, ...
Proceedings of the 29th ACM SIGSOFT International Symposium on Software …, 2020
102020
Lattice based modularization of static analyses
M Eichberg, F Kübler, D Helm, M Reif, G Salvaneschi, M Mezini
SOAP, 2018
102018
Redactable graph hashing, revisited
A Erwig, M Fischlin, M Hald, D Helm, R Kiel, F Kübler, M Kümmerlin, ...
Information Security and Privacy: 22nd Australasian Conference, ACISP 2017 …, 2017
82017
TACAI: an intermediate representation based on abstract interpretation
M Reif, F Kübler, D Helm, B Hermann, M Eichberg, M Mezini
Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of …, 2020
32020
SootKeeper: runtime reusability for modular static analysis
F Kübler, P Müller, B Hermann
Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the …, 2017
22017
The system can't perform the operation now. Try again later.
Articles 1–9