{"id":"W2106198180","doi":"10.5555/2485288.2485479","title":"Verifying safety and liveness for the FlexTM hybrid transactional memory","year":2013,"lang":"en","type":"article","venue":"","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Transactional memory; Software transactional memory; Computer science; Liveness; Cache coherence; Serializability; Distributed computing; Shared memory; Distributed shared memory; Parallel computing; Cache; Theoretical computer science; Database transaction; Transaction processing; Programming language; Memory management; CPU cache; Cache algorithms; Distributed transaction; Uniform memory access; Overlay","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.002340992,0.0004605201,0.0003159284,0.0005278772,0.0005387568,0.0009894435,0.00144202,0.0007819035,0.001313203],"category_scores_gemma":[0.006043539,0.0003253136,0.0006281081,0.0003047208,0.001655166,0.001918471,0.001452761,0.0008270568,0.0001277069],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006715641,"about_ca_system_score_gemma":0.0007439276,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001908771,"about_ca_topic_score_gemma":0.001585647,"domain_scores_codex":[0.9980503,0.0005795981,0.0001483362,0.0003440088,0.0006954339,0.0001823182],"domain_scores_gemma":[0.9946119,0.00281569,0.0005493797,0.001296183,0.0006235798,0.000103413],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00225065,0.0003769285,0.03400214,0.0006774602,0.0003399975,0.001864839,0.0008919853,0.400691,0.2421074,0.1493977,0.001885725,0.1655141],"study_design_scores_gemma":[0.00007772934,0.0003727174,0.001289549,0.00003458263,0.00005907063,0.0003404649,0.0001157456,0.8672221,0.09844586,0.02974896,0.002264731,0.00002862687],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3530496,0.0002103771,0.6414188,0.0001593792,0.00002548464,0.00009298579,0.0001506806,0.003116434,0.001776274],"genre_scores_gemma":[0.9113546,0.00003524615,0.08788247,0.00003848708,0.000009364175,0.00004963754,0.0001014217,0.00007480614,0.0004540397],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002340992,"threshold_uncertainty_score":0.01238048,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01238823462313733,"score_gpt":0.2202964794215357,"score_spread":0.2079082447983984,"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."}}