{"id":"W4409920357","doi":"10.1145/3732933","title":"Sound Static Data Race Verification for C: Is the Race Lost?","year":2025,"lang":"en","type":"article","venue":"ACM Transactions on Programming Languages and Systems","topic":"Numerical Methods and Algorithms","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Race (biology); Sound (geography); Arms race; Acoustics","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01359747,0.001344645,0.001081317,0.002050665,0.002332864,0.004437492,0.00367279,0.002485584,0.003965715],"category_scores_gemma":[0.07862045,0.0008330477,0.001650432,0.002145014,0.005464722,0.008733544,0.00350995,0.004066926,0.001460118],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003001976,"about_ca_system_score_gemma":0.008735709,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01130158,"about_ca_topic_score_gemma":0.0124463,"domain_scores_codex":[0.9741168,0.006651707,0.00154243,0.003425926,0.01156337,0.00269971],"domain_scores_gemma":[0.8995891,0.05862309,0.006478501,0.02145482,0.01280706,0.00104736],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00244419,0.0004638631,0.04647394,0.003466212,0.0004574955,0.0009935728,0.003495739,0.08840606,0.07607496,0.2288158,0.04536716,0.5035411],"study_design_scores_gemma":[0.0002725866,0.001203729,0.01371684,0.00164917,0.000413507,0.00154939,0.001666992,0.3822906,0.2556773,0.2417804,0.09924737,0.0005320976],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2294476,0.003490272,0.70041,0.00792623,0.0007029045,0.0002686927,0.001977303,0.03745646,0.01832061],"genre_scores_gemma":[0.7114571,0.0007613419,0.2750476,0.002590279,0.0001533106,0.0002293376,0.001939758,0.005088289,0.002732973],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01359747,"threshold_uncertainty_score":0.07191116,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05323993760904652,"score_gpt":0.3714969884658841,"score_spread":0.3182570508568376,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}