{"id":"W4250245788","doi":"10.7873/date.2013.167","title":"Verifying Safety and Liveness for the FlexTM Hybrid Transactional Memory","year":2013,"lang":"en","type":"article","venue":"Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013","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; Parallel computing; Cache; Theoretical computer science; Database transaction; Transaction processing; Programming language; CPU cache; Cache algorithms; Distributed transaction","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":["metaepi_narrow","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.001252912,0.0004115025,0.0004192858,0.0002091265,0.0005579462,0.0009815522,0.0007933857,0.0001337279,0.0005365133],"category_scores_gemma":[0.0003769004,0.0003475944,0.00008897173,0.0006326013,0.0001710505,0.001942945,0.00009683716,0.0003082765,0.001376898],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006976092,"about_ca_system_score_gemma":0.000227593,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002584613,"about_ca_topic_score_gemma":0.0001305817,"domain_scores_codex":[0.9967687,0.0004546762,0.0009205161,0.0008038307,0.0005166802,0.0005356041],"domain_scores_gemma":[0.9964606,0.001127886,0.0004209789,0.0008264728,0.0009839757,0.0001800741],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0005172548,0.002325516,0.001337121,0.001724618,0.0003482847,0.00003077126,0.01306187,0.06325068,0.1577855,0.07330975,0.2204878,0.4658208],"study_design_scores_gemma":[0.002905165,0.0001458287,0.04662051,0.0007955258,0.00005056571,0.0002513013,0.00009521406,0.3525571,0.001318996,0.003303664,0.5904194,0.001536738],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01096518,0.0003294945,0.9830947,0.002155103,0.0005542933,0.001637902,0.0001740185,0.0003871514,0.0007021456],"genre_scores_gemma":[0.9221593,0.0005819094,0.07072188,0.0007216884,0.0002113034,0.0008092085,0.0007467926,0.00006663544,0.003981331],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9123728,"threshold_uncertainty_score":0.9998976,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05367815994319934,"score_gpt":0.2639988018149418,"score_spread":0.2103206418717424,"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."}}