EDBT 2026 Demo / reviewers in the wild / expert
Jonatan Waern
dblp:175/1353
· DBLP profile ↗
2ranked-venue papers
0as first author
0since 2021 · last 2018
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 2Software 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 |
Concurrent programming · 50% Compilers and program optimization · 50% | |
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
Memory systems · 100% |
Topics — the 3 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Compilers and program optimization
compiler analysis |
0.3 | 1 | 2018 | Automatic Detection of Large Extended Data-Race-Free Regions with Conflict Isolation · IEEE Trans. Parallel Distributed Syst. 2018 |
Memory systems
cache coherence |
0.1 | 1 | 2018 | Automatic Detection of Large Extended Data-Race-Free Regions with Conflict Isolation · IEEE Trans. Parallel Distributed Syst. 2018 |
Memory systems › cache coherence
coherence protocol optimization |
0.1 | 1 | 2018 | Automatic Detection of Large Extended Data-Race-Free Regions with Conflict Isolation · IEEE Trans. Parallel Distributed Syst. 2018 |
Methods — techniques the papers use, named apart from their topics
static analysis · 0.7conflict isolation · 0.7cache coherence protocol · 0.7
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2018 | Automatic Detection of Large Extended Data-Race-Free Regions with Conflict IsolationabstractData-race-free (DRF) parallel programming becomes a standard as newly adopted memory models of mainstream programming languages such as C++ or Java impose data-race-freedom as a requirement. We propose compiler techniques that automatically delineate extended data-race-free (xDRF) regions, namely regions of code that provide the same guarantees as the synchronization-free regions (in the context of DRF codes). xDRF regions stretch across synchronization boundaries, function calls and loop back-edges and preserve the data-race-free semantics, thus increasing the optimization opportunities exposed to the compiler and to the underlying architecture. We further enlarge xDRF regions with a conflict isolation (CI) technique, delineating what we call xDRF-CI regions while preserving the same properties as xDRF regions. Our compiler (1) precisely analyzes the threads' memory accessing behavior and data sharing in shared-memory, general-purpose parallel applications, (2) isolates data-sharing and (3) marks the limits of xDRF-CI code regions. The contribution of this work consists in a simple but effective method to alleviate the drawbacks of the compiler's conservative nature in order to be competitive with (and even surpass) an expert in delineating xDRF regions manually. We evaluate the potential of our technique by employing xDRF and xDRF-CI region classification in a state-of-the-art, dual-mode cache coherence protocol. We show that xDRF regions reduce the coherence bookkeeping and enable optimizations for performance (6.4 percent) and energy efficiency (12.2 percent) compared to a standard directory-based coherence protocol. Enhancing the xDRF analysis with the conflict isolation technique improves performance by 7.1 percent and energy efficiency by 15.9 percent. Alexandra Jimborean, Per Ekemark, Jonatan Waern, Stefanos Kaxiras, Alberto Ros 0001 |
IEEE Trans. Parallel Distributed Syst. | 3 |
| 2017 | Automatic detection of extended data-race-free regions
Alexandra Jimborean, Jonatan Waern, Per Ekemark, Stefanos Kaxiras, Alberto Ros 0001 |
CGO | 2 |