Demo Data from VLDB 2026 / reviewers in the wild / expert
Vincent Nimal
dblp:39/10568 · also Vincent P. J. Nimal
· DBLP profile ↗
4ranked-venue papers
0as first author
0since 2021 · last 2017
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 4Theory of computation · 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
2 papers |
Concurrent programming · 67% Program analysis · 33% |
Topics — the 3 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Concurrent programming › memory models
fence insertion |
0.5 | 2 | 2017 | Don't Sit on the Fence: A Static Analysis Approach to Automatic Fence Insertion · ACM Trans. Program. Lang. Syst. 2017 Don't Sit on the Fence - A Static Analysis Approach to Automatic Fence Insertion · CAV 2014 |
Concurrent programming
memory models |
0.5 | 2 | 2017 | Don't Sit on the Fence: A Static Analysis Approach to Automatic Fence Insertion · ACM Trans. Program. Lang. Syst. 2017 Don't Sit on the Fence - A Static Analysis Approach to Automatic Fence Insertion · CAV 2014 |
Program analysis
static analysis |
0.5 | 2 | 2017 | Don't Sit on the Fence: A Static Analysis Approach to Automatic Fence Insertion · ACM Trans. Program. Lang. Syst. 2017 Don't Sit on the Fence - A Static Analysis Approach to Automatic Fence Insertion · CAV 2014 |
Methods — techniques the papers use, named apart from their topics
static analysis · 0.5fence insertion · 0.3
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2017 | Don't Sit on the Fence: A Static Analysis Approach to Automatic Fence InsertionabstractModern architectures rely on memory fences to prevent undesired weakenings of memory consistency. As the fences’ semantics may be subtle, the automation of their placement is highly desirable. But precise methods for restoring consistency do not scale to deployed systems’ code. We choose to trade some precision for genuine scalability: our technique is suitable for large code bases. We implement it in our new musketeer tool and report experiments on more than 700 executables from packages found in Debian GNU/Linux 7.1, including memcached with about 10,000 LoC. Jade Alglave, Daniel Kroening, Vincent Nimal, Daniel Poetzl |
ACM Trans. Program. Lang. Syst. | 3 |
| 2014 | Don't Sit on the Fence - A Static Analysis Approach to Automatic Fence Insertion
Jade Alglave, Daniel Kroening, Vincent Nimal, Daniel Poetzl |
CAV | 3 |
| 2013 | Software Verification for Weak Memory via Program Transformation
Jade Alglave, Daniel Kroening, Vincent Nimal, Michael Tautschnig |
ESOP | 3 |
| 2011 | Soundness of Data Flow Analyses for Weak Memory Models
Jade Alglave, Daniel Kroening, John Lugton, Vincent Nimal, Michael Tautschnig |
APLAS | 4 |