Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Stefan Staiger-Stöhr

dblp:29/11163 · DBLP profile ↗
← Back
1ranked-venue papers
1as first author
0since 2021 · last 2013
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
1 paper
Program analysis · 100%

Topics — the 4 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Program analysis
control flow analysis
0.212013
Practical Integrated Analysis of Pointers, Dataflow and Control Flow · ACM Trans. Program. Lang. Syst. 2013
Program analysis
data flow analysis
0.212013
Practical Integrated Analysis of Pointers, Dataflow and Control Flow · ACM Trans. Program. Lang. Syst. 2013
Program analysis › static analysis
pointer analysis
0.212013
Practical Integrated Analysis of Pointers, Dataflow and Control Flow · ACM Trans. Program. Lang. Syst. 2013
Program analysis
static analysis
0.212013
Practical Integrated Analysis of Pointers, Dataflow and Control Flow · ACM Trans. Program. Lang. Syst. 2013

Methods — techniques the papers use, named apart from their topics

andersen's pointer analysis · 0.2SSA form · 0.2
YearPublicationVenuePosition
2013 Practical Integrated Analysis of Pointers, Dataflow and Control Flow
abstract
This article presents a family of static analyses to determine pointer targets, control flow, and dataflow in combination. The integrated solution to these mutually dependent problems approaches the result from the optimistic side. It is a general strategy for static program analysis and does not need any upfront approximation for one of the problems to overcome the mutual dependencies. A degenerated case yields Andersen’s famous pointer analysis; otherwise, the analyses are flow-sensitive and can support direct and indirect strong updates, within the same cubic asymptotic complexity as known for Andersen, albeit with larger constants. Surprisingly, the ideas behind the integrated analysis are intuitive. The strategy we describe naturally evolves from considering the mutual dependencies between the three problems, or from generalizing Andersen’s analysis to flow sensitivity. Such a flow-sensitive Andersen analysis not only computes pointer targets with higher precision than the original analysis, but it also creates an interprocedural SSA form at the same time. Our extensive experimental evaluation shows that the integrated solution is practical as it can be applied to reasonably large real-world programs within a few seconds or minutes. This uses some optimizations which together achieve a speedup of more than 100 for several programs. We compare several members of the family of analyses, from flow- and field-insensitive to flow- and field-sensitive with strong updates, both with and without optimizations. This gives some insights into the effects of these dimensions of precision on the results. It also sheds new light on the benefits of flow sensitivity versus the costs associated with it.
Stefan Staiger-Stöhr
ACM Trans. Program. Lang. Syst.1