31 citations · 33 across the 2 of their papers we have counts for
3 papers
cs.PL2020★ 31 cited
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…
cs.SE2019★ 2 cited
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…
cs.SE2019
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…