{"id":"W3013905686","doi":"10.4230/lipics.opodis.2019.19","title":"Toward Linearizability Testing for Multi-Word Persistent Synchronization Primitives","year":2020,"lang":"en","type":"article","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","topic":"Service-Oriented Architecture and Web Services","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Linearizability; Computer science; Word (group theory); Synchronization (alternating current); Programming language; Arithmetic; Computer network; Correctness; Mathematics","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005445193,0.001172639,0.0009340891,0.00261422,0.0008340747,0.003280093,0.003063597,0.001845601,0.003175928],"category_scores_gemma":[0.03499758,0.000928227,0.001744517,0.001450394,0.005344552,0.006541142,0.003830037,0.003844324,0.0008803571],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001593429,"about_ca_system_score_gemma":0.003353917,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001821986,"about_ca_topic_score_gemma":0.002094339,"domain_scores_codex":[0.9916869,0.002762097,0.0005956325,0.001262162,0.002798618,0.0008946805],"domain_scores_gemma":[0.9527267,0.03138842,0.004503174,0.005510142,0.005101212,0.0007703251],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.001485771,0.001218232,0.0234833,0.001453981,0.0002343281,0.001808426,0.001590995,0.1431498,0.1713296,0.3688734,0.00542756,0.2799446],"study_design_scores_gemma":[0.0001383422,0.0004570695,0.0009524099,0.00016244,0.0000876314,0.000322677,0.0003543297,0.6067585,0.1041449,0.2841287,0.002403364,0.00008952661],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07921126,0.0001372653,0.9137511,0.0008303437,0.00006620689,0.0001779775,0.000082891,0.004456073,0.001286845],"genre_scores_gemma":[0.571511,0.0001768446,0.4254585,0.000365538,0.00008289051,0.0002331746,0.000264947,0.0005827979,0.001324333],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005445193,"threshold_uncertainty_score":0.02879733,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06717344285763832,"score_gpt":0.2732065896199559,"score_spread":0.2060331467623175,"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."}}