{"id":"W3206946486","doi":"10.4230/lipics.disc.2021.29","title":"Detectable Sequential Specifications for Recoverable Shared Objects","year":2021,"lang":"en","type":"article","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Correctness; Linearizability; Cache; Thread (computing); Shared memory; State (computer science); Parallel computing; Cache coherence; Sequential consistency; Atomicity; Distributed computing; Programming language; CPU cache; Consistency model; Cache algorithms","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.004501644,0.0007753943,0.0004041829,0.0008890477,0.0006437672,0.002041364,0.001408808,0.001030877,0.002973115],"category_scores_gemma":[0.01171836,0.0006945295,0.001500671,0.0006502567,0.003178881,0.004075356,0.002581776,0.002471325,0.0008014957],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001512754,"about_ca_system_score_gemma":0.003044873,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00320245,"about_ca_topic_score_gemma":0.003343132,"domain_scores_codex":[0.9935805,0.001488177,0.000999718,0.000756186,0.002630618,0.0005449295],"domain_scores_gemma":[0.9882867,0.00566035,0.001058578,0.002174578,0.00250723,0.0003126904],"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.00007653789,0.00005340465,0.0009373902,0.0001780703,0.00001918896,0.000398139,0.001206079,0.01392237,0.007784943,0.9501072,0.001442134,0.02387452],"study_design_scores_gemma":[0.0001104446,0.0002053492,0.0003653188,0.0001188817,0.0000697766,0.0004360102,0.0004806598,0.1399003,0.02129734,0.7854283,0.0515095,0.00007799249],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01652014,0.0001305603,0.9752572,0.000402691,0.00006893535,0.0001354013,0.0001899924,0.001486166,0.00580899],"genre_scores_gemma":[0.4601907,0.0004536794,0.528677,0.0007811203,0.0001962178,0.0007076513,0.001050541,0.0006217596,0.007321286],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004501644,"threshold_uncertainty_score":0.02380723,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04403339357712774,"score_gpt":0.2648344784635291,"score_spread":0.2208010848864014,"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."}}