{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006760204,0.0001136613,0.0001610659,0.00005465101,0.000346848,0.0004785022,0.0009399336,0.0000459851,0.0000022988],"category_scores_gemma":[0.00008879799,0.0000759695,0.00004266082,0.0003303096,0.00004799982,0.0002209974,0.00003048341,0.0001168195,0.000004731804],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001687736,"about_ca_system_score_gemma":0.00002687998,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001144556,"about_ca_topic_score_gemma":0.000006714798,"domain_scores_codex":[0.9989365,0.0001162624,0.000208904,0.0003995362,0.0001390406,0.0001997642],"domain_scores_gemma":[0.9977864,0.0007177748,0.0000712893,0.001327637,0.00005321517,0.00004367227],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000007085747,0.00005515199,0.00001448365,0.0001072009,0.00005308009,0.000001015608,0.0007333438,0.00004571498,0.00006511306,0.003803389,0.0003123889,0.9948021],"study_design_scores_gemma":[0.001361328,0.0004683557,0.0002966383,0.0003597939,0.000224834,0.00004000982,0.01005186,0.4030393,0.0008258461,0.007528105,0.5751782,0.0006257401],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0005169854,0.001645423,0.9909228,0.00560135,0.0004871692,0.0006706742,0.00003698228,0.00007912926,0.00003946211],"genre_scores_gemma":[0.23973,0.0002066935,0.7542877,0.0008006499,0.0001115235,0.0004031718,0.00002167413,0.00002096598,0.00441762],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9941763,"threshold_uncertainty_score":0.4614208,"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."}}