31 citations · 62 across the 4 of their papers we have counts for
5 papers
Neat: Low-Complexity, Efficient On-Chip Cache Coherence
Rui Zhang, Swarnendu Biswas, Vignesh Balaji +2
Cache coherence protocols such as MESI that use writer-initiated invalidation have high complexity and sometimes have poor performance and energy usage, especially under false shar…
Crafty: Efficient, HTM-Compatible Persistent Transactions
Kaan Genç, Michael D. Bond, Guoqing Harry Xu
Byte-addressable persistent memory, such as Intel/Micron 3D XPoint, is an emerging technology that bridges the gap between volatile memory and persistent storage. Data in persisten…
Online Set-Based Dynamic Analysis for Sound Predictive Race Detection
Jake Roemer, Michael D. Bond
Predictive data race detectors find data races that exist in executions other than the observed execution. Smaragdakis et al. introduced the causally-precedes (CP) relation and a p…
SmartTrack: Efficient Predictive Race Detection
Jake Roemer, Kaan Genç, Michael D. Bond
Widely used data race detectors, including the state-of-the-art FastTrack algorithm, incur performance costs that are acceptable for regular in-house testing, but miss races detect…
Dependence-Aware, Unbounded Sound Predictive Race Detection
Kaan Genç, Jake Roemer, Yufan Xu +1
Data races are a real problem for parallel software, yet hard to detect. Sound predictive analysis observes a program execution and detects data races that exist in some other, uno…