{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001661548,0.00006787795,0.00008477888,0.00001170347,0.0002230199,0.0001677492,0.00028184,0.00001807255,0.00005367847],"category_scores_gemma":[0.000004681743,0.00004243992,0.00003870084,0.00005725443,0.00002793043,0.0003680408,0.00002395017,0.00004549223,0.00002183713],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001127843,"about_ca_system_score_gemma":0.00002114255,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00008968914,"about_ca_topic_score_gemma":0.000004259977,"domain_scores_codex":[0.9994397,0.00001258156,0.0001259405,0.0001774134,0.0001046607,0.0001397681],"domain_scores_gemma":[0.9995281,0.000144385,0.00002698972,0.0001954668,0.00006278876,0.00004231543],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003535311,0.00005928964,0.00008623132,0.00009771036,0.00007748202,0.000002785725,0.0005730053,0.00160439,0.001027055,0.08305453,0.01170148,0.9016807],"study_design_scores_gemma":[0.0009783215,0.00005825911,0.01820067,0.00003514196,0.000009804312,0.00008297931,0.0001792506,0.7846219,0.00151912,0.002554719,0.1914538,0.0003061005],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00179091,0.0004640508,0.9937674,0.001751517,0.0003516504,0.0003020358,0.00001026038,0.00005608025,0.001506048],"genre_scores_gemma":[0.9928704,0.00002661121,0.005085422,0.0003747158,0.00007177263,0.00008305602,0.000002290786,0.00000418408,0.00148154],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9910795,"threshold_uncertainty_score":0.173065,"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."}}