{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001911018,0.0004545923,0.0004085809,0.0007455308,0.001066689,0.002855684,0.002288704,0.001008349,0.007629907],"category_scores_gemma":[0.01094467,0.0005130136,0.0007878547,0.001523746,0.003013304,0.006349346,0.003761657,0.002692502,0.001756902],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001949662,"about_ca_system_score_gemma":0.003126966,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003066882,"about_ca_topic_score_gemma":0.002437305,"domain_scores_codex":[0.9968337,0.0006259882,0.0002996177,0.0007052381,0.001111199,0.0004242486],"domain_scores_gemma":[0.9921657,0.002846496,0.0007162071,0.002533555,0.001383363,0.0003548214],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0003115461,0.0001495789,0.001623644,0.0002127563,0.00002673252,0.000176362,0.0007042699,0.01300962,0.01094654,0.9070239,0.006464778,0.05935031],"study_design_scores_gemma":[0.0001552126,0.0002526351,0.0004843768,0.00005518712,0.00006959621,0.0002607729,0.0002344854,0.1105132,0.03795183,0.811802,0.0381363,0.00008435803],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04684304,0.0001880408,0.9344829,0.00123686,0.000132977,0.0001798197,0.0003983722,0.005737042,0.01080096],"genre_scores_gemma":[0.5480226,0.0003077044,0.4217951,0.0008002793,0.0001859889,0.0005136768,0.001179319,0.0009479809,0.02624738],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007629907,"threshold_uncertainty_score":0.02552456,"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."}}