Johannes Späth

According to our database1, Johannes Späth authored at least 11 papers between 2015 and 2019.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2019
Synchronized pushdown systems for pointer and data-flow analysis.
PhD thesis, 2019

Context-, flow-, and field-sensitive data-flow analysis using synchronized Pushdown systems.
Proc. ACM Program. Lang., 2019

A Qualitative Analysis of Android Taint-Analysis Results.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

AuthCheck: Program-State Analysis for Access-Control Vulnerabilities.
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2018
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (Artifact).
Dagstuhl Artifacts Ser., 2018

CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs.
Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

2017
IDE<sup><i>al</i></sup>: efficient and precise alias-aware dataflow analysis.
Proc. ACM Program. Lang., 2017

CrySL: Validating Correct Usage of Cryptographic APIs.
CoRR, 2017

2016
Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java (Artifact).
Dagstuhl Artifacts Ser., 2016

Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java.
Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

2015
Access-Path Abstraction: Scaling Field-Sensitive Data-Flow Analysis with Unbounded Access Paths (T).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015


  Loading...