{"id":"W6910319334","doi":"10.4230/lipics.opodis.2021.28","title":"Strongly Linearizable Linked List and Queue","year":2022,"lang":"en","type":"article","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Linearizability; Correctness; Implementation; Data structure; Queue; Scheme (mathematics)","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0007345172,0.0003266537,0.0004339842,0.0001703626,0.0008946312,0.0007188368,0.001782911,0.0001140893,0.00004515423],"category_scores_gemma":[0.00006337061,0.0003189844,0.0001584709,0.000445761,0.00008197238,0.00140675,0.001525967,0.0005304169,0.00003952298],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001387786,"about_ca_system_score_gemma":0.0001149964,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007655701,"about_ca_topic_score_gemma":0.00001548375,"domain_scores_codex":[0.9973499,0.00005780862,0.0009352714,0.0003589293,0.0005792858,0.0007188222],"domain_scores_gemma":[0.99799,0.00008886991,0.0003896966,0.001111506,0.0001849544,0.0002350149],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0006695277,0.003260345,0.03401351,0.003732153,0.001178755,0.0001570376,0.06645034,0.01604158,0.0007603334,0.5076265,0.2649579,0.101152],"study_design_scores_gemma":[0.002402413,0.0003481817,0.0005305099,0.00004802367,0.00001484415,0.0001311283,0.001103289,0.3927631,0.00008129628,0.0005631568,0.601508,0.000506097],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1859135,0.0005355973,0.7839394,0.00246428,0.004265965,0.002987033,0.003976505,0.0009103718,0.01500738],"genre_scores_gemma":[0.9736671,0.00002135124,0.02225541,0.001152509,0.0001871862,0.0003564994,0.0005980766,0.000039611,0.001722289],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7877536,"threshold_uncertainty_score":0.9999262,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01083633362733561,"score_gpt":0.2307233624839186,"score_spread":0.219887028856583,"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."}}