EDBT 2026 Demo / reviewers in the wild / expert
Augustine Mathew
dblp:75/8636
· DBLP profile ↗
1ranked-venue papers
0as first author
0since 2021 · last 2010
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software 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 › static analysis › pointer analysis
inclusion-based points-to analysis |
0.1 | 1 | 2010 | Parallel inclusion-based points-to analysis · OOPSLA 2010 |
Program analysis › static analysis
pointer analysis |
0.1 | 1 | 2010 | Parallel inclusion-based points-to analysis · OOPSLA 2010 |
Parallel and multicore computing › parallel computing
parallel program analysis |
0.1 | 1 | 2010 | Parallel inclusion-based points-to analysis · OOPSLA 2010 |
Methods — techniques the papers use, named apart from their topics
graph rewriting · 0.2amorphous data-parallelism · 0.2
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2010 | Parallel inclusion-based points-to analysisabstractInclusion-based points-to analysis provides a good trade-off between precision of results and speed of analysis, and it has been incorporated into several production compilers including gcc. There is an extensive literature on how to speed up this algorithm using heuristics such as detecting and collapsing cycles of pointer-equivalent variables. This paper describes a complementary approach based on exploiting parallelism. Our implementation exploits two key insights. First, we show that inclusion-based points-to analysis can be formulated entirely in terms of graphs and graph rewrite rules. This exposes the amorphous data-parallelism in this algorithm and makes it easier to develop a parallel implementation. Second, we show that this graph-theoretic formulation reveals certain key properties of the algorithm that can be exploited to obtain an efficient parallel implementation. Our parallel implementation achieves a scaling of up to 3x on a 8-core machine for a suite of ten large C programs. For all but the smallest benchmarks, the parallel analysis outperforms a state-of-the-art, highly optimized, serial implementation of the same algorithm. To the best of our knowledge, this is the first parallel implementation of a points-to analysis. Mario Méndez-Lojo, Augustine Mathew, Keshav Pingali |
OOPSLA | 2 |