{"id":"W4399449859","doi":"10.1145/3662158.3662800","title":"Strongly Linearizable LL/SC from CAS","year":2024,"lang":"en","type":"article","venue":"","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"Natural Sciences and Engineering Research Council of Canada; Canada Research Chairs","keywords":"Computer science; Programming language; Political science","routes":{"ca_aff":true,"ca_fund":true,"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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.000105669,0.00009608251,0.0001137216,0.00003178655,0.00005158364,0.0006633139,0.0005118732,0.0000480251,0.0001636932],"category_scores_gemma":[0.000006632944,0.00007480851,0.00005259955,0.0002927301,0.0000127252,0.0004541204,0.000123228,0.0001050288,0.001266084],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002779621,"about_ca_system_score_gemma":0.00006527251,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009637005,"about_ca_topic_score_gemma":0.00005169418,"domain_scores_codex":[0.99907,0.0000175814,0.0001631663,0.0003587838,0.0001819591,0.0002084359],"domain_scores_gemma":[0.9994122,0.00004620549,0.00001465481,0.0004160071,0.00003272568,0.0000781694],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00000437647,0.0001058751,0.0008060453,0.00005569077,0.0001306903,0.0005172054,0.001247319,0.001829325,0.002589432,0.6191074,0.2691906,0.104416],"study_design_scores_gemma":[0.00009008358,0.00002186445,0.0005279097,0.0000451138,0.000002991436,0.000008090514,0.00001817788,0.5902844,0.001020563,0.001190496,0.4066533,0.0001369542],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004567381,0.001210371,0.9507158,0.0007399708,0.001409999,0.0000758025,0.00004821599,0.000561585,0.04067084],"genre_scores_gemma":[0.9664361,0.000008199754,0.01796435,0.0001531113,0.0002819341,0.000009764786,0.00001910066,0.000008807012,0.0151186],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9618688,"threshold_uncertainty_score":0.9995115,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01128452803611121,"score_gpt":0.2445386356533647,"score_spread":0.2332541076172535,"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."}}