Florian Kübler

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Modular collaborative program analysis in OPAL.
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.
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.
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.
Proceedings of the Software Engineering and Software Management, 2019

Judge: identifying, understanding, and evaluating sources of unsoundness in call graphs.
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.
Proceedings of the Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018

Lattice based modularization of static analyses.
Proceedings of the Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018

2017
SootKeeper: runtime reusability for modular static analysis.
Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2017

Redactable Graph Hashing, Revisited - (Extended Abstract).
Proceedings of the Information Security and Privacy - 22nd Australasian Conference, 2017


  Loading...