Demo Data from EDBT 2026 / reviewers in the wild / expert
Jürgen Vollmer 0001
dblp:20/4268-1
· DBLP profile ↗
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
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Program analysis › data flow analysis
bit-vector analysis |
0.0 | 1 | 1996 | Parallelism for Free: Efficient and Optimal Bitvector Analyses for Parallel Programs · ACM Trans. Program. Lang. Syst. 1996 |
Program analysis
data flow analysis |
0.0 | 1 | 1996 | 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.0 | 1 | 1996 | Parallelism for Free: Efficient and Optimal Bitvector Analyses for Parallel Programs · ACM Trans. Program. Lang. Syst. 1996 |
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1996 | Parallelism for Free: Efficient and Optimal Bitvector Analyses for Parallel ProgramsabstractWe 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 |
PACT | 1 |