Johannes Späth -

Registered user since Wed 5 Jul 2017

Name: Johannes Späth

Country: Germany

Affiliation: Fraunhofer IEM

Personal website: http://www.johspaeth.de

Research interests: Static analysis

Contributions

ASE 2019	Author of A Qualitative Analysis of Android Taint-Analysis Results within the Research Papers-track
POPL 2019	Author of Context-, Flow- and Field-Sensitive Data-Flow Analysis using Synchronized Pushdown Systems within the Research Papers-track
ECOOP 2018	Author of CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs within the ECOOP Research Papers-track
SPLASH 2017	Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track Author of IDEal: Efficient and Precise Alias-Aware Dataflow Analysis within the OOPSLA-track
ECOOP 2016	Author of Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java within the Posters-track Author of Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java within the Artifacts-track Author of Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java within the Research Track-track