EDBT 2026 Demo / reviewers in the wild / expert
Guangning Wei
dblp:225/0372
· DBLP profile ↗
1ranked-venue papers
0as first author
0since 2021 · last 2018
—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 |
Debugging and program repair · 67% Concurrent programming · 33% |
Topics — the 3 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Debugging and program repair
automated program repair |
0.3 | 1 | 2018 | PFix: fixing concurrency bugs based on memory access patterns · ASE 2018 |
Concurrent programming
concurrency bugs |
0.3 | 1 | 2018 | PFix: fixing concurrency bugs based on memory access patterns · ASE 2018 |
Debugging and program repair › automated program repair
concurrency bug fixing |
0.3 | 1 | 2018 | PFix: fixing concurrency bugs based on memory access patterns · ASE 2018 |
Methods — techniques the papers use, named apart from their topics
memory access pattern inference · 0.3locking policy inference · 0.3
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2018 | PFix: fixing concurrency bugs based on memory access patternsabstractConcurrency bugs of a multi-threaded program may only manifest with certain scheduling, i.e., they are heisenbugs which are observed only from time to time if we execute the same program with the same input multiple times. They are notoriously hard to fix. In this work, we propose an approach to automatically fix concurrency bugs. Compared to previous approaches, our key idea is to systematically fix concurrency bugs by inferring locking policies from failure inducing memory-access patterns. That is, we automatically identify memory-access patterns which are correlated with the manifestation of the bug, and then conjecture what is the intended locking policy of the program. Afterwards, we fix the program by implementing the locking policy so that the failure inducing memory-access patterns are made impossible. We have implemented our approach in a toolkit called PFix which supports Java programs. We applied PFix to a set of 23 concurrency bugs and are able to automatically fix 19 of them. In comparison, Grail which is the state-of-the-art tool for fixing concurrency bugs in Java programs can only fix 3 of them correctly. Huarui Lin, Shuang Liu 0007, Jun Sun 0001, Dongdi Zhang, Guangning Wei |
ASE | 6 |