{"id":"W2963266914","doi":"10.1145/3293611.3331632","title":"Strongly Linearizable Implementations of Snapshots and Other Types","year":2019,"lang":"en","type":"article","venue":"","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Linearizability; Correctness; Atomicity; Computer science; Implementation; Theoretical computer science; Programming language; Algorithm","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":[],"consensus_categories":[],"category_scores_codex":[0.00007117421,0.00003863643,0.00007460005,0.00001952745,0.00001702321,0.00003559489,0.000140868,0.00001447049,0.0001856601],"category_scores_gemma":[0.000002053551,0.00003089323,0.00001325816,0.00009535683,0.000009038463,0.0001378389,0.00004647857,0.00001922577,0.00003805465],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000003254777,"about_ca_system_score_gemma":0.00001630155,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001527266,"about_ca_topic_score_gemma":0.0000202554,"domain_scores_codex":[0.9996103,0.000008891328,0.000110656,0.0001112865,0.00007460272,0.00008426522],"domain_scores_gemma":[0.9997143,0.0000164432,0.00003624987,0.0001780842,0.00003145538,0.00002347942],"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.00000430173,0.00008067319,0.1031737,0.00005947944,0.00004627894,7.985387e-7,0.0006474439,0.0004076835,0.005530949,0.8769365,0.005612776,0.007499428],"study_design_scores_gemma":[0.003477156,0.0006283799,0.08721045,0.000119032,0.0000211393,0.00002564913,0.0009639228,0.325246,0.01723642,0.003567491,0.5607057,0.0007987184],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3584681,0.0002381591,0.5229701,0.000443624,0.0003947123,0.0004021897,0.00008159703,0.00009336934,0.1169081],"genre_scores_gemma":[0.9886885,0.0000011162,0.009248119,0.00007391939,0.000009496718,0.000002411437,0.000002322817,0.00000215201,0.001971934],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.873369,"threshold_uncertainty_score":0.2032848,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01252972834824164,"score_gpt":0.262734162641988,"score_spread":0.2502044342937464,"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."}}