{"id":"W2079968340","doi":"10.1145/2332432.2332508","title":"Strongly linearizable implementations","year":2012,"lang":"en","type":"article","venue":"","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":24,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Linearizability; Correctness; Computer science; Implementation; Set (abstract data type); Theoretical computer science; Generator (circuit theory); Algorithm; Programming language","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.00446396,0.00117789,0.0007861115,0.0007278589,0.0008900597,0.003015683,0.002773999,0.00206737,0.007977596],"category_scores_gemma":[0.02566839,0.001161269,0.001785789,0.0007293824,0.003803383,0.006794326,0.006609313,0.00568838,0.001868303],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001265751,"about_ca_system_score_gemma":0.002288687,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004768081,"about_ca_topic_score_gemma":0.000485299,"domain_scores_codex":[0.9898205,0.002172874,0.001021532,0.002700222,0.002784166,0.001500771],"domain_scores_gemma":[0.9595949,0.01963366,0.003225711,0.01210529,0.004698575,0.0007418289],"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.0002226331,0.0003016391,0.002327604,0.0003256952,0.00009516031,0.0003318062,0.0008239139,0.03509858,0.0154676,0.8891125,0.002905236,0.05298752],"study_design_scores_gemma":[0.000115061,0.0002546126,0.000301445,0.00005610845,0.00006941596,0.0002495482,0.0001255996,0.135622,0.02336068,0.8336999,0.006102637,0.00004299822],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03301712,0.00008483502,0.9540262,0.0006115559,0.00004870718,0.0002035432,0.0002177303,0.001833467,0.009957024],"genre_scores_gemma":[0.7221847,0.000256914,0.2610482,0.001144155,0.0001799123,0.001458482,0.0005580559,0.0004223425,0.01274713],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007977596,"threshold_uncertainty_score":0.02668774,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.021768015235182,"score_gpt":0.2847432221315715,"score_spread":0.2629752068963895,"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."}}