Florian Kübler

Florian Kübler is a researcher at Technische Universitat Darmstadt, Germany, specializing in Programming Languages and Static Analysis. He has contributed to major conferences including PLDI, ISSTA, ESEC/FSE, and SOAP, focusing on topics like abstract interpretation, call graph construction, and modular program analysis. His work addresses challenges in code optimization, soundness evaluation, and runtime reusability in static analysis frameworks.

Research Interests:Florian's research spans

• Abstract Interpretation for static analysis
• Modularization techniques in program analysis
• Call graph algorithms for Java
• Parallelization of static analyses
• Intermediate representation design
• Compiler and toolchain optimization

Conference Contributions:His publications highlight expertise in static analysis frameworks (OPAL, SootKeeper), semi-implicit parallelization, and systematic evaluation of analysis soundness. Recent work (2022) explores collaborative program analysis, while earlier studies (2018-2020) focus on lattice-based modularization and call graph algorithms.