Urmăriți
Florian Kübler
Florian Kübler
Adresă de e-mail confirmată pe google.com
Titlu
Citat de
Citat de
Anul
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
402019
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
252018
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
212020
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
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
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–9