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

Jian Zhang 0016

dblp:07/314-16 · DBLP profile ↗
← Back
1ranked-venue papers
0as first author
0since 2021 · last 2016
0000-0002-1530-6323ORCID · conflict

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
Concurrent programming · 88% Program analysis · 12%

Topics — the 4 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Concurrent programming
concurrency bugs
0.212016
A deployable sampling strategy for data race detection · SIGSOFT FSE 2016
Concurrent programming › concurrency bug detection
data race detection
0.212016
A deployable sampling strategy for data race detection · SIGSOFT FSE 2016
Program analysis
dynamic analysis
0.112016
A deployable sampling strategy for data race detection · SIGSOFT FSE 2016
Concurrent programming › concurrency bug detection › data race detection
sampling-based race detection
0.112016
A deployable sampling strategy for data race detection · SIGSOFT FSE 2016

Methods — techniques the papers use, named apart from their topics

hardware-based sampling · 0.2clock races · 0.2
YearPublicationVenuePosition
2016 A deployable sampling strategy for data race detection
abstract
Dynamic data race detection incurs heavy runtime overheads. Recently, many sampling techniques have been proposed to detect data races. However, some sampling techniques (e.g., Pacer) are based on traditional happens-before relation and incur a large basic overhead. Others utilize hardware to reduce their sampling overhead (e.g., DataCollider) and they, however, detect a race only when the race really occurs by delaying program executions. In this paper, we study the limitations of existing techniques and propose a new data race definition, named as Clock Races, for low overhead sampling purpose. The innovation of clock races is that the detection of them does not rely on concrete locks and also avoids heavy basic overhead from tracking happens-before relation. We further propose CRSampler (Clock Race Sampler) to detect clock races via hardware based sampling without directly delaying program executions, to further reduce runtime overhead. We evaluated CRSampler on Dacapo benchmarks. The results show that CRSampler incurred less than 5% overhead on average at 1% sampling rate. Whereas, Pacer and DataCollider incurred larger than 25% and 96% overhead, respectively. Besides, at the same sampling rate, CRSampler detected significantly more data races than that by Pacer and DataCollider.
Yan Cai 0001, Jian Zhang 0016, Lingwei Cao, Jian Liu 0008
SIGSOFT FSE2