BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
E.Bodden K.A.0001 M.Mezini L.Luo J.Lerch L.N.Q.Do S.Krüger
Talks about:
analysi (6) flow (4) sensit (3) context (2) access (2) field (2) path (2) data (2) cryptograph (1) boomerang (1)

Person: Johannes Späth

DBLP DBLP: Sp=auml=th:Johannes

Contributed to:

ASE 20152015
ASE 20192019
ECOOP 20162016
OOPSLA 20172017
ECOOP 20182018
POPL 20192019

Wrote 6 papers:

ASE-2015-LerchSBM #abstraction #analysis #bound #data flow #scalability
Access-Path Abstraction: Scaling Field-Sensitive Data-Flow Analysis with Unbounded Access Paths (T) (JL, JS, EB, MM), pp. 619–629.
ASE-2019-LuoBS #analysis #android
A Qualitative Analysis of Android Taint-Analysis Results (LL, EB, JS), pp. 102–114.
ECOOP-2016-SpathDAB #analysis #java #named #pointer
Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java (JS, LNQD, KA0, EB), p. 26.
OOPSLA-2017-SpathAB #alias #analysis #data flow #named #performance #precise
IDEal: efficient and precise alias-aware dataflow analysis (JS, KA0, EB), p. 27.
ECOOP-2018-KrugerS0BM #api #approach #encryption #named #validation
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (SK, JS, KA0, EB, MM), p. 27.
POPL-2019-SpathAB #analysis #automaton #data flow #using
Context-, flow-, and field-sensitive data-flow analysis using synchronized Pushdown systems (JS, KA0, EB), p. 29.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.