8,029 research outputs found

    Near-Optimal Evasion of Convex-Inducing Classifiers

    Full text link
    Classifiers are often used to detect miscreant activities. We study how an adversary can efficiently query a classifier to elicit information that allows the adversary to evade detection at near-minimal cost. We generalize results of Lowd and Meek (2005) to convex-inducing classifiers. We present algorithms that construct undetected instances of near-minimal cost using only polynomially many queries in the dimension of the space and without reverse engineering the decision boundary.Comment: 8 pages; to appear at AISTATS'201

    SmartTrack: Efficient Predictive Race Detection

    Full text link
    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

    Gradual Enhancement of Stripe-Type Antiferromagnetism in Spin Ladder Material BaFe2_2S3_3 Under Pressure

    Full text link
    We report pressure-dependent neutron diffraction and muon spin relaxation/rotation measurements combined with first-principles calculations to investigate the structural, magnetic, and electronic properties of BaFe2_2S3_3 under pressure. The experimental results reveal a gradual enhancement of the stripe-type ordering temperature with increasing pressure up to 2.6 GPa and no observable change in the size of the ordered moment. The ab initio calculations suggest that the magnetism is highly sensitive to the Fe-S bond lengths and angles, clarifying discrepancies with previously published results. In contrast to our experimental observations, the calculations predict a monotonic reduction of the ordered moment with pressure. We suggest that the robustness of the stripe-type antiferromagnetism is due to strong electron correlations not fully considered in the calculations
    • …
    corecore