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. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Vincent Nimal

dblp:39/10568 · also Vincent P. J. Nimal · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Concurrent programming › memory models
fence insertion
0.522017
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.522017
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.522017
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
YearPublicationVenuePosition
2017 Don't Sit on the Fence: A Static Analysis Approach to Automatic Fence Insertion
abstract
Modern 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
CAV3
2013 Software Verification for Weak Memory via Program Transformation
Jade Alglave, Daniel Kroening, Vincent Nimal, Michael Tautschnig
ESOP3
2011 Soundness of Data Flow Analyses for Weak Memory Models
Jade Alglave, Daniel Kroening, John Lugton, Vincent Nimal, Michael Tautschnig
APLAS4