{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001344769,0.00004736999,0.00005292317,0.0000191708,0.00007403346,0.00008156324,0.0002503299,0.00001500984,0.0001246075],"category_scores_gemma":[0.000004409338,0.00003936332,0.00002291674,0.0001627265,0.000005976167,0.0006661334,0.0000638026,0.00003131277,0.0003109075],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001288127,"about_ca_system_score_gemma":0.00001604832,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006100001,"about_ca_topic_score_gemma":0.000005543804,"domain_scores_codex":[0.9994351,0.0000130544,0.0001125463,0.00008889131,0.0001044784,0.0002459872],"domain_scores_gemma":[0.9996126,0.00001369554,0.00002474389,0.000233204,0.00002910347,0.00008659838],"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":[3.93984e-7,0.0000806583,0.01179008,0.000004200003,0.00001065457,5.713847e-7,0.0003350796,0.00005227703,0.0003927545,0.9391905,0.03777181,0.01037099],"study_design_scores_gemma":[0.0005058895,0.00004226245,0.02627236,0.000006807161,0.000004623225,0.00001848232,0.0002449872,0.03504987,0.002385186,0.000491216,0.9346832,0.0002950914],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002586892,0.00007346759,0.9563885,0.0003089715,0.0003573342,0.00006332022,0.000007110072,0.0001204213,0.04009399],"genre_scores_gemma":[0.9552501,9.906064e-7,0.04204863,0.0001335507,0.0001027426,0.00001162115,0.000007185982,0.000002342482,0.002442805],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9526632,"threshold_uncertainty_score":0.399619,"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."}}