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

Jürgen Vollmer 0001

dblp:20/4268-1 · DBLP profile ↗
← Back
2ranked-venue papers
1as first author
0since 2021 · last 1996
—ORCID · unresolved

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

Systems, architecture and hardware · 1 · 1 first-authorSoftware engineering, systems software and programming languages · 1

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%
Computer architecture, parallel and distributed computing, and storage systems
1 paper
Parallel and multicore computing · 100%

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

TopicWeightPapersLastEvidence papers
Program analysis › data flow analysis
bit-vector analysis
0.011996
Parallelism for Free: Efficient and Optimal Bitvector Analyses for Parallel Programs · ACM Trans. Program. Lang. Syst. 1996
Program analysis
data flow analysis
0.011996
Parallelism for Free: Efficient and Optimal Bitvector Analyses for Parallel Programs · ACM Trans. Program. Lang. Syst. 1996
Parallel and multicore computing › parallel computing
parallel program analysis
0.011996
Parallelism for Free: Efficient and Optimal Bitvector Analyses for Parallel Programs · ACM Trans. Program. Lang. Syst. 1996
YearPublicationVenuePosition
1996 Parallelism for Free: Efficient and Optimal Bitvector Analyses for Parallel Programs
abstract
We consider parallel programs with shared memory and interleaving semantics, for which we show how to construct for unidirectional bitvector problems optimal analysis algorithms that are as efficient as their purely sequential counterparts and that can easily be implemented. Whereas the complexity result is rather obvious, our optimality result is a consequence of a new Kam/Ullman-style Coincidence Theorem. Thus using our method, the standard algorithms for sequential programs computing liveness, availability, very busyness, reaching definitions, definition-use chains, or the analyses for performing code motion, assignment motion, partial dead-code elimination or strength reduction, can straightforward be transferred to the parallel setting at almost no cost.
Jens Knoop, Bernhard Steffen, Jürgen Vollmer 0001
ACM Trans. Program. Lang. Syst.3
1995 Data flow analysis of parallel programs
Jürgen Vollmer 0001
PACT1