Seguir
Florian Kübler
Florian Kübler
Dirección de correo verificada de google.com
Título
Citado por
Citado por
Año
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
332019
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
232018
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
132020
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
102018
Lattice based modularization of static analyses
M Eichberg, F Kübler, D Helm, M Reif, G Salvaneschi, M Mezini
SOAP, 2018
92018
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
72020
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
72017
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
22020
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–9