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.

Guangning Wei

dblp:225/0372 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Debugging and program repair
automated program repair
0.312018
PFix: fixing concurrency bugs based on memory access patterns · ASE 2018
Concurrent programming
concurrency bugs
0.312018
PFix: fixing concurrency bugs based on memory access patterns · ASE 2018
Debugging and program repair › automated program repair
concurrency bug fixing
0.312018
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
YearPublicationVenuePosition
2018 PFix: fixing concurrency bugs based on memory access patterns
abstract
Concurrency 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
ASE6