SmartTrack: Efficient Predictive Race Detection

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 detectable from the analyzed execution. Predictive analyses detect more data races in an analyzed execution than FastTrack detects, but at significantly higher performance cost. This paper presents SmartTrack, an algorithm that optimizes predictive race detection analyses, including two analyses from prior work and a new analysis introduced in this paper. SmartTrack's algorithm incorporates two main optimizations: (1) epoch and ownership optimizations from prior work, applied to predictive analysis for the first time; and (2) novel conflicting critical section optimizations introduced by this paper. Our evaluation shows that SmartTrack achieves performance competitive with FastTrack-a qualitative improvement in the state of the art for data race detection.Comment: Extended arXiv version of PLDI 2020 paper (adds Appendices A-E) #228 SmartTrack: Efficient Predictive Race Detectio

Lifshitz transition enabling superconducting dome around a charge-order critical point

Superconductivity often emerges as a dome around a quantum critical point (QCP) where long-range order is suppressed to zero temperature, mostly in magnetically ordered materials. However, the emergence of superconductivity at charge-order QCPs remains shrouded in mystery, despite its relevance to high-temperature superconductors and other exotic phases of matter. Here, we present resistance measurements proving that a dome of superconductivity surrounds the putative charge-density-wave QCP in pristine samples of titanium diselenide tuned with hydrostatic pressure. In addition, our quantum oscillation measurements combined with electronic structure calculations show that superconductivity sets in precisely when large electron and hole pockets suddenly appear through an abrupt change of the Fermi surface topology, also known as a Lifshitz transition. Combined with the known repulsive interaction, this suggests that unconventional s± superconductivity is mediated by charge-density-wave fluctuations in titanium diselenide. These results highlight the importance of the electronic ground state and charge fluctuations in enabling unconventional superconductivity